Clojure program to exhaustively search for optimal Java programs

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

OCaml promises and concurrent I/O

Lua implemented in Mercury

Safe representation invariants for Rust with correct caching and automatic parallelisation

结巴中文分词

Fast, simplified WAM-based Prolog system

Maintainable configuration files

A demonstration of implementing SKI calculus in the Rust type system.

C++ compile-time Prolog interpreter

An open source Prolog interpreter in JavaScript

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.

A Standard ML Compiler for the Web

Core POSIX command line utilities in safe Rust

A Discord bot with mini-games, a currency and rewards system, and some useful utilities

Draw tube maps in the style of the London Underground using d3

A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.

Real programming languages in 50 lines of code

type-level programming in F#

A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-class continuations and a Read Eval Print Loop (REPL). The R4RS…

Daily chess puzzle game.

clasp Common Lisp environment

UCI Chess Engine

SECD machine and Lispkit Lisp compiler, in Python

A free, open-source grade tracking site used by 600+ students at 15+ universities and colleges around the world

Dr Strangehack, or: how to write a self-hosting C compiler in 10 hours

The Ultimate Chess Toolkit

A modern Prolog implementation written mostly in Rust.

Provides a reference implementation of FeatherweightRust in Java.

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.