nqpz

MAKRO

langjam

smlpkg

Generic package manager for Standard ML libraries and programs

btc0

KaptajnKaper

Source Code of Peter Ole Frederiksens original Danish pirate game

futhark-bindgen

A Futhark binding generator for Rust and OCaml

Jeopardy

The official interpreter for the Jeopardy language

Philomath

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

smlfut

Call Futhark programs from Standard ML

BottomTsh

A Dependently Timed Drum Machine Language

adventofcode_2021

Advent of Code, 2021

infoscreen

Slides til infoskærmen :art:

prelude.fut

An expansion of the default Futhark prelude

futhark-bezier

Flattened Data-Parallel Generation of Cubic Bezier Curves in Futhark

hreyfan

A Programming Language for Mobile Code

poor-mans-liquid

Poor man's liquid simulation

pun-lang

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

edda

Experimenting with Futhark programming style

mos1bin

Moscow SML 1.03 for DOS

exercises-in-type-level-programming

This repository contains exercises about type-level programming

Mobilkaptajnkaper

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

esml

Earth System Modeling Language

bf2hbcht

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

raymarcher

Raymarching spectral path tracer in Futhark.

futhark-infoscreen

Infoscreen content for the Nvidia Jetson TK1 running in the office of Niels and Troels

middelaldertekster

nqpz

project-macktentooger

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ͬ

Andersen

KaptajnKaper

Port of MobileKaper for desktop