- Lausanne, Switzerland
- https://romac.me
- @romac@hachyderm.io
- @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
- Starlark
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- WebAssembly
- XSLT
- Zig
- ooc
- q
- sed
- wisp
Starred repositories
Get your documents ready for gen AI
RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).
contaiNERD CTL - Docker-compatible CLI for containerd, with support for Compose, Rootless, eStargz, OCIcrypt, IPFS, ...
runj is an experimental, proof-of-concept OCI-compatible runtime for FreeBSD jails.
☁️ OxiCloud server, efficient and secure way to save all your data
A neovim plugin for moving around your code in a syntax tree aware manner
Systems language with linear types and capability-based security.
SwiftNIO SSH is a programmatic implementation of SSH using SwiftNIO
Open Source Alternative to Vercel, Netlify and Heroku.
A fur-ociously secure encryption tool that encodes your secrets as adorable cat and dog sounds, using real elliptic curve cryptography with a playful disguise.
What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.
Rust reflection, serialization, deserialization — know the shape of your types
An RPC framework for Rust with a focus on ease of use.
Master programming by recreating your favorite technologies from scratch.
A list of companies who use Gleam in production!
CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.
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.