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

Sponsoring

@fasterthanlime

Organizations

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

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Starred repositories

Showing results

Rust binding to libtailscale

Rust 24 1 Updated Mar 19, 2023

Tailscale C library

Rust 3 2 Updated Mar 12, 2023

An open source, self-hosted implementation of the Tailscale control server

Go 25,818 1,402 Updated Mar 2, 2025

The lightweight, user-friendly, distributed relational database built on SQLite.

Go 16,298 734 Updated Mar 1, 2025

The easiest way to run WireGuard VPN + Web-based Admin UI.

TypeScript 17,620 1,701 Updated Mar 6, 2025

Rust signpost library for macOS/iOS

Rust 6 2 Updated Feb 12, 2022

Optics library for Scala

Scala 1,668 203 Updated Mar 5, 2025

A process for automating Docker container base image updates.

Go 21,218 920 Updated Jul 30, 2024

Algebraic Effects for Scala 3

Scala 60 2 Updated Jan 29, 2025

Rust bindings fo the Apple Silicon Hypervisor.framework

Rust 36 3 Updated Oct 9, 2024

AArch64 fuzzer based on the Apple Silicon hypervisor

Rust 191 16 Updated Nov 23, 2023

property testing and verification front-end for Rust

C 198 21 Updated Feb 27, 2025

Implementation of an efficient thread-safe global Symbol Table, with garbage collection

Haskell 14 1 Updated Mar 2, 2025

Pirsch is a drop-in, server-side, no-cookie, and privacy-focused analytics solution for Go.

Go 954 48 Updated Feb 23, 2025

Routing library for abstracting navigation logic from SwiftUI views.

Swift 158 12 Updated Mar 1, 2025

Simple refinement types for Rust; parse, don't validate!

Rust 55 2 Updated Mar 5, 2025

An attempt at reproducing unreal nanite in threejs

JavaScript 414 22 Updated Sep 2, 2024

Copy the contents of a Slack thread.

Python 8 Updated May 1, 2022

A table of contents generator for markdown documents written in Rust.

Rust 2 Updated Feb 17, 2025

We have Crater At Home

Rust 28 4 Updated Oct 26, 2024

A lightweight CLI and local API server to create, run and manage macOS and Linux virtual machines (VMs) natively on Apple Silicon.

Swift 2,125 30 Updated Feb 16, 2025

A Rust procedural language handler for PostgreSQL

Rust 1,304 37 Updated Aug 26, 2024

A queue for Swift concurrency

Swift 357 12 Updated Feb 9, 2025

Simple Scala-Library to emit LLVM-IR code.

Scala 4 1 Updated Jul 10, 2015

A tool to generate ergonomic, buffer-based C++ APIs.

Rust 43 1 Updated Feb 25, 2025

Build Postgres replication apps in Rust

Rust 635 28 Updated Mar 5, 2025
Go 10 Updated Oct 20, 2024

Embeddable Postgres with real-time, reactive bindings.

TypeScript 10,849 239 Updated Mar 6, 2025
Next
Showing results