Lists (32)
🤖 AI
46 repositories
🪁 Apps
51 repositories
✒️ Blog
2 repositories
✒️ Design & Fonts
5 repositories
🐦 Flutter
3 repositories
💡 Forever Learning
22 repositories
🎮 Games, Modding & Tools
39 repositories
🔭 Hardware+
22 repositories
🏡 Home Automation
2 repositories
♨️ Java, Kotlin & Friends
2 repositories
💬 Languages
23 repositories
🦾 Libraries
96 repositories
👍 Like
75 repositories
📃 Lists
13 repositories
🗺 Mapping
10 repositories
🫶 Moi
1 repository
🟣 Obsidian
4 repositories
🖋 Plotters
14 repositories
⚛️ React Native
33 repositories
🧪 Research
1 repository
🦀 Rust
296 repositories
🪂 Self hosted
14 repositories
👟 Sports
13 repositories
👁🗨 Talks & Posts
5 repositories
🩳 Templates
1 repository
🎨 Themes
2 repositories
🛠 Tools
182 repositories
🛝 Try
18 repositories
🪁 TypeScript (+JS)
59 repositories
🦖 Typst
14 repositories
🔜 Unsorted
4 repositories
🕸 Web
3 repositories
Starred repositories
14
stars
written in Haskell
Clear filter
A statically typed lisp, without a GC, for real-time applications.
Agda is a dependently typed programming language / interactive theorem prover.
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
Kit: a magical, high performance programming language, designed for game development.
A programming language with static memory management based on λ-calculus
Experimental implementation of Cubical Type Theory
Standard library for linear types in Haskell.
Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
A self-hosted remote communication system designed for math discussions.