Skip to content
View kfl's full-sized avatar
🤓
Happy
🤓
Happy

Highlights

  • Pro

Organizations

@mgtk @DIKU-PCS @SMLFamily @diku-dk

Block or report kfl

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Turn your idle shell into a visual playground with this collection of Bash screensav­ers

Shell 842 18 Updated Nov 1, 2025

An online assembly editor, emulator and debugger for the x86-64 architecture

C 510 22 Updated Dec 8, 2025

Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.

OCaml 30 1 Updated Dec 24, 2024

2d game engine for OCaml

OCaml 73 5 Updated Nov 27, 2025

Danish ASR and TTS models associated with the CoRal project.

Python 22 3 Updated Dec 23, 2025

Code execution utilities for Open WebUI & Ollama

Python 311 22 Updated Nov 11, 2024

The PlantStudio Botanical Illustration Software is a tool for creating 3D plant models (including through breeding them in an evolutionary way).

Python 77 8 Updated Nov 20, 2018

# A simple variable binding library based on well-scoped indices and environments

Haskell 28 2 Updated Oct 15, 2025

Ollama client for Haskell

Haskell 50 6 Updated Sep 24, 2025

OpenType font that disassembles Z80 instructions

Python 319 3 Updated Aug 31, 2024
TeX 1 Updated Aug 15, 2024

Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.

WebAssembly 129 7 Updated Nov 24, 2025

A verification toolchain for Rust programs

OCaml 486 38 Updated Dec 20, 2025

Tiny, fast(ish), self-contained, fully loaded printf, sprinf etc. implementation; particularly useful in embedded systems.

C 572 62 Updated Dec 10, 2025

A sharp, readable, vector-y version of Monocraft, the programming font based on Minecraft

Python 1,178 12 Updated Aug 5, 2025

Hierarchical sparse bitset

Rust 52 2 Updated Nov 1, 2025

Solving the 1 Billion Row Challenge in MPL

Standard ML 17 Updated Jan 9, 2024

Community-maintained repository of free software for the reMarkable tablet.

Shell 890 71 Updated Dec 9, 2025

Collection of reMarkable related apps, utilities and libraries.

C++ 161 13 Updated Dec 4, 2025

Extract text and images from highlighted pdf generated with reMarkable tablet.

Python 171 10 Updated Aug 30, 2024

ActivityPub-federated video streaming platform using P2P directly in your web browser

TypeScript 14,363 1,651 Updated Dec 22, 2025

Haskell implemented with combinators

Haskell 669 63 Updated Dec 22, 2025
OCaml 53 12 Updated Aug 22, 2024

🎸 Find chords for any string instrument quicky & easily 🎸

Haskell 153 4 Updated Apr 11, 2025

Display Ukulele fingering charts in the terminal

Haskell 10 Updated Jun 14, 2025

An implementation of Pie in Haskell

Haskell 211 15 Updated Nov 8, 2019

pix2tex: Using a ViT to convert images of equations into LaTeX code.

Python 16,048 1,270 Updated Jan 18, 2025

Emacs minor mode for running smlfmt

Emacs Lisp 6 1 Updated Nov 7, 2023

DHCP Server programmed in rust with zero dependencies and unsafe.

Rust 88 7 Updated Oct 31, 2023
Next