Skip to content
View svieira's full-sized avatar

Block or report svieira

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

Verified Rust for low-level systems code

Rust 2,514 162 Updated Apr 28, 2026

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

Python 3,031 251 Updated Apr 15, 2026

A declarative framework for rule-based state machines in Rust.

Rust 113 2 Updated Apr 3, 2026

Functional GraphQL library for Scala

Scala 992 263 Updated Apr 25, 2026

You can use AI all you want — just don't submit on autopilot. Gentle PR guardrails that encourage human ownership.

Makefile 26 2 Updated Apr 13, 2026

WebKit's positions on emerging web specifications

Python 315 35 Updated Apr 27, 2026

A modular implementation of timely dataflow in Rust

Rust 3,607 295 Updated Apr 17, 2026

A free, open source, and extensible speech-to-text application that works completely offline.

Rust 20,697 1,710 Updated Apr 28, 2026

Fast, free alternative to Wispr Flow

Swift 1,452 118 Updated Apr 27, 2026

Voice-to-text app for macOS to transcribe what you say to text almost instantly

Swift 4,743 645 Updated Apr 28, 2026
Python 4 Updated Feb 16, 2026

Full Source Code for Making a Language series

Rust 101 7 Updated Apr 3, 2026

Experimental Linux microvm setup with a TypeScript Control Plane as Agent Sandbox

TypeScript 1,021 65 Updated Apr 21, 2026

Z80-μLM is a 2-bit quantized language model small enough to run on an 8-bit Z80 processor. Train conversational models in Python, export them as CP/M .COM binaries, and chat with your vintage compu…

Python 1,086 47 Updated Apr 17, 2026

⏱️Zero CPU overhead, zero dependency, true event-loop blocking sleep ⏱️

JavaScript 85 3 Updated Mar 11, 2020

A rugged, minimal framework for composing JavaScript behavior in your markup.

HTML 31,490 1,362 Updated Apr 27, 2026

A DOM-merging algorithm

HTML 1,069 48 Updated Oct 17, 2025

The hypermedia framework.

TypeScript 4,358 204 Updated Apr 27, 2026

Optimal DOM morphing, written in TypeScript.

TypeScript 203 5 Updated Mar 10, 2026

Solving i18n for client-side and resource-constrained environments.

Rust 1,789 265 Updated Apr 28, 2026

JCoz -- A Java causal profiler

Java 281 21 Updated Mar 7, 2024

Coz: Causal Profiling

C 4,485 169 Updated Apr 18, 2026

Fast, lightweight, and RFC 4180 compliant CSV library for Java. Zero dependencies, ~90 KiB. Trusted by Apache NiFi, JUnit, and Neo4j.

Java 676 102 Updated Apr 27, 2026

Fast per-request isolation for Linux executables with TinyKVM

C++ 71 1 Updated Mar 6, 2026

Type-safe PubSub and Registry for Gleam actors with distributed clustering support, built on Syn.

Gleam 89 1 Updated Aug 16, 2025

DNS-Blocklists: For a better internet - keep the internet clean!

Text 22,073 658 Updated Apr 28, 2026

Embeddable library or single binary for indexing and searching 1B vectors

Rust 385 22 Updated Jan 5, 2026

Native-Like Performance for Nearest Neighbor Search in Java Applications using Hnswlib and Java Native Access

C++ 37 10 Updated Aug 24, 2021

Java library for approximate nearest neighbors search using Hierarchical Navigable Small World graphs

Java 303 59 Updated Mar 23, 2025

Header-only C++/python library for fast approximate nearest neighbors

C++ 5,193 814 Updated Mar 28, 2026
Next