Lists (23)
AI
54 repositories
C
5 repositories
Clojure
5 repositories
DBs
16 repositories
FP
1 repository
🔮 Future ideas
Golang
69 repositories
Guides
2 repositories
Haskell
1 repository
Interviews
6 repositories
Kafka-Go
8 repositories
Linux
4 repositories
May be useful
23 repositories
Observability
2 repositories
Python
1 repository
Security
2 repositories
Study
42 repositories
System Design
8 repositories
Tests
2 repositories
Tools
16 repositories
Want to contribute
12 repositories
Web
3 repositories
Work stack
14 repositories
Starred repositories
1
star
written in Idris
Clear filter
A purely functional programming language with first class types