kfl
Follow
-
-
-
local-llm-experiments Public
Experiments with codex and pi, self-hosted GLM/Kimi, and Lean MCP tooling.
Python MIT License UpdatedSep 18, 2026 -
4ct-checks-rust-lean Public
Rust and Lean 4 ports of the near-linear 4CT computer checks, with machine-checked soundness and completeness proofs of the homomorphism kernel
Lean MIT License UpdatedAug 15, 2026 -
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