Filter
Sort
Deterministic memory and logic reasoning for AI agents.
Updated 2026年04月17日 01:51:31 +02:00
Schnorr signature implementation generic over the underlying group.
Updated 2026年02月28日 22:26:57 +01:00
Schnorr signatures using Orchard payment addresses
Updated 2026年02月15日 01:38:41 +01:00
An experiment in using a Prolog engine as a backend for Gnark
Updated 2026年01月30日 20:07:09 +01:00
Poorly vibe coded web extension that serves as a UI to https://github.com/sug0/passgone
Updated 2025年12月20日 12:22:53 +01:00
Generate subtitles from KMZ GPS data.
Updated 2025年11月28日 10:07:26 +01:00
Updated 2025年10月17日 23:05:29 +02:00
Updated 2025年10月14日 00:26:04 +02:00
Concurrent, non-blocking lazy initialization of values.
Updated 2025年05月02日 15:36:43 +02:00
A simple http server framework to learn some basic concepts of the Gleam programming language.
Updated 2025年04月19日 23:19:14 +02:00
Rust pointer type that allows packing additional data along with the underlying memory offset.
Updated 2025年04月11日 16:44:49 +02:00
Simple wifi indicator tray icon for Linux.
Updated 2025年02月26日 22:26:25 +01:00
Go as an async runtime for Rust.
Updated 2025年02月09日 00:18:00 +01:00
State machines driven by continuation passing style
Updated 2024年12月22日 13:44:26 +01:00
Debugging utility targeting UNIX-like systems with dynamic system linkers.
Updated 2024年09月05日 16:44:45 +02:00