romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
@informalsystemsLausanne, Switzerland
romac's Stars
benbjohnson/litestream
Streaming replication for SQLite.
yetone/avante.nvim
Use your Neovim like using Cursor AI IDE!
rxi/microui
A tiny immediate-mode UI library
orhun/binsider
Analyze ELF binaries like a boss 😼🕵️♂️
CopilotC-Nvim/CopilotChat.nvim
Chat with GitHub Copilot in Neovim
jehna/humanify
Deobfuscate Javascript code using ChatGPT
Aleph-Alpha/ts-rs
Generate TypeScript bindings from Rust types
scalalandio/chimney
Scala library for boilerplate-free, type-safe data transformations
folke/edgy.nvim
Easily create and manage predefined window layouts, bringing a new edge to your workflow
Scthe/nanite-webgpu
UE5's Nanite implementation using WebGPU. Includes the meshlet LOD hierarchy, software rasterizer and billboard impostors. Culling on both per-instance and per-meshlet basis.
hawkw/mycelium
🍄 an alleged 'operating system'
DifuseHQ/Kalmia
A documentation CMS written in go
jessesquires/Foil
A lightweight property wrapper for UserDefaults done right
memorysafety/rav1d
An AV1 decoder in Rust.
Patryk27/kartoffels
a game where you're given a potato and your job is to implement a firmware for it
automerge/automerge-swift
Swift language bindings presenting Automerge
michaelbrusegard/awesome-wezterm
Collections of awesome WezTerm plugins.
neoeinstein/protoc-gen-prost
spiraldb/fsst
Pure-Rust implementation of Fast Static Symbol Tables string compression
michaelbrusegard/tabline.wez
A versatile and easy to use retro tab bar plugin for the WezTerm terminal emulator created with the lualine.nvim configuration format
MLFlexer/modal.wezterm
Vim-like modal keybindings for your terminal! ✌️
winter-again/wezterm-config.nvim
Make Wezterm config overrides from inside Neovim
probe-lab/hermes
A Gossipsub listener and tracer.
florentc/vim-tla
Vim filetype for the TLA+ specification language and proofs
yoshuawuyts/cargo-task-wasm
A sandboxed local task runner for Rust
itsjunetime/kathy
Compile-time swift-style keypaths for Rust
yriveiro/wezterm-tabs
WezTerm to configure tabs look and feel
paulo-coelho/latency-setter
Python script that uses `tc` to set an Amazon EC2-like environment with regions and availability zones inside a LAN
yriveiro/wezterm-status
Wezterm plugin to setup status
reilabs/llvm-to-cairo
Efforts to compile LLVM bytecode to run on top of the CairoVM and hence execute provably on Starknet