Skip to content
View arindas's full-sized avatar
:octocat:
Focusing
:octocat:
Focusing

Organizations

@solidstatedb

Block or report arindas

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 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

Jail your AI agent

C++ 328 12 Updated Mar 30, 2026
HTML 22 Updated Mar 26, 2026

The standalone Linux Lisp

C 378 10 Updated Mar 29, 2026

A lisp that compiles to eBPF

Common Lisp 52 4 Updated Mar 28, 2026

A modular, non-POSIX operating system for x86_64, built from scratch in C and assembly. Intended to be educational and experimental while rigorously following a Plan9-style "everything is a file" p…

C 435 16 Updated Mar 30, 2026

Conditional Memory via Scalable Lookup: A New Axis of Sparsity for Large Language Models

Python 4,180 304 Updated Jan 14, 2026

Just helper stuff for LLM's.

Shell 62 Updated Mar 6, 2026

A GPU-accelerated general-purpose metaheuristic framework for combinatorial optimization

Cuda 42 8 Updated Mar 25, 2026

Physical Operations Platform

Go 435 49 Updated Mar 20, 2026

Lock free MPSC Channel in Rust (a port of ringmpsc in Zig - see README)

Rust 19 3 Updated Mar 28, 2026

Beginner, advanced, expert level Rust training material

Rust 11,390 774 Updated Mar 29, 2026

Platform-independent space-efficient tagged pointers in Rust

Rust 24 6 Updated Oct 18, 2025

A growable array (vector) implemented as a B-tree

Rust 16 2 Updated Mar 26, 2026

The efficient, intention-preserving sequence CRDT. Guaranteed logarithmic-time operations.

Rust 94 3 Updated Mar 26, 2026

Postgres network traffic monitor

Ruby 133 4 Updated Mar 4, 2026

Official implementation of Learning Athletic Humanoid Tennis Skills from Imperfect Human Motion Data

Python 543 29 Updated Mar 19, 2026

OpenShell is the safe, private runtime for autonomous AI agents.

Rust 4,063 405 Updated Mar 29, 2026

SpinalHDL implementation of the 3dfx Voodoo Graphics GPU

C 245 11 Updated Mar 28, 2026

Running a big model on a small laptop

Objective-C 2,234 229 Updated Mar 19, 2026

Cramium Test SoC

SystemVerilog 11 Updated Jul 25, 2025
Rust 135 3 Updated Mar 21, 2026

Grafeo is a pure-Rust, high-performance graph database that can be embedded as a library or run as a standalone database, with optional in-memory or persistent storage. Grafeo supports both LPG and…

Rust 455 10 Updated Mar 29, 2026

Agentic chat runtime where markdown is the protocol

TypeScript 91 4 Updated Mar 17, 2026

Agentic review of Linux Kernel code changes

Rust 510 48 Updated Mar 28, 2026

A step-by-step guide to build your own AI agent.

Python 527 76 Updated Mar 29, 2026

Sub-millisecond VM sandboxes for AI agents via copy-on-write forking

Rust 2,008 91 Updated Mar 21, 2026

An open-source Collaborative Multi-Agent OS for transparent, human-in-the-loop task coordination via Matrix rooms.

Shell 3,368 379 Updated Mar 29, 2026

Oxyde ORM is a type-safe, Pydantic-centric asynchronous ORM with a high-performance Rust core designed for clarity, speed, and reliability.

Python 652 7 Updated Mar 29, 2026

A hobby kernel with Linux binary compatibility.

C++ 113 3 Updated Mar 15, 2026
Next