Starred repositories
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
A language trying to be expressive in syntax yet disciplined in handling of 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.
🐳 Efficient Triton implementations for "Native Sparse Attention: Hardware-Aligned and Natively Trainable Sparse Attention"
NxN Magic square problem solved, using backtracking technique
Bibliography of Scheme-related Research
Learn to read and write Mojo code by fixing small programs