luisobo

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

ArchiveBox

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

lexical

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

prql

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

FinRL

FinRL: Financial Reinforcement Learning. 🔥

flyway

Flyway by Redgate • Database Migrations Made Easy.

ast-grep

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

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

VirtualBuddy

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

oncall

Developer-friendly incident response with brilliant Slack integration

dafny

Dafny is a verification-aware programming language

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.

gluesql

GlueSQL is quite sticky. It attaches to anywhere.

airplay2-receiver

AirPlay 2 Receiver - Python implementation

flix

The Flix Programming Language

flyde

🌟 Open-source, visual programming for developers. Includes a VS Code extension, integrates with existing TypeScript code, browser and Node.js.

osx-optimizer

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

hitchhiker-tree

Functional, persistent, off-heap, high performance data structure

mangle

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.

wax

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

quint

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

equal-pay-for-equal-work

This is a list of organizations that pay remote workers equally regardless of their location

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.

PyNeuraLogic

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

specmatic

Turn your contracts into executable specifications. Contract Driven Development - Collaboratively Design & Independently Deploy MicroServices & MicroFrontends.

CodegenCS

C# Toolkit for Code Generation (T4 alternative!)

SaberVM

gdlog

foam3

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