Lists (30)
aerospace
2 repositories
art
1 repository
biotechnology
47 repositories
cli-tools-and-libs
93 repositories
cloud-infra-devops
228 repositories
concurrency
110 repositories
data-engineering
382 repositories
embedded-and-robotics
94 repositories
finance
2 repositories
frontend-and-ui
59 repositories
functional-programming
20 repositories
games-and-gamedev
29 repositories
graphics
Rendering, visualization, video editing and art171 repositories
hpc-and-ai
593 repositories
learning-resources
315 repositories
libs
233 repositories
medicine-and-diagnosis
19 repositories
networking-and-distributed-sys
524 repositories
os-and-systems-dev
467 repositories
parsers-compilers-tracers
211 repositories
quantum-computing
3 repositories
runtimes
62 repositories
scientific
126 repositories
security-and-cryptography
126 repositories
silicon
10 repositories
simulations
40 repositories
theoretical-computer-science
39 repositories
utilities
129 repositories
web
201 repositories
web3
24 repositories
Starred repositories
24
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
💥💻💥 A data-parallel functional programming language
Research language for array processing in the Haskell/ML family
Embedded language for high-performance array computations
⚙️ 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 💖