#
Starred repositories
Proofs in Coq for the book Reflective Programs in Tree Calculus
Computing Fibonacci numbers efficiently, for real this time.
Open Voice OS container images and docker-compose.yml files for x86_64 and aarch64 CPU architectures.
Resources for learning Category Theory for an enthusiast
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
All of source code of version 10 or later of Floorp Browser, the most Advanced and Fastest Firefox derivative 🦊
A new markup-based typesetting system that is powerful and easy to learn.
A Linux daemon to automatically update the system timezone based on location
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Community plugins list, theme list, and releases of Obsidian.
Free and open source manga reader for Android
Molly with UnifiedPush support (Archived).
[MIRROR, PRs ok! Issues: https://git.lix.systems/lix-project/lix/issues] A modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth — and committed…
A recipe website with no backstories, ads, or trackers.
A programming language that's wise beyond its bytes!🌱🌿🪴
A massive collaborative rube goldberg machine.
Tooling for creating your own distributed systems.
React component for 2D, 3D, VR and AR force directed graphs
Lean 4 programming language and theorem prover
embedded-hal abstractions for AVR microcontrollers