-
-
-
staffeli_nt Public
Staffeli NT Technology
-
maze Public
A maze generation program written in Standard ML, implemented using Moscow ML
-
-
minotop Public
An experimental system monitoring application demonstrating a simple Tauri app built with Rust.
HTML MIT License UpdatedOct 13, 2025 -
ebpf-tools Public
Experiments with eBPF bytecode
-
-
ebpf-cfg Public
Starter code for working with a CFG for eBPF
-
mosml Public
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
-
-
-
-
-
diku-canvas Public
Forked from diku-dk/diku-canvasSimple canvas library for F# (2d-drawing, loading/saving of image files, using SDL2)
F# MIT License UpdatedAug 7, 2023 -
haskell-exam-autograding Public template
Forked from Idokorro/haskell-exam-autogradingTemplate repository for Haskell exams and projects. Includes GitHub Autograding action.
Shell MIT License UpdatedApr 24, 2023 -
-
-
-
-
makefile-help Public
Forked from dwmkerr/makefile-helpA simple snippet that allows you to quickly add a 'help' command to a Makefile to show command documentation.
Shell MIT License UpdatedOct 18, 2022 -
pure-prolog Public
Simple pure prolog interpreter
-
-
-
-
mlkit Public
Forked from melsman/mlkitStandard ML Compiler and Toolkit
Standard ML UpdatedAug 9, 2021 -
wpp Public
A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
-
wasm-experiments Public
Small WebAssembly snippet and some notes
-
-
HsYAML Public
Forked from haskell-hvr/HsYAMLYAML 1.2 implementation in pure Haskell
Haskell GNU General Public License v2.0 UpdatedOct 11, 2019
{{ message }}