#
Lists (32)
Analytics
9 repositories
Benchmark
3 repositories
Brokers
1 repository
Challenges
3 repositories
Database / Check
103 repositories
Database tooling
15 repositories
Databases
359 repositories
Distributed
49 repositories
DS/Algo
42 repositories
Exotic
14 repositories
Good Go
1 repository
Good Idea
24 repositories
Good Java
2 repositories
Good JS
56 repositories
Good Others
7 repositories
Good Rust
362 repositories
Good Sci
2 repositories
Good Systems
153 repositories
High-load
1 repository
Infra
1 repository
Langs, Parsers, Runtimes, VMs
216 repositories
Lists, Books, Tutorials
80 repositories
MQs
1 repository
NLP
6 repositories
NN/DL/ML
29 repositories
React
2 repositories
Rust tooling
38 repositories
State-of-the-Art
1 repository
SystemsProg
3 repositories
Tools
4 repositories
UI niceties
2 repositories
Web Frameworks
37 repositories
Starred repositories
6
results
for source starred repositories
written in Haskell
Clear filter
Agda is a dependently typed programming language / interactive theorem prover.
Crucible is a library for symbolic simulation of imperative programs
HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
Experimental Language based on Rust and Haskell
toy implementation of Hindley-Milner type system that prints out inference steps