- Zürich, Switzerland
-
02:25
(UTC +02:00) - https://0x51.dev
- https://codeberg.org/quint
Highlights
Stars
pizlonator / fil-c
Forked from llvm/llvm-projectFil-C: completely compatible memory safety for C and C++
A markup-based typesetting system that is powerful and easy to learn.
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies
A simple and easy-to-use library to enjoy videogames programming
A Git-compatible VCS that is both simple and powerful
OpenTofu lets you declaratively manage your cloud infrastructure.
franz-go is a feature complete, pure Go library for Kafka from 0.8.0 through 4.2+. Producing, consuming, transacting, administrating, etc.
SPIRV-Cross is a practical tool and library for performing reflection on SPIR-V and disassembling SPIR-V back to high level languages.
The easiest, most secure way to use WireGuard and 2FA.
The squirrel parser: a fast linear-time PEG packrat parser capable of handling all forms of left recursion, with optimal error recovery
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Noir is a domain specific language for zero knowledge proofs
Lean 4 programming language and theorem prover
Tiny cross-platform webview library for C/C++. Uses WebKit (GTK/Cocoa) and Edge WebView2 (Windows).
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Rust implementation of protobuf with editions support, JSON serialization, and zero-copy views
Agent skill for color science expertise. Many references covering color spaces, accessibility (APCA, WCAG), palette generation, pigment mixing, and historical color theory. Works with Claude Code, …