Laura Solano Bonet

mercury. The Mercury logic programming system.

build-your-own-x. Master programming by recreating your favorite technologies from scratch.

Runestone. 📝 Performant plain text editor for iOS with syntax highlighting, line numbers, invisible characters and much more.

differential-datalog. DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

mentat. [LOOKING FOR COMANTAINERS]A persistent, relational store inspired by Datomic and DataScript.

advocatehub. A simple content tracking tool built for developer advocates. Keep all your blog posts, videos, workshops, and social content organized in one place. Track what you've created, measure performance, and never lose sight of your content again

fiddle. A libffi wrapper for Ruby.

microsandbox. 🧱 easy fast local-first microVM runtime and library

tart. macOS and Linux VMs on Apple Silicon to use in CI and other automations

macos-image-templates. HCL

ILTesting. Various helper classes to assist when testing for iOS and Mac OS X

spec-kit. 💫 Toolkit to help you get started with Spec-Driven Development

dev. Development repository for the CodeMirror editor project

cognitive-load. 🧠 Cognitive load is what matters

sqinn. SQLite over stdin/stdout

mathlib4. The math library of Lean 4

lean4. Lean 4 programming language and theorem prover

periodic-table. A Periodic Table of System Design Principles

chatwoot. Open-source live-chat, email support, omni-channel desk. An alternative to Intercom, Zendesk, Salesforce Service Cloud etc. 🔥💬

sqldef. Idempotent schema management for MySQL, PostgreSQL, SQLite, and SQL Server

migra. DEPRECATED: Like diff but for PostgreSQL schemas

tusker-python-legacy. PostgreSQL migration management tool **LEGACY PYTHON VERSION**

skeema. Declarative pure-SQL schema management for MySQL and MariaDB

pg-schema-diff. Go library for diffing Postgres schemas and generating SQL migrations

react-big-calendar. gcal/outlook like calendar component

automerge. A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

graft. Graft is an open-source transactional storage engine optimized for lazy, partial, and strongly consistent replication—perfect for edge, offline-first, and distributed applications.

glimmer. DSL Framework consisting of a DSL Engine and a Data-Binding Library used in Glimmer DSL for SWT (JRuby Desktop Development GUI Framework), Glimmer DSL for Opal (Pure Ruby Web GUI), Glimmer DSL for LibUI (Prerequisite-Free Ruby Desktop Development GUI Library), Glimmer DSL for Tk (Ruby Tk Desktop Development GUI Library), Glimmer DSL for GTK (Ruby-GNOME Desktop Development GUI Library), Glimmer DSL for XML (& HTML), and Glimmer DSL for CSS

org.alloytools.alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

agents. A framework for building realtime voice AI agents 🤖🎙️📹

klee. KLEE Symbolic Execution Engine

flyway. Flyway by Redgate • Database Migrations Made Easy.

dafny. Dafny is a verification-aware programming language

wax. A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀

desbordante-core. Desbordante is a high-performance data profiler that is capable of discovering many different patterns in data using various algorithms. It also allows to run data cleaning scenarios using these algorithms. Desbordante has a console version and an easy-to-use web application.

flix. The Flix Programming Language

specmatic. Eliminate API integration headaches with Specmatic's no-code AI-powered API development suite. Teams ship APIs 10x faster by transforming specifications into executable contracts instantly—no coding required, no integration surprises.

flyde. Open-source Visual programming for backend logic that integrates with existing codebases. Flyde bridges the gap between technical and non-technical team members. Product managers, designers, and backend developers can collaborate on the same visual flows.

SaberVM. Rust

ArchiveBox. 🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...

quint. An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

ast-grep. ⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

gdlog. Cuda

osx-optimizer. OSX Optimizer: Optimize MacOS - Shell scripts to speed up your mac boot time, accelerate loading, and prevent unnecessary throttling.

CodegenCS. C# Toolkit for Code Generation (T4 alternative!)

souffle. Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

mangle. Go

st2. StackStorm (aka "IFTTT for Ops") is event-driven automation for auto-remediation, incident responses, troubleshooting, deployments, and more for DevOps and SREs. Includes rules engine, workflow, 160 integration packs with 6000+ actions (see https://exchange.stackstorm.org) and ChatOps. Installer at https://docs.stackstorm.com/install/index.html

gluesql. GlueSQL is quite sticky. It sticks to anything.

foam3. FOAM: Feature-Oriented Active Modeller, Version 3 (unstable)

airplay2-receiver. AirPlay 2 Receiver - Python implementation

permify. An open-source authorization as a service inspired by Google Zanzibar, designed to build and manage fine-grained and scalable authorization systems for any application. — Permify is now part of FusionAuth 🎉

prql. PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

VirtualBuddy. Virtualize macOS 12 and later on Apple Silicon, VirtualBuddy is a virtual machine GUI for macOS M1, M2, M3, M4

oncall. Developer-friendly incident response with brilliant Slack integration

equal-pay-for-equal-work. This is a list of organizations that pay remote workers equally regardless of their location

PyNeuraLogic. PyNeuraLogic lets you use Python to create Differentiable Logic Programs

lexical. Lexical is an extensible text editor framework that provides excellent reliability, accessibility and performance.

hitchhiker-tree. Functional, persistent, off-heap, high performance data structure

FinRL. FinRL®: Financial Reinforcement Learning. 🔥

CodeEdit. 📝 CodeEdit App for macOS – Elevate your code editing experience. Open source, free forever.

Freon4dsl. Web Native language Workbench with Projectional Web Editor

ent. An entity framework for Go

Recoil. Recoil is an experimental state management library for React apps. It provides several capabilities that are difficult to achieve with React alone, while being compatible with the newest features of React.

ruby-packer. Packing your Ruby application into a single executable.

datalevin. A simple, fast and versatile Datalog database

reflow. A language and runtime for distributed, incremental data processing in the cloud

pikaparser. The Pika Parser reference implementation

Power-Fx. Power Fx low-code programming language

cel-spec. Common Expression Language -- specification and binary representation

modelix. A collaborative and scalable open source platform for domain-specific models on the web and in the cloud

BosqueLanguage. The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.

terminusdb. TerminusDB is a distributed, collaborative database designed for building, sharing, versioning, and reasoning on structured data.

or-tools. Google's Operations Research tools:

datahike. Versioned, fast, distributed Datalog engine for everyone.

salsa. A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

SwiftQL. Query your Swift code!... with Swift code!

immer. Postmodern immutable and persistent data structures for C++ — value semantics at scale

react-native-macos. A framework for building native macOS apps with React.

zug. Transducers for C++ — Clojure style higher order push/pull sequence transformations

Suitcase. A flexible command line tool for instantly deploying user interfaces for simple commands and scripts.

fructure. a structured interaction engine 🗜️ ⚗️

spec. The AsyncAPI specification allows you to create machine-readable definitions of your asynchronous APIs.

kernelf2. Repository for the new, shadow-model based evolution of KernelF

iets3.opensource. Open Source Parts of IETS3

LLVS. Low-Level Versioned Store

DataFlow.jl. Julia

wasmer. 🚀 Fast, secure, lightweight containers based on WebAssembly

foundationdb. FoundationDB - the open source, distributed, transactional key-value store

wyvern. The Wyvern programming language.

dist-prog-book. CSS

layout. A declarative UI framework for iOS

DSALs. Java

category-theory. An axiom-free formalization of category theory in Coq for personal study and practical work

Rezoom.SQL. Statically typechecks a common SQL dialect and translates it to various RDBMS backends

incremental-swift. Swift

Cosette. Cosette is an automated SQL solver.

project-guidelines. A set of best practices for JavaScript projects

gun. An open source cybersecurity protocol for syncing decentralized graph data.

Projects. :page_with_curl: A list of practical projects that anyone can solve in any programming language.

react-page. Next-gen, highly customizable content editor for the browser - based on React and written in TypeScript. WYSIWYG on steroids.

clay. Golem is creating a global market for computing power.

este. This repo is suspended.

graphql-java. GraphQL Java implementation

timescaledb. A time-series database for high-performance real-time analytics packaged as a Postgres extension

ParlAI. A framework for training and evaluating AI models on a variety of openly available dialogue datasets.

lucida. Speech and Vision Based Intelligent Personal Assistant

badwolf. Temporal graph store abstraction layer.

graal. GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

esversioning__basic_type_based_versioning. Simulation of the ES system evolution with basic type based versioning of events

pgql-lang. PGQL is an SQL-based query language for property graphs

spoofax. Spoofax runtime

sudolikeaboss. Get 1password access from iterm2

streisand. Streisand sets up a new server running your choice of WireGuard, OpenConnect, OpenSSH, OpenVPN, Shadowsocks, sslh, Stunnel, or a Tor bridge. It also generates custom instructions for all of these services. At the end of the run you are given an HTML file with instructions that can be shared with friends, family members, and fellow activists.

soot. Soot - A Java optimization framework

antidote. A planet scale, highly available, transactional database built on CRDT technology

maelstrom. A workbench for writing toy implementations of distributed systems.

erleans. Erlang Orleans

virtualization-lms-core. A Framework for Runtime Code Generation and Compiled DSLs

linsa.io. Work. Save. Share. Privately.

reactxp. Library for cross-platform app development.

tom. Java

dblab. A framework for building database systems by high-level programming, and getting really good performance nevertheless.

claferIG. Support for reasoning on Clafer models by instantiation and counter example generation.

localstack. 💻 A fully functional local AWS cloud stack. Develop and test your cloud & Serverless apps offline

reason. Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

HZ. Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)

reladomo. Reladomo is an enterprise grade object-relational mapping framework for Java.

haxe. Haxe - The Cross-Platform Toolkit

terraform. Terraform enables you to safely and predictably create, change, and improve infrastructure. It is a source-available tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.

clpfd. Constraint Logic Programming over Finite Domains

deptrac. Keep your architecture clean.

choco-solver. An open-source Java library for Constraint Programming

minisat. A minimalistic and high-performance SAT solver

spry. Erlang

thorin. The Higher-Order Intermediate Representation

impala. An imperative and functional programming language

anydsl. Meta project to quickly build dependencies

charts. ⚠️(OBSOLETE) Curated applications for Kubernetes

mentat. UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.

intellij-community. IntelliJ IDEA & IntelliJ Platform

bluepill. Bluepill is a reliable iOS testing tool that runs UI tests using multiple simulators on a single machine

homebridge. HomeKit support for the impatient.

mermaid. Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

Provenance. iOS & tvOS multi-emulator frontend, supporting various Atari, Bandai, NEC, Nintendo, Sega, SNK and Sony console systems… Get Started: https://wiki.provenance-emu.com |

slate. A completely customizable framework for building rich text editors. (Currently in beta.)

draft-js. A React framework for building text editors.

hammerspoon. Staggeringly powerful macOS desktop automation with Lua

yoga. Yoga is an embeddable layout engine targeting web standards.

mbeddr.core. The mbeddr core. An extensible C

GraphQL. The Swift GraphQL implementation for macOS and Linux

xsemantics. Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).

OneTimePassword. 🔑 A small library for generating TOTP and HOTP one-time passwords on iOS.

og-aws. 📙 Amazon Web Services — a practical guide

libzmq. ZeroMQ core engine in C++, implements ZMTP/3.1

objc-zmq. Objective-C binding for ZeroMQ.

underdark-cocoa. Bluetooth peer-to-peer mesh networking for iOS

rclone. "rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Azure Blob, Azure Files, Yandex Files

gh-ost. GitHub's Online Schema-migration Tool for MySQL

differential-dataflow. An implementation of differential dataflow using timely dataflow on Rust.

emf-compress. A framework for delta compressing similar models

elasticsearch. Free and Open Source, Distributed, RESTful Search Engine

runway-browser. Interactive visualization framework for Runway models of distributed systems

rosette. The Rosette solver-aided host language, sample solver-aided DSLs, and demos

ReSwift. Unidirectional Data Flow in Swift - Inspired by Redux

language-server-protocol. Defines a common protocol for language servers.

JVectorClock. An implementation of a Vector Clock for iOS / OSX

beats. :tropical_fish: Beats - Lightweight shippers for Elasticsearch & Logstash

fastlane. 🚀 The easiest way to automate building and releasing your iOS and Android apps

elasticsearch-ruby. Ruby integrations for Elasticsearch

variety. Variety: a MongoDB schema analyzer

couchbase-lite-ios. Lightweight, embedded, syncable NoSQL database engine for iOS and MacOS apps.

CocoaAsyncSocket. Asynchronous socket networking library for Mac and iOS

raft. C implementation of the Raft Consensus protocol, BSD licensed

eventsim. Event data simulator. Generates a stream of pseudo-random events from a set of users, designed to simulate web traffic.

elastic4s. 🔍 Elasticsearch Scala Client - Reactive, Non Blocking, Type Safe, HTTP Client

stream-reactor. A collection of Kafka Connect sinks and sources maintained by Lenses.io.

mongo-connector. MongoDB data stream pipeline tools by YouGov (adopted from MongoDB)

firebase-jobdispatcher-ios.

ruby-kafka. A Ruby client library for Apache Kafka

models. Models and examples built with TensorFlow

NativeScript. ⚡ Write Native with TypeScript ✨ Best of all worlds (TypeScript, Swift, Objective C, Kotlin, Java, Dart). Use what you love ❤️ Angular, React, Solid, Svelte, Vue with: iOS (UIKit, SwiftUI), Android (View, Jetpack Compose), Flutter and you name it compatible.

RxJava. RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.

scio. A Scala API for Apache Beam and Google Cloud Dataflow.

Perfect. Server-side Swift. The Perfect core toolset and framework for Swift Developers. (For mobile back-end development, website and API development, and more…)

MPS. JetBrains Meta programming System

nltk. NLTK Source

molly. An implementation of LDFI

arel. A Relational Algebra

lamdu. lamdu - towards the next generation IDE

cockroach. CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.

eventuate. Global-scale event sourcing and event collaboration with causal consistency (This project is in maintenance mode. Only critical bugs will be fixed, but there is no more feature development.).

ocaml-datalog. This package contains a lightweight deductive database system in OCaml

opentracing-go. OpenTracing API for Go. 🛑 This library is DEPRECATED! https://github.com/opentracing/specification/issues/163

opentracing.io. OpenTracing website

learndatalogtoday. Interactive Datalog Tutorial

datascript. Immutable database and Datalog query engine for Clojure, ClojureScript and JS

tapir. TAPIR distributed transactional storage system

z3. The Z3 Theorem Prover

jetpad-projectional-open-source. jetpad-projectional