National Novel Generation Month, 2024 edition.

Computations in HOL Light

Fountain CSL grammar experiments

Pico version of revised⁷ report on the algorithmic language scheme

National Novel Generation Month, 2023 edition.

A Rust compiler backend targeting CIL(.NET IR) and C.

A demo of how to use pyodide in a web worker

A bison and lex generated C compiler for the Commodore 64

A community-developed version of the original Marble Marcher - a fractal physics game.

An esoteric programming language based on Rubik's Cubes

Collection of interpreters for esoteric programming languages

Hypermedia-driven lambda calculus evaluator. Yes.

gbajs2 is a Game Boy Advance emulator written in Javascript from scratch using HTML5 technologies like Canvas and Web Audio. It is freely licensed and works in any modern browser without plugins.

Haskell implemented with combinators

An interpreter for the 1991 Oriel scripting language

DMG/GBC/GBA emulator and experimental NDS emulator.

A Really Cool Calculator written in Haskell... or is it?

Busy Beaver deciders backed by Coq proof

An object-oriented dialect of Scheme

windows emulator

Bike game

An interactive theorem prover for string diagrams

Automatically Interactive Graphics 🖼✨💯

GPP, a generic preprocessor

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets

The purpose of Emupedia is to serve as a nonprofit meta-resource, hub and community for those interested mainly in video game preservation which aims to digitally collect, archive and preserve game…

Python program to render wave files into oscilloscope views, featuring advanced correlation-based triggering algorithm

The original IBM PC and other machine emulations in JavaScript

Python compiler