Skip to content
View v217's full-sized avatar

Block or report v217

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

Open-source, low-cost 10.5 GHz PLFM phased array RADAR system

PLSQL 18,489 4,419 Updated Apr 27, 2026
C++ 3 Updated Apr 26, 2026

Using jbig2enc in conjunction with minidjvu.

3 Updated Dec 13, 2024

This is the user space repo for famfs, the fabric-attached memory file system

C 95 6 Updated Apr 25, 2026

ZX Sketch is a web-based graphical editor for the ZX Calculus.

TypeScript 2 1 Updated Apr 1, 2026

Tachyon, Inter-Process Communication primitive.

C++ 228 6 Updated Apr 28, 2026

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

Rust 2,851 115 Updated Apr 28, 2026

Command-line tool from the Alire project and supporting library

Ada 381 61 Updated Apr 21, 2026

Command Line Interface Components

Ada 15 5 Updated Apr 21, 2026

Context-based code search tool

Ada 398 11 Updated Apr 17, 2026

A Forth VM in Ada/SPARK

Ada 4 Updated Jan 24, 2026

Semantic version control — entity-level diffs, blame, and impact analysis on top of git. 26 languages via tree-sitter. Built for coding agents.

Rust 1,909 52 Updated Apr 28, 2026

A Wayland kiosk

C 1,882 118 Updated Apr 11, 2026

Get the main content of any page as Markdown.

TypeScript 7,086 288 Updated Apr 26, 2026

Open-source electrophoretics display controller. Mirror of https://gitlab.com/zephray/caster

Verilog 253 20 Updated Jan 26, 2026

Next-generation JavaScript analysis tooling

C++ 581 23 Updated Apr 25, 2026

Terminal based spreadsheet tool

Go 2,138 57 Updated Apr 26, 2026

A ~9M parameter LLM that talks like a small fish.

Python 3,031 251 Updated Apr 15, 2026

Reproducible Nix environments without installing Nix

Rust 102 Updated Apr 28, 2026

TurboQuant WASM SIMD vector compression — 3 bits/dim with fast dot product. Requires relaxed SIMD (Chrome 114+, Firefox 128+, Safari 18+, Node 20+)

Zig 303 13 Updated Apr 19, 2026

Rootless Podman for Android — run Linux containers on your phone

Kotlin 1,241 66 Updated Apr 26, 2026

The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial a…

Rust 52 Updated Apr 3, 2026

Which programming language is best for AI coding agents? Benchmarking 13 languages with Claude Code.

Ruby 150 63 Updated Mar 5, 2026

Jail your AI agent

C++ 443 22 Updated Apr 12, 2026

The Kraken Programming Language

Rust 54 4 Updated Feb 8, 2024

Adding `vau` with an immutable dynamic environment to Chez Scheme

Scheme 19 1 Updated Apr 7, 2026

A path query language for JSON, YAML, TOML, and other serialization formats.

Rust 634 11 Updated Apr 26, 2026

The main merelinux.org website, generated via hugo

CSS 1 Updated Mar 31, 2026

Mirror for https://codeberg.org/merelinux/recipes

Shell 93 8 Updated Apr 5, 2026

A mirror repository for the mere package manager

Zig 5 Updated Apr 12, 2026
Next