Stars
A programming language in Turkish where grammatical case and mood are part of the type system.
A centralized game library/collection management service with a focus on emulation
A static recompilation/native port of Dinosaur Planet.
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
A collaborative note taking, wiki and documentation platform that scales. Built with Django and React.
LinguaCafe is a self-hosted software that helps language learners read foreign languages.
Grammatical Framework core: compiler, shell & runtimes
A curated list of awesome unoffical PC Ports.
Guide on how to design keyboard PCBs with KiCad
kinT keyboard controller (Kinesis controller replacement)
Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
The media player for language learning, with dual subtitles, AI-generated subtitles, real-time translation, and more!
A massively parallel, optimal functional runtime in Rust
A proof assistant and a dependently-typed language
algebraic typechecking and elaboration of type systems
A SEGA Lindbergh Emulator for Linux.
A list of generic tools for parsing binary data structures, such as file formats, network protocols or bitstreams
A continuation of HomeBox the inventory and organization system built for the Home User
Preservation of iPod Clickwheel Games for iPod Nanos 3g to 5g and iPod Classics 5g to 7g