kfl Goto Github PK

miniprolog

Minimal (Pure) Prolog implementation

mlkit

Standard ML Compiler and Toolkit

mmage

Simple image library with functional interface for Moscow ML. Based on SDL2.

mosml

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

mosml-js

Javascript backend for Moscow ML

muddy

MuDDy is a ML interface to the Binary Decision Diagrams package BuDDy

nasm-mode

Major mode for editing NASM assembly programs

only_funs

par-tutorial

A tutorial on Parallel and Concurrent Haskell

prog-contest-diku

Scratchpad for people interested in programming contests at DIKU

program-verification-with-why3

Tutorial for Why3

proper

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

pure-prolog

Simple pure prolog interpreter

quickcheck-c-interface

Example code demonstrating how to use QuickCheck for Erlang to test C code

quickcheck-erlang

Example code demonstrating how to use QuickCheck for Erlang

readbits

Example of how to read binary data with Haskell

rsa-haskell

Generates a random prime number in Haskell

simple-ad

SML Implementation of Automatic Differentiation

simpleparse

Simple to understand parser combinator library

skyline-hotels

smlsqlite

smlsqlite is a binding of SQLite for Moscow ML and MLton

sonic-lambda

A λ-calculus interpreter in Rust

staffeli

Staffeli — DIKU Support Tools for Canvas LMS

staffeli_nt

Staffeli NT Technology

stream

threepenny-gui

GUI library that uses the web browser as a display.

trymosml

vagrant-docker-focal

verified-monkey-island

wasi-snapshot-preview2