A small C# game framework

Syntax highlighting and indentation for PureScript

7drl2020

GPU Accelerated JavaScript

Pure functional programming with whole-program mutability inference

Scientific computing in Lean 4

Io programming language. Inspired by Self, Smalltalk and LISP.

White-box automation for Lean 4

Neovim support for the Lean theorem prover

🌻 A Vim alignment plugin

Vim mode for VSCode, powered by Neovim

A pure-JavaScript interactive fiction engine that runs in the web browser

A simple raytracer written in Lean 4

Lean 4 programming language and theorem prover

SVG/Javascript-based library for creating presentations/figures

Glisp is a Lisp-based design tool that combines generative approaches with traditional design methods, empowering artists to discover new forms of expression.

Higher Order Prolog with Extensional Semantics

Command-line productivity booster, offers quick access to files and directories, inspired by autojump, z and v.

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Jelly no Puzzle in HTML5

A hybrid graphics editor and programming environment for creating interactive diagrams.

Dungeon Crawl: Stone Soup official repository

GLSL embedded in Haskell

A portable C library implementing GNSS related functions and algorithms.

Orchard Opetopic Proof Assistant

Fast math typesetting for the web.