- Lausanne, Switzerland
- https://romac.me
- @[email protected]
- @romac.me
Highlights
Lists (30)
Sort Name ascending (A-Z)
✨Awesome
💃🏼 Choregraphic Programming
🔨 Compilers
🌌 Cosmos
🥂 CRDT
⭐ F*
🐟 Fish
💬 Fonts
⭐️ Gleam
📟 Hardware
🔮 Haskell
🚦Icons
💡 Inspiration
📱iOS
📖 LLM
🍎 Mac
🤖 Machine Learning
📝 Neovim
❄️ Nix
💾 Operating Systems
🐘 Postgres
🐍 Python
🦀 Rust
🧣 Scala
🐦 Swift
💯 Verification
⚙️ Wasm
🌎 Web
💻 WezTerm
👻 ZK
- All languages
- ATS
- Agda
- Arc
- Assembly
- C
- C#
- C++
- CSS
- Cairo
- Clojure
- CoffeeScript
- Coq
- Crystal
- Cuda
- Dafny
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F*
- Fennel
- Forth
- Frege
- Gherkin
- Gleam
- Go
- HTML
- Haskell
- HolyC
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Less
- Lua
- Makefile
- Markdown
- Mathematica
- NCL
- Nearley
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- Open Policy Agent
- PHP
- PLpgSQL
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Prolog
- Puppet
- PureScript
- Python
- QML
- Racket
- Raku
- Reason
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- WebAssembly
- XSLT
- Zig
- ooc
- q
- sed
- wisp
Starred repositories
badboy / libtailscale
Forked from tailscale/libtailscaleTailscale C library
An open source, self-hosted implementation of the Tailscale control server
The lightweight, user-friendly, distributed relational database built on SQLite.
The easiest way to run WireGuard VPN + Web-based Admin UI.
A process for automating Docker container base image updates.
Rust bindings fo the Apple Silicon Hypervisor.framework
AArch64 fuzzer based on the Apple Silicon hypervisor
property testing and verification front-end for Rust
Implementation of an efficient thread-safe global Symbol Table, with garbage collection
Pirsch is a drop-in, server-side, no-cookie, and privacy-focused analytics solution for Go.
Routing library for abstracting navigation logic from SwiftUI views.
Simple refinement types for Rust; parse, don't validate!
An attempt at reproducing unreal nanite in threejs
A table of contents generator for markdown documents written in Rust.
A lightweight CLI and local API server to create, run and manage macOS and Linux virtual machines (VMs) natively on Apple Silicon.
A tool to generate ergonomic, buffer-based C++ APIs.
Embeddable Postgres with real-time, reactive bindings.