- Lausanne, Switzerland
- https://romac.me
- @romac@hachyderm.io
- @romac.me
Highlights
Lists (26)
Sort Name ascending (A-Z)
✨Awesome
💃🏼 Choregraphic Programming
🔨 Compilers
🌌 Cosmos
🥂 CRDT
⭐️ Gleam
📟 Hardware
🔮 Haskell
📖 LLM
🍎 Mac
🤖 Machine Learning
🤖 MCP
📝 Neovim
❄️ Nix
💾 Operating Systems
🐘 Postgres
🐍 Python
🦀 Rust
🧣 Scala
🐦 Swift
Tailscale
💻 Terminal
💯 Verification
⚙️ Wasm
🌎 Web
👻 ZK
- All languages
- ATS
- Agda
- Arc
- Assembly
- Bluespec
- C
- C#
- C++
- CSS
- Cairo
- Clojure
- CoffeeScript
- Coq
- Crystal
- Cuda
- Dafny
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F*
- Fennel
- Flix
- Forth
- Frege
- Gherkin
- Gleam
- Go
- HTML
- Haskell
- HolyC
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KCL
- Koka
- Kotlin
- LLVM
- Lean
- Less
- Lua
- MDX
- Makefile
- Markdown
- Mathematica
- Mermaid
- Mojo
- NCL
- Nearley
- Nim
- Nix
- Nushell
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- PHP
- PLpgSQL
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Prolog
- Puppet
- PureScript
- Python
- QML
- R
- Racket
- Raku
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- XSLT
- Zig
- ooc
- q
- reStructuredText
- sed
- wisp
Starred repositories
Semantic version control => entity-level diffs, blame, and impact analysis on top of git. 26 languages via tree-sitter. Built for coding agents.
DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm
Using Tailscale with an OrbStack VM on macOS
A cute cat(1) for the terminal with advanced code viewing, Markdown rendering, 🌳 tree-sitter syntax highlighting, images view and more.
A Java port of ratatui — build rich terminal UIs from Java
A community trust management system based on explicit vouches to participate.
Fast and Accurate Code Search for Agents. Uses ~98% fewer tokens than grep+read
Academic Research Skills for Claude Code: research → write → review → revise → finalize
A modern git based age-encrypted secrets manager for teams.
Queue multiple Claude Code tasks with priorities and dependencies. Monitors Claude Plan limits, auto-pauses at capacity, and resumes when limits reset.
Zero-copy, content-addressed Rust build cache. No copies, no wasted disk — just hardlinks locally and S3 for sharing.
Web playground to create Gaussian Splats using Apple's SHARP model
Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents
Information hub for our project training the largest possible historical LLMs.
Use your Claude Max subscription with OpenCode, Pi, Droid, Aider, Crush, Cline. Proxy that bridges Anthropic's official SDK to enable Claude Max in third-party tools.
Rust implementation of Tailscale (preview, experimental)
Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust
Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits
💫 Toolkit to help you get started with Spec-Driven Development
Property-based testing for web and terminal UIs