Official Sagittarius Scheme repository

Automatic verification of LLVM optimizations

an efficient awk-like language

USB host/device implementation using PIO of raspberry pi pico (RP2040/RP2350).

Scheme language server

A Scheme kernel for Jupyter that can use Python libraries

[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold until I secure good sponsors or enough time)

Successor of Undetected-Chromedriver. Providing a blazing fast framework for web automation, webscraping, bots and any other creative ideas which are normally hindered by annoying anti bot systems …

A simple, fast and versatile Datalog database

A little fail-safe filesystem designed for microcontrollers

package manager for guile

Single-pass probabilistic duplicate marking of alignments with a Bloom filter.

Jikes RVM (Research Virtual Machine)

Pico version of revised⁷ report on the algorithmic language scheme

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Measure object memory consumption in Clojure

Rewrite Clojure code and edn

A book about compiling Racket and Python to x86-64 assembly

ANSI Common Lisp implementation

Neural Guided Constraint Logic Programming for Program Synthesis

Prototype smart text editor

A simple PHP API extension for DateTime.

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

Searchable index of Scheme Lisp libraries

A simple multithreaded http server

A post-apocalyptic actionRPG. Now on Steam!