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

Cache aware and mem efficient data structures for rust

Rust 19 Updated Apr 28, 2026
Rust 44 1 Updated Apr 30, 2026
HTML 256 12 Updated Apr 29, 2026

Local TUI Music Player

Rust 317 22 Updated Apr 30, 2026
Rust 28 4 Updated Apr 30, 2026

Rust implementation of the Resonate algorithm for low-latency spectral analysis, with Python and WebAssembly bindings

Rust 80 5 Updated Apr 24, 2026

Distraction-free music listening

Rust 151 3 Updated Apr 29, 2026

Tool to build & run portable, lightweight, self-contained virtual machines.

Rust 2,997 119 Updated Apr 29, 2026

Go Optimization Guide: Patterns and Techniques for Writing High-Performance Applications with Go

Markdown 1,068 49 Updated Mar 11, 2026

The Virtual Machine. In Rust... Because, Well, I Can

Rust 50 3 Updated Apr 13, 2026

Lean4 kernel for synthetic formalization and discovery of statistical learning theory. First and complete formalization of the 5 way fundamental theorem. Typed premise + human-guided, AI-driven pro…

Lean 11 1 Updated Apr 29, 2026

A compact, single-pass SSA-style bytecode compiler and stack VM for a subset of CPython 3.13 syntax. Hand-written lexer, Pratt-precedence parser that emits bytecode directly (no AST), and a threade…

Rust 74 7 Updated Apr 30, 2026

OPH is an active research program aiming to construct a fundamental theory of physics from observer consistency.

Python 490 59 Updated Apr 30, 2026

SWE-CI: Evaluating Agent Capabilities in Maintaining Codebases via Continuous Integration

Python 164 19 Updated Apr 23, 2026

A minimum viable terminal emulator built on top of the libghostty C API. Ex minimo, infinita nascuntur. 👻🐣

C 977 36 Updated Apr 6, 2026

A terminal animation framework for Rust

Rust 73 2 Updated Apr 8, 2026

preCICE-adapter for the open source computing platform FEniCS

Python 36 18 Updated Feb 17, 2026

Buffer-first rust dithering and halftoning library.

Rust 38 1 Updated Apr 16, 2026

Terminal based spreadsheet tool

Go 2,150 57 Updated Apr 26, 2026
Zig 246 10 Updated Apr 23, 2026

Drop-in replacement for Requests. Automatic HTTP/1.1, HTTP/2, and HTTP/3. WebSocket, and SSE included.

Python 2,291 49 Updated Apr 28, 2026

A novel approach to central processing unit design

18 1 Updated Apr 1, 2026
Python 4 Updated Feb 12, 2026

Bayesian git bisect

Python 436 8 Updated Apr 14, 2026

Compile agent conversations!

Python 314 21 Updated Apr 3, 2026

Embedded graph database — Cypher queries, no server, no subscription. Rust-native with Python, Node.js & Ruby bindings.

Rust 39 1 Updated Apr 17, 2026

A self-replicating software nanobot. Forth interpreter + S-expression mesh protocol + genetic programming + distributed computation + persistence, all in one binary. Units spawn copies, evolve thei…

Rust 15 2 Updated Apr 29, 2026

High-performance Rust text engine for massive files, with mmap-backed reads, incremental line indexing, and responsive editing.

Rust 9 Updated Mar 31, 2026
Next