Simon's Nix flake templates

Crude cellular automaton visualiser that runs in the terminal

???

Port of MobileKaper for desktop

Mobil udgave af det gamle Kaptajn Kaper. Bemærk benytter J2ME.

The Fun programming language, extended with built-in utilities for property based testing.

Call Futhark programs from Standard ML

poͬjcͤt aͫkͨeͭnoͭgͦrͤ —a fnͧ hͭnͥg iͫssͧnͥg Uncͥdͦe oͨbͫnͥnͥg hͨrͣcͣeͭsͬ

An expansion of the default Futhark prelude

Slides til infoskærmen 🎨

Experimenting with Futhark programming style

This repository contains exercises about type-level programming

The official interpreter for the Jeopardy language

A Futhark binding generator for Rust and OCaml

MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)

Advent of Code, 2021

Earth System Modeling Language

Moscow SML 1.03 for DOS

A Programming Language for Mobile Code

Poor man's liquid simulation

A Dependently Timed Drum Machine Language

Transpiles brainfuck code down to Half-Broken Car in Heavy Traffic (HBCHT)

Generic package manager for Standard ML libraries and programs