🔮
λ
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
- Lausanne, Switzerland
- https://romac.me
- @romac@hachyderm.io
- @romac.me
Highlights
Lists (26)
Sort Name ascending (A-Z)
✨Awesome
1 repository
💃🏼 Choregraphic Programming
3 repositories
🔨 Compilers
9 repositories
🌌 Cosmos
15 repositories
🥂 CRDT
1 repository
⭐️ Gleam
5 repositories
📟 Hardware
8 repositories
🔮 Haskell
32 repositories
📖 LLM
102 repositories
🍎 Mac
76 repositories
🤖 Machine Learning
12 repositories
🤖 MCP
28 repositories
📝 Neovim
55 repositories
❄️ Nix
8 repositories
💾 Operating Systems
18 repositories
🐘 Postgres
11 repositories
🐍 Python
22 repositories
🦀 Rust
456 repositories
🧣 Scala
48 repositories
🐦 Swift
100 repositories
Tailscale
1 repository
💻 Terminal
12 repositories
💯 Verification
26 repositories
⚙️ Wasm
3 repositories
🌎 Web
19 repositories
👻 ZK
11 repositories
- 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
1
star
written in Elm
Clear filter
Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)