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
35 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
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