Stars
React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely cust…
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.
an experimental new programming language based on interaction nets
Formalization of Mathematical Logic
A (WIP) equality saturation tactic for Lean based on egg.
Library implementing type inference/checking functionality based on the Lean theorem prover
ReCalendar - create your personalized calendar PDF for ReMarkable tablets
Launch external tools inside colorful fifo buffers and display text with ansi colors in info boxes
Allows to swap the Fn key and left Control key and other tweaks on Macbook Pro and Apple keyboards in GNU/Linux
An improved nm + Objective-C & Swift class-dump
Cloud-based data annotation tools for biological images
Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.13. You feed it your Python app, it does a lot of clever things, and spits out an executable or exte…
Implementations of various type systems in OCaml.
A modern and intuitive terminal-based text editor
Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics
a python-like language with hindley-milner-like type system, which is compiled to c