A high-performance bridge between Scryer Prolog and Python.

A Tree-sitter grammar for the Shen programming language

An open source, self-hosted implementation of the Tailscale control server

impl fallible collections in rust, quite as describe in RFC 2116

Alexander Grothendieck's 1972 talk at CERN, on scientific research

Source code and resources to the 1995 3DO title Star Fighter

An experimental library for Cubical Agda

The MaPLe compiler: efficient and scalable parallel functional programming

Simurozos

PostgreSQL Prolog language handler

A Prolog library to connect to PostgreSQL databases

Structured Editing and Navigation in Emacs with Tree-Sitter

Tree Sitter Prolog

A modular Common Lisp game engine

Declarative GUIs in Racket.

Generate Haskell code from a type

My solutions for AoC 2023

A homebrew SDK/pseudo-operating system for the Sega Dreamcast. This repository is a mirror of the official SourceForge repository for KOS.

OCaml game engine and Vampire Survivors inspired game

Prototypes: Object Orientation, Functionally

Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.

A cross-platform virtual memory API written in Rust

Memory Management ToolKit

Scheme implementation (now maybe working properly)

Simple computer algebra system

A Creative Coding Framework for Rust.

The Pyret language.

Public helper code for p423/p523 students (Racket)

A graphics library for producing Racket picts in a MetaPost/TikZ style.

DocLog builds documentation from source code in Prolog