Starred repositories
Build production-ready applications in TypeScript
Analyse gigapixel images, annotated with millions of geometries, using a modern, highly-performant web interface. Built using Rust.
Type-safe Atomic CSS with intuitive layouts and composable css utility classes. Inspired by Tailwindcss and Elm-UI
Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]
Rich, real-time user experiences with server-rendered HTML
Generate Nix build instructions from a Cabal file
Bleeding edge emacs overlay [maintainer=@adisbladis]
A `flake-parts` Nix module for Haskell development
Lean 4 programming language and theorem prover
A Git-compatible VCS that is both simple and powerful
Turso is an in-process SQL database, compatible with SQLite.
Fast, Declarative, Reproducible, and Composable Developer Environments using Nix
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
</> htmx - high power tools for HTML
Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView
Ad-hoc ClojureScript scripting of Mac applications via Apple's Open Scripting Architecture.
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
aider is AI pair programming in your terminal
C# pure functional programming framework - come and get declarative!
🎓 A workshopper for GLSL shaders and graphics programming
A high-performance C# based Archetype & Chunks Entity Component System (ECS) with optional multithreading.
JARVIS, a system to connect LLMs with ML community. Paper: https://arxiv.org/pdf/2303.17580.pdf
Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics
"every time I watch one of his talks I feel like someone has gone in and organized my brain"
A statically typed lisp, without a GC, for real-time applications.