Lists (32)
📽 Animation
5 repositories
🖼️ Art
3 repositories
📜 Binary Formats
54 repositories
🌀 Bootstrapping
49 repositories
🏗️ Build systems
13 repositories
📝 Compilation
32 repositories
🎨 Creative Tools
38 repositories
🗄 Data Layout
3 repositories
🌱 Digital Gardens - Examples
10 repositories
🌱 Digital Gardens - Tools
42 repositories
📖 Documentation - Tools
3 repositories
🚀 Effects
Effect systems, Algebraic effects and handlers… resources, languages, libraries and use cases57 repositories
🗣 Elaboration
Examples of elaborating surface languages into minimal core languages26 repositories
🐟 Fish Shell
4 repositories
🔠 Fonts
28 repositories
🕹️ Game Development
3 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
37 repositories
💾 Nostalgia
29 repositories
🐪 OCaml - js_of_ocaml
3 repositories
🏔 Procedural
Things related to procedural generation, generated worlds, etc.57 repositories
🎲 Property Based Testing
4 repositories
🖼 Shaders
16 repositories
⏱ Staged Programming
8 repositories
🌳 Structural Editing
14 repositories
🏔 World Building - Conlanging
8 repositories
Starred repositories
517
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
Parsing, analyzing, and comparing source code across many languages
Compiler for Elm, a functional language for reliable webapps.
A friendly programming language from the future
A statically typed lisp, without a GC, for real-time applications.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
A Dependently Typed Functional Programming Language
A shell script which checks your $HOME for unwanted files and directories.
Official Haskell IDE support via the language server protocol (LSP)
Agda is a dependently typed programming language / interactive theorem prover.
💥💻💥 A data-parallel functional programming language
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
A multilingual package manager for Arch Linux and the AUR.
A declarative Unix terminal UI library written in Haskell
Research language for array processing in the Haskell/ML family
The Plutus language implementation and tools
Haskell to VHDL/Verilog/SystemVerilog compiler
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide