Lists (32)
🤖 AI
49 repositories
🪁 Apps
56 repositories
✒️ Blog
2 repositories
✒️ Design & Fonts
6 repositories
🐦 Flutter
3 repositories
💡 Forever Learning
22 repositories
🎮 Games, Modding & Tools
40 repositories
🔭 Hardware+
25 repositories
🏡 Home Automation
2 repositories
♨️ Java, Kotlin & Friends
3 repositories
💬 Languages
25 repositories
🦾 Libraries
97 repositories
👍 Like
77 repositories
📃 Lists
15 repositories
🗺 Mapping
15 repositories
🫶 Moi
1 repository
🟣 Obsidian
4 repositories
🖋 Plotters
15 repositories
⚛️ React Native
39 repositories
🧪 Research
1 repository
🦀 Rust
341 repositories
🪂 Self hosted
15 repositories
👟 Sports
13 repositories
👁🗨 Talks & Posts
6 repositories
🩳 Templates
1 repository
🎨 Themes
2 repositories
🛠 Tools
189 repositories
🛝 Try
21 repositories
🪁 TypeScript (+JS)
66 repositories
🦖 Typst
14 repositories
🔜 Unsorted
4 repositories
🕸 Web
3 repositories
Starred repositories
9
stars
written in OCaml
Clear filter
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
magic-trace collects and displays high-resolution traces of what a process is doing
An engine for displaying slips, the next-gen version of slides
Bolt is a language with in-built data-race freedom!
The Ott tool for writing definitions of programming languages and calculi