Lists (2)
Starred repositories
The open source AI research agent.
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
Scala on Go. Sealed types, exhaustive pattern matching, Option/Either/Try, bind/also do-notation, and compile-time data-race safety — transpiled to plain Go with full third-party module interop, ze…
A terminal UI for your Obsidian vault: live-preview notes, backlinks, images, a force-directed graph and an assistant
The official repository for the Rock the JVM Cats course
Demo for high-performance type theory elaboration
Spotify, native and fast. One lightweight Rust app for your whole library, local playback, and Spotify Connect on Linux, macOS, and Windows.
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
ScalaTags is a small XML/HTML construction library for Scala.
A library for building dynamic webapps, using Js_of_ocaml
Scriptable desktop app to correct the perspective of images
tsshd is a UDP-based SSH server built for unreliable networks. It supports seamless roaming across networks and IP changes, and works well on high-latency links such as cellular connections and uns…
Misago is fully featured modern forum application that is fast, scalable and responsive.
a small scripting language for the web
</> htmx - high power tools for HTML
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
A hardware-independent SDK for building e-paper reader firmware.
Open-source e-reader firmware
Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda
🚀 List of distributed system projects for inspiration and learning to build distributed services from real world examples
🦀 A friendly terminal UI for rsync, written in Rust. Reusable profiles, an honest dry-run diff, and live progress, even over SSH.