Starred repositories
A modern and intuitive terminal-based text editor
The Atlas Package cloner. It manages an isolated workspace that contains projects and dependencies.
Jupyter kernel for the Lua programming language
The WebRacket language is a subset of Racket that compiles to WebAssembly
Monarch is a Defold screen manager with transition support and a straight forward API
Syntactic sugar for defining kill-safe abstractions.
A framework for writing terminal user interfaces in Elixir
An optimizing compiler implementation of miniKanren for Racket
CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning
A fast implementation of miniKanren with CLP(Set) constraints, disequality and absento.
A curated list of awesome F# frameworks, libraries, software and resources.
Repository to host the GRAPE code developed by the BDS group
A collection of formalized statements of conjectures in Lean.
a playground for making 3D art with lisp and math
Kotlin Language Server and plugin for Visual Studio Code
Programming and interaction language. Flexible about syntax, strict about state.
Proof assistant based on the λΠ-calculus modulo rewriting
Provides <script type="pluto"> and high-level APIs.
Staging repo for development of native port of TypeScript
Study of Inductive Program Synthesis by Using a Reversible Meta-Interpreter (Numao & Shimura, 1997)
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.