Lists (30)
aerospace
2 repositories
art
1 repository
biotechnology
46 repositories
cli-tools-and-libs
93 repositories
cloud-infra-devops
227 repositories
concurrency
110 repositories
data-engineering
377 repositories
embedded-and-robotics
94 repositories
finance
2 repositories
frontend-and-ui
58 repositories
functional-programming
20 repositories
games-and-gamedev
29 repositories
graphics
Rendering, visualization, video editing and art171 repositories
hpc-and-ai
592 repositories
learning-resources
313 repositories
libs
233 repositories
medicine-and-diagnosis
19 repositories
networking-and-distributed-sys
519 repositories
os-and-systems-dev
465 repositories
parsers-compilers-tracers
210 repositories
quantum-computing
3 repositories
runtimes
62 repositories
scientific
126 repositories
security-and-cryptography
124 repositories
silicon
10 repositories
simulations
40 repositories
theoretical-computer-science
39 repositories
utilities
131 repositories
web
201 repositories
web3
24 repositories
Starred repositories
22
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 📱!
A friendly programming language from the future
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
Cryptographic currency implementing Ouroboros PoS protocol
Research language for array processing in the Haskell/ML family
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
A fast, flexible, fused effect system for Haskell
An effect system based on type classes, written in Haskell.
Correct by construction Neural Network Implementation in Haskell 💖