∴
active
nibli
A zero-hallucination symbolic reasoning engine — a hallucination firewall for the LLM era. nibli KR in — a human-readable predicate-call language — first-order logic out; every answer derived, never guessed, with a proof trace on every conclusion.
Architected & built · open-source
RustWASMSymbolic ReasoningLogic
⌁
active
botwork
A single-binary Rust automation framework for acceptance testing and RPA — plain-text human-readable syntax, extensible via Rust, Python, and JavaScript.
Architected & built · open-source
RustRPATesting
⇌
active
fanva
An agentic English→Lojban translator that produces *verified* Lojban: an LLM drafts a translation, three real Lojban compilers reject anything invalid, and the exact compiler error is fed back to the model until the output passes every gate. Runs entirely in your browser — bring your own LLM key, no server, and the grammar/semantics gates run on-device with zero network.
Architected & built · open-source
RustWASMDioxusLojbanLLM
ʋ
active
voksa
A pure-Rust, rule-based Lojban speech synthesizer that runs entirely in the browser — Lojban text in, natural speech out, no server and no network after load. Ships a tuning console for crowdsourcing the voice; every config replays bit-identically on the native CLI.
Architected & built · open-source
RustWASMDioxusSpeech SynthesisAudio (Klatt)
↻
active
dhilipsiva.dev
This website — a Zola static site that ships its own AI: two LoRA fine-tuned twins and the real nibli engine, all running in your tab via Rust→WASM. The site is its own demo, and the source is open — training pipeline included.
Architected & built · open-source
RustWASMZolaLoRA
☑
webapp-checklist
The technical details a programmer should consider before making a web app public — security, performance, operations. My most-starred repository.
Authored & maintained · open-source
DocsChecklistFOSS
∞
curated
awesome-programmer
A collection of resources to learn from and become a self-taught awesome programmer — the path I actually took, written down for the next dropout.
Authored & maintained · open-source
LearningFOSS
⊘
hostscli
A Python CLI to block and unblock websites straight from /etc/hosts — ad lists, trackers, malware domains, or just the feeds at 2am. Simple and easily extendable.
Built · open-source
PythonCLI
≡
curated
awesome-rust-ml
A curated map of the Rust machine-learning ecosystem — frameworks, kernels, and LLM runtimes. Curation is also building: someone has to keep the index honest.
Curated & maintained · open-source
RustMachine LearningFOSS