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

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

TypeScript 37 7 Updated Apr 24, 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 5 1 Updated Apr 13, 2026

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

Shell 921 21 Updated Nov 1, 2025

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

C 638 26 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 76 5 Updated Nov 27, 2025

Danish ASR and TTS models associated with the CoRal project.

Python 28 3 Updated Apr 22, 2026

Code execution utilities for Open WebUI & Ollama

Python 326 21 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 80 9 Updated Nov 20, 2018

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

Haskell 32 2 Updated Apr 20, 2026

Ollama client for Haskell

Haskell 53 5 Updated Apr 18, 2026

OpenType font that disassembles Z80 instructions

Python 506 4 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 133 7 Updated Nov 24, 2025

A verification toolchain for Rust programs

OCaml 715 67 Updated Apr 22, 2026

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

C 602 64 Updated Mar 3, 2026

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

Python 1,238 12 Updated Aug 5, 2025

Hierarchical sparse bitset

Rust 54 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 916 71 Updated Feb 11, 2026

Collection of reMarkable related apps, utilities and libraries.

C++ 164 17 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,647 1,715 Updated Apr 24, 2026

Haskell implemented with combinators

Haskell 712 72 Updated Apr 19, 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 Mar 18, 2026

An implementation of Pie in Haskell

Haskell 213 16 Updated Nov 8, 2019

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

Python 16,344 1,297 Updated Jan 18, 2025
Next