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

AI-powered Thunderbird addon that automatically sorts emails into your custom folders/categories using AI. Fully customizable with your own folder structure and categories.

JavaScript 3 Updated Feb 3, 2026

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

Shell 882 20 Updated Nov 1, 2025

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

C 581 23 Updated Jan 18, 2026

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

OCaml 29 1 Updated Feb 13, 2026

2d game engine for OCaml

OCaml 75 5 Updated Nov 27, 2025

Danish ASR and TTS models associated with the CoRal project.

Python 28 3 Updated Feb 17, 2026

Code execution utilities for Open WebUI & Ollama

Python 324 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 29 2 Updated Oct 15, 2025

Ollama client for Haskell

Haskell 52 6 Updated Jan 25, 2026

OpenType font that disassembles Z80 instructions

Python 321 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 570 42 Updated Feb 16, 2026

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

C 586 63 Updated Dec 10, 2025

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

Python 1,218 12 Updated Aug 5, 2025

Hierarchical sparse bitset

Rust 53 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 904 71 Updated Feb 11, 2026

Collection of reMarkable related apps, utilities and libraries.

C++ 163 14 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,510 1,677 Updated Feb 16, 2026

Haskell implemented with combinators

Haskell 687 65 Updated Feb 17, 2026
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 16 Updated Nov 8, 2019

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

Python 16,185 1,281 Updated Jan 18, 2025

Emacs minor mode for running smlfmt

Emacs Lisp 6 1 Updated Nov 7, 2023
Next