Skip to content
View syvb's full-sized avatar

Organizations

@NixOS

Block or report syvb

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

Calculating and filling the Canadian income tax forms

Haskell 17 Updated Apr 12, 2026

Rust implementation of protobuf with editions support, JSON serialization, and zero-copy views

Rust 585 29 Updated Apr 16, 2026

LoRA meta-model

Python 2 Updated Apr 15, 2026

No internet? Connect to this device and chat with whoever else connected!

C++ 3 Updated Apr 2, 2026

Awesome-Parallel-Reasoning: Unlocking the reasoning potential of LLMs. Papers, Code, Resources & Survey.

HTML 51 4 Updated Mar 8, 2026

The foundational document describing Claude's values and behavior

67 15 Updated Jan 29, 2026

Self-playing Adversarial Language Game Enhances LLM Reasoning, NeurIPS 2024

Python 144 23 Updated Feb 24, 2025

Original Proof-of-Concepts for React2Shell CVE-2025-55182

JavaScript 1,034 107 Updated Dec 5, 2025
Python 229 12 Updated Nov 24, 2025

Provides a way for a site to prompt the user to enter a locked-down fullscreen mode, and the user cannot 1) use other apps and OS features or 2) exit this mode without notifying the site. Enables u…

Bikeshed 11 2 Updated Jan 12, 2024

Syntax highlighting, like GitHub

JavaScript 1,780 35 Updated Jan 19, 2026

🔑🔑🔑 next generation token approvals mechanism

Solidity 919 274 Updated Aug 19, 2024

Real-time Slack ingest and MCP server to power your agentic Slack bots

Python 46 3 Updated Apr 15, 2026

Protoscope is a simple, human-editable language for representing and emitting the Protobuf wire format.

Go 421 51 Updated Mar 13, 2024

A tool for analyzing the security and parameters of a solidity smart contract

Rust 796 63 Updated Feb 14, 2025

Squiggle programming language for intuitive probabilistic estimation features in Python

Python 82 11 Updated Jan 23, 2026

https://gem.azuro.org

JavaScript 26 13 Updated Jan 29, 2025

Smart contracts for Across protocol

Solidity 143 80 Updated Apr 16, 2026
Solidity 9 Updated Feb 5, 2026

Smart contracts for conditional tokens.

Solidity 281 116 Updated Jan 24, 2023

This repository is dedicated for the Alignment Faking hackathon #1, from Aug 16th to Aug 17th 2025. Sister repository to https://github.com/redwoodresearch/bench-af that contains the model organism…

Python 3 14 Updated Sep 8, 2025

GPT-5 coding examples

HTML 1,875 287 Updated Dec 11, 2025

Renderer for the harmony response format to be used with gpt-oss

Rust 4,311 265 Updated Apr 8, 2026

PostgreSQL extension for BM25 relevance-ranked full-text search. Postgres OSS licensed.

C 3,657 96 Updated Apr 16, 2026

Tool for reversing Google internal protobuf definitions

Go 175 17 Updated May 22, 2025

The Inter font family

Python 19,391 459 Updated Nov 19, 2024

📦 shippable application packaging

Rust 66 3 Updated Dec 19, 2025

Like `sort | uniq -c | sort -rn` but better

Rust 101 1 Updated Oct 5, 2025
Next