Lists (18)
🔙 Backend
System design, databases, API's, all that stuff.9 repositories
📊 Data Vis
6 repositories
🪞 Frontend
67 repositories
🌈 Graphics
1 repository
GraphQL
1 repository
🔨 Infra
16 repositories
Kotlin
6 repositories
ƛ Haskell
40 repositories
🤖 Machine Learning
37 repositories
🌐 Mapping
Mapping, GIS, geospatial stuff4 repositories
🎸 Music
1 repository
🐍 Python
12 repositories
🦀 Rust
145 repositories
🐚 Shells & Tools
Shell and editors18 repositories
🔈 Sound
2 repositories
🕸 WebAssembly
9 repositories
✍️ Writing
2 repositories
⚡ Zig
Links and things for Zig-lang10 repositories
Stars
6
stars
written in Idris
Clear filter
A purely functional programming language with first class types
Programming language agnostic type construction language based on polynomials.
xmonad with the X11 abstracted and configured with Idris
Idris-written, correct-by-construction, simply-typed lambda calculus.
Working through Type-Driven Development with Idris