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 52 10 Updated Apr 29, 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 6 1 Updated Apr 13, 2026

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

Shell 924 21 Updated Nov 1, 2025

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

C 649 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 77 5 Updated May 6, 2026

Danish ASR and TTS models associated with the CoRal project.

Python 28 3 Updated May 6, 2026

Code execution utilities for Open WebUI & Ollama

Python 327 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 504 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 9 Updated Nov 24, 2025

A verification toolchain for Rust programs

OCaml 737 74 Updated May 7, 2026

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

C 610 65 Updated May 3, 2026

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

Python 1,269 13 Updated Aug 5, 2025

Hierarchical sparse bitset

Rust 60 2 Updated May 5, 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 915 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,670 1,716 Updated May 6, 2026

Haskell implemented with combinators

Haskell 714 72 Updated May 6, 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,365 1,296 Updated Jan 18, 2025
Next