Skip to content
View romac's full-sized avatar
🔮
λ
🔮
λ

Sponsoring

@fasterthanlime

Organizations

@ooc-lang @HackEPFL @epfl-lara @SpinResearch

Block or report romac

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Semantic version control => entity-level diffs, blame, and impact analysis on top of git. 26 languages via tree-sitter. Built for coding agents.

Rust 2,904 87 Updated Jun 16, 2026

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

C 14,185 1,238 Updated Jun 16, 2026

Deterministic, AI-driven development flows.

Scala 112 9 Updated Jun 16, 2026

Durable execution in Postgres

Rust 41 4 Updated Apr 29, 2026

Using Tailscale with an OrbStack VM on macOS

Shell 131 3 Updated Jun 7, 2026

A cute cat(1) for the terminal with advanced code viewing, Markdown rendering, 🌳 tree-sitter syntax highlighting, images view and more.

Rust 283 9 Updated Mar 15, 2026

A Java port of ratatui — build rich terminal UIs from Java

Java 255 13 Updated May 17, 2026

A community trust management system based on explicit vouches to participate.

Nushell 4,760 87 Updated Jun 7, 2026

Fast and Accurate Code Search for Agents. Uses ~98% fewer tokens than grep+read

Python 5,204 224 Updated Jun 16, 2026

a code review TUI with vim keybindings

Rust 908 95 Updated Jun 16, 2026

Academic Research Skills for Claude Code: research → write → review → revise → finalize

Python 32,092 2,639 Updated Jun 15, 2026

A modern git based age-encrypted secrets manager for teams.

Rust 41 1 Updated Jun 14, 2026

Queue multiple Claude Code tasks with priorities and dependencies. Monitors Claude Plan limits, auto-pauses at capacity, and resumes when limits reset.

Python 17 3 Updated Apr 28, 2026

Zero-copy, content-addressed Rust build cache. No copies, no wasted disk — just hardlinks locally and S3 for sharing.

Rust 172 6 Updated Jun 16, 2026

Web playground to create Gaussian Splats using Apple's SHARP model

TypeScript 279 8 Updated May 3, 2026

Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents

Swift 22,212 1,727 Updated Jun 16, 2026

Information hub for our project training the largest possible historical LLMs.

1,770 34 Updated Dec 22, 2025

A library for asynchronous IO in Neovim

Lua 429 21 Updated Jan 20, 2025

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.

TypeScript 1,429 163 Updated Jun 16, 2026
2 Updated May 6, 2026

TACIT — Tracked Agent Capabilities In Types

Scala 54 6 Updated Jun 9, 2026

Rust implementation of Tailscale (preview, experimental)

Rust 1,023 44 Updated Jun 16, 2026

Code-first Protobuf and gRPC library for Scala

Scala 84 3 Updated Jun 14, 2026

Another Lexer Parser And Compiler Alpaca

Scala 17 1 Updated Jun 10, 2026

Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust

Rust 1,157 102 Updated Jun 16, 2026

Siri Shortcuts Programming Language 🍒

Go 1,552 59 Updated Jun 7, 2026

Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits

Shell 2,013 151 Updated Apr 2, 2026

Helpful utilities for scala developers.

Scala 9 1 Updated Jun 16, 2026

💫 Toolkit to help you get started with Spec-Driven Development

Python 112,622 9,946 Updated Jun 16, 2026

Property-based testing for web and terminal UIs

Rust 1,305 42 Updated Jun 16, 2026
Next