Skip to content
View ocramz's full-sized avatar
🌿
🌿

Highlights

  • Pro

Organizations

@DataHaskell @haskell-perf

Block or report ocramz

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

A Rust library for the Linux Landlock sandboxing feature

Rust 293 25 Updated Aug 4, 2026

An auto-active verifier embedded into Lean

Lean 79 6 Updated Jul 6, 2026

Gaussian splat tile plugin for 3d-tiles-renderer that streams Gaussian Splats content in Three.js

TypeScript 115 17 Updated Aug 6, 2026

✨ An advanced 3D Gaussian Splatting renderer for THREE.js

TypeScript 3,470 376 Updated Jul 15, 2026

Physics plugin for Three.js

JavaScript 2,854 452 Updated Aug 1, 2022

Three.js MCP server — inspect and edit scenes, materials, shaders, lights in real time from any AI agent

TypeScript 82 8 Updated Apr 7, 2026

Tree-based KEM for group key management

JavaScript 48 8 Updated Aug 7, 2018

A hive mind communication platform

Rust 23,469 2,668 Updated Aug 6, 2026

Data Science Skills for AI agents like Claude Code

Python 95 4 Updated Aug 3, 2026

A portable data substrate for humans and their tools to think together.

Rust 74 10 Updated Aug 5, 2026

A PyTorch native platform for training generative AI models

Python 5,593 929 Updated Aug 6, 2026

A JAX backend for Apple Metal Performance Shaders (MPS), enabling GPU-accelerated JAX computations on Apple Silicon.

C++ 206 26 Updated Aug 4, 2026

Our library for RL environments + evals

Python 4,442 623 Updated Aug 6, 2026

An open standard for shared agent learning. Agents persist, share, and query collective knowledge so they stop rediscovering the same failures independently.

Go 1,242 65 Updated Aug 3, 2026

A collection of crates to make implementing Kubernetes operators easier

Rust 165 19 Updated Aug 6, 2026

Rust Kubernetes client and controller runtime

Rust 3,793 414 Updated Aug 4, 2026

Repo for AI Compiler team. The intended purpose of this repo is for implementation of a PJRT device.

Python 74 29 Updated Aug 6, 2026

Property-based testing for distributed protocols

Rust 7 Updated Jun 29, 2026

wk the workspace tool

Rust 4 Updated Jul 27, 2026

A cross-platform, safe, pure-Rust graphics API.

Rust 17,732 1,381 Updated Aug 5, 2026

Hummingbird compiles trained ML models into tensor computation for faster inference.

Python 3,540 290 Updated Jul 17, 2025

EXO Gym is an open-source Python toolkit that facilitates distributed AI research.

Python 114 22 Updated Dec 1, 2025

Spin up any open LLM on rented GPUs (vast.ai/RunPod), serve it with vLLM or llama.cpp, and drive it from Claude Code via Claude Code Router. Pay by the hour.

Python 42 7 Updated Jun 30, 2026

Omnigent is an open-source AI agent framework and meta-harness: orchestrate Claude Code, Codex, Cursor, Pi, and custom agents — swap harnesses without rewriting, enforce policies and sandboxing, an…

Python 8,191 1,234 Updated Aug 6, 2026

Know if your agent skill actually works. A lightweight evaluation harness that tracks a success rate across Claude Code, Codex, Pi, and Hermes.

Python 37 5 Updated Aug 5, 2026

Trace-based tensor compiler for Rust. Toy/educational ML framework based on StableHLO and PJRT.

Rust 6 Updated Mar 17, 2026

A functional language with algebraic effects, multishot continuations, and native codegen

Rust 152 7 Updated Aug 4, 2026

Reactive Reasoning

Rust 54 5 Updated Sep 28, 2025

Generator for MLIR files from known front-ends

MLIR 17 4 Updated Oct 31, 2023
Next