Lists (22)
AI
25 repositories
APIs
1 repository
CLI tools
58 repositories
Databases
35 repositories
Educational
16 repositories
Embedded
3 repositories
Explore later
75 repositories
Fediverse
5 repositories
Home automation and IoT
20 repositories
JavaScript libraries
39 repositories
JavaScript tooling
5 repositories
Linux desktop
36 repositories
Linux server
19 repositories
nginx modules
7 repositories
Operating systems
2 repositories
Productivity apps & similar
5 repositories
Programming languages
23 repositories
Ruby libraries
3 repositories
Rust libraries
26 repositories
Self-hosted
FOSS self-hosted alternatives to proprietary “cloud” services.20 repositories
Vector editors and diagrams
4 repositories
Zsh
14 repositories
Starred repositories
21
stars
written in Haskell
Clear filter
ShellCheck, a static analysis tool for shell scripts
A strongly-typed language that compiles to JavaScript
A statically typed lisp, without a GC, for real-time applications.
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
A statically typed concatenative systems programming language.
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Generate command-line completions using a simple DSL.
A command line tool to generate Gentoo ebuilds from Hackage packages.
Presentations on Liquid Haskell, type theory, and more
Templating engine based on shell interpolation
Functional programming course in Haskell (deprecated, look at MI-AFP organization)