#
Lists (32)
π½ Animation
5 repositories
πΌοΈ Art
3 repositories
π Binary Formats
55 repositories
π Bootstrapping
49 repositories
ποΈ Build systems
11 repositories
π Compilation
30 repositories
π¨ Creative Tools
37 repositories
π Data Layout
3 repositories
π± Digital Gardens - Examples
9 repositories
π± Digital Gardens - Tools
42 repositories
π Documentation - Tools
3 repositories
π Effects
Effect systems, Algebraic effects and handlers⦠resources, languages, libraries and use cases53 repositories
π£ Elaboration
Examples of elaborating surface languages into minimal core languages25 repositories
π Fish Shell
4 repositories
π Fonts
27 repositories
πΉοΈ Game Development
2 repositories
πΉοΈ Games
2 repositories
π Geometric Algebra
18 repositories
π Memory Safe by Default
4 repositories
π± Module Systems - Case Studies
3 repositories
π± Module Systems - Languages
12 repositories
π‘ My Stack
14 repositories
βοΈ Nix - Example Configurations
12 repositories
βοΈ Nix - Tools
34 repositories
πΎ Nostalgia
28 repositories
πͺ OCaml - js_of_ocaml
3 repositories
π Procedural
Things related to procedural generation, generated worlds, etc.52 repositories
π² Property Based Testing
4 repositories
πΌ Shaders
16 repositories
β± Staged Programming
6 repositories
π³ Structural Editing
14 repositories
π World Building - Conlanging
8 repositories
Starred repositories
44
results
for sponsorable starred repositories
written in Haskell
Clear filter
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps π±!
A multilingual package manager for Arch Linux and the AUR.
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
An interpreter for learning and exploring pure Ξ»-calculus
A prompt engineering functional programming language
A bare-bones calculus-of-constructions
Parsing all context-free grammars using Earley's algorithm in Haskell.
Nix expressions for VS Code Marketplace and Open VSX extensions
Dependent type checker using normalisation by evaluation
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
Typed and composable spreadsheets
βοΈ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
Easy, repeatable testing of CLI programs/commands
self(auto)- documenting encoders and decoders
Hypertypes - generic programming for heterogeneous recursive types
Distributed programming language that desugars to Morte
Yet another yet another recursion scheme library in Haskell.
Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
πΌοΈ the compiling to closed categories compiler