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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

cdsat

SMT 7 Updated Feb 8, 2026

Real-time gamified dashboard for monitoring Claude Code and Codex AI agents in a medieval fantasy setting

TypeScript 89 16 Updated Jun 12, 2026

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 9 2 Updated Apr 13, 2026

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

Shell 941 21 Updated Jul 23, 2026

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

C 707 30 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 79 7 Updated Jul 23, 2026

Danish ASR and TTS models associated with the CoRal project.

Python 28 3 Updated Jul 24, 2026

Code execution utilities for Open WebUI & Ollama

Python 328 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 83 9 Updated Nov 20, 2018

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

Haskell 33 3 Updated Jun 22, 2026

Ollama client for Haskell

Haskell 54 5 Updated Jul 25, 2026

OpenType font that disassembles Z80 instructions

Python 506 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 135 9 Updated Nov 24, 2025

A verification toolchain for Rust programs

OCaml 880 90 Updated Jul 25, 2026

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

C 626 69 Updated Jun 27, 2026

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

Python 1,342 12 Updated Aug 5, 2025

Hierarchical sparse bitset

Rust 66 2 Updated May 14, 2026

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 928 72 Updated Feb 11, 2026

Collection of reMarkable related apps, utilities and libraries.

C++ 175 19 Updated May 30, 2026

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 15,210 1,836 Updated Jul 24, 2026

Haskell implemented with combinators

Haskell 765 80 Updated Jul 19, 2026
OCaml 56 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 Mar 18, 2026

An implementation of Pie in Haskell

Haskell 213 16 Updated Nov 8, 2019
Next