Skip to content
View adam12's full-sized avatar

Sponsoring

@ko1
@postmodern
@ioquatix
@jrochkind
@gleam-lang

Highlights

  • Pro

Organizations

@softwareniagara @ruby-community @unpoly @midstack @gemdocs

Block or report adam12

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. 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

An embeddable, portable, branchable virtual machine to safely run Agents locally.

Rust 7,053 361 Updated Nov 10, 2026

Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)

Lean 199 9 Updated Nov 9, 2026

A friendly, fast programming language for people and their agents.

Crystal 107 5 Updated Nov 9, 2026

Declarative native desktop UI for Elixir/OTP — GPUI windows, HEEx-style views, native controls, testing, and remote displays

Elixir 127 5 Updated Nov 3, 2026

A (slightly unhinged) pure-Ruby Parquet file reader/writer

Ruby 35 3 Updated Oct 31, 2026

Pure-Ruby, Phlex-style PDF documents: box layout, TrueType fonts, images. No Prawn, no Chrome.

Ruby 47 4 Updated Nov 5, 2026

Upload a binary. Get a server.

TypeScript 116 5 Updated Nov 9, 2026

simplest & fastest way to transfer files between computers via WireGuard

Go 1,496 49 Updated Jul 28, 2025

Email inbox API for AI agents. Give every agent its own real email address, receive mail as structured webhooks, and reply in-thread over REST. A complete multi-tenant mail server in Rust: inbound …

Rust 286 25 Updated Nov 1, 2026

A full interactive remote desktop delivered entirely through SSH and displayed directly in your terminal.

Python 542 28 Updated Aug 22, 2026

Search Claude Code, Codex, Pi, OpenCode, Github Copilot & Cursor transcripts. Resume sessions. Track tokens.

Rust 311 43 Updated Nov 10, 2026

The second generation of wkhtmltopdf and wicked_pdf

Rust 380 21 Updated Nov 9, 2026
Elixir 21 1 Updated Nov 9, 2026

Elixir encryption library designed for Ecto

Elixir 630 60 Updated Nov 5, 2026
Ruby 13 6 Updated Oct 30, 2026

A 15-model study of how voice directives change model-written prose, plus the plain-writing skill distilled from it.

Shell 7 Updated Aug 26, 2026

IronRuby on .NET 8, parsing Ruby with prism (CRuby's own parser) — pattern matching, keyword args and other modern syntax on the CLR

C# 11 3 Updated Nov 10, 2026

A fast, easy-to-use, and secure command-line tool for encrypting and decrypting files , git repositories and directory trees.

Zig 136 7 Updated Oct 29, 2026

SSH to any machine without ip

Rust 335 26 Updated Nov 9, 2026

An experiment in durability

Python 2,546 121 Updated Nov 8, 2026

Agent2Agent (A2A) protocol for Erlang/OTP: protocol objects, client and server

Erlang 2 Updated Oct 26, 2026

Barrel: the embeddable edge-AI database

Erlang 32 1 Updated Nov 10, 2026

S3-Compatible Object Storage. A MinIO fork maintained by PGSTY

Go 4,599 274 Updated Nov 9, 2026

Agentic AI security tool that applies proactive, attacker-first analysis directly to source code.

Python 1,162 168 Updated Oct 7, 2026
Elixir 47 2 Updated Oct 22, 2026

🗻 Log-structured, embeddable key-value storage engine written in Rust

Rust 2,432 142 Updated Nov 8, 2026

Modern networking and security platform providing secure access and connectivity to apps, infrastructure, and AI workloads. Connect and protect your users.

TypeScript 23,519 825 Updated Nov 10, 2026

A WebAssembly runtime implemented in Erlang/OTP

Erlang 72 3 Updated Nov 9, 2026
Next