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

Get your documents ready for gen AI

Python 25,618 1,530 Updated Mar 29, 2025

Strong type constraints for Scala

Scala 501 51 Updated Mar 26, 2025

RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).

Rust 826 61 Updated May 29, 2024

contaiNERD CTL - Docker-compatible CLI for containerd, with support for Compose, Rootless, eStargz, OCIcrypt, IPFS, ...

Go 8,670 647 Updated Mar 28, 2025

runj is an experimental, proof-of-concept OCI-compatible runtime for FreeBSD jails.

Go 634 33 Updated Jun 13, 2024

☁️ OxiCloud server, efficient and secure way to save all your data

Rust 402 12 Updated Mar 29, 2025

A neovim plugin for moving around your code in a syntax tree aware manner

Lua 417 9 Updated Mar 27, 2025

Systems language with linear types and capability-based security.

OCaml 1,222 45 Updated Jun 24, 2024

Comparison of Rust string types

HTML 141 6 Updated Mar 1, 2025

Algebraic user interfaces

Scala 2 Updated Mar 12, 2025

SwiftNIO SSH is a programmatic implementation of SSH using SwiftNIO

Swift 425 51 Updated Mar 28, 2025

Rust SSH client & server library

Rust 1,153 138 Updated Mar 27, 2025

Open Source Alternative to Vercel, Netlify and Heroku.

TypeScript 18,589 960 Updated Mar 30, 2025

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.

Rust 432 12 Updated Mar 11, 2025

What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.

Shell 77 2 Updated Mar 12, 2025

Rust reflection, serialization, deserialization — know the shape of your types

Rust 94 2 Updated Mar 27, 2025

An RPC framework for Rust with a focus on ease of use.

Rust 3,417 206 Updated Mar 27, 2025

Master programming by recreating your favorite technologies from scratch.

Markdown 365,231 33,883 Updated Sep 3, 2024

A list of companies who use Gleam in production!

34 Updated Mar 7, 2025

CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.

Nim 1,077 21 Updated Mar 28, 2025

Rust client for the Tailscale Local API

Rust 6 2 Updated Jun 5, 2024

Rust binding to libtailscale

Rust 25 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 26,345 1,426 Updated Mar 30, 2025

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

Go 16,379 735 Updated Mar 17, 2025

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

TypeScript 17,940 1,738 Updated Mar 24, 2025

Rust signpost library for macOS/iOS

Rust 6 2 Updated Feb 12, 2022

Optics library for Scala

Scala 1,667 203 Updated Mar 17, 2025

A process for automating Docker container base image updates.

Go 21,509 937 Updated Jul 30, 2024

Algebraic Effects for Scala 3

Scala 60 2 Updated Mar 14, 2025
Next
Showing results