LOGICAFFEINE
Compile English to Rust
What it does
Turn everyday English into rigorous First-Order Logic. Verify arguments, surface hidden assumptions, and build rule systems that actually hold up.
Does the same job
all alternatives →
- ASA simple Prolog Interpreter written in a few lines of Python 32019 · github.com · ▲149
- WMWe made our own inference engine for Apple Silicon2025 · github.com · ▲186
We wrote our inference engine on Rust, it is faster than llama cpp in all of the use cases. Your feedback is very welcomed. Written from scratch with idea that you can add support of any kernel and platform.
- AIAutomatically interpret and validate nested natural logic arguments2017 · github.com · ▲53
- VAval – An arbitrary precision calculator language2025 · github.com · ▲34
Wrote this to learn more about the `chumsky` parser combinator library, rustyline, and the `ariadne` error reporting crate. Such a nice DX combo for writing new languages. Still a work in progress, but I thought I'd share :)
- LALingo – A linguistic database in Rust with nanosecond-level performanceSep 2025 · ▲42
Hi HN, I made Lingo - the SQLite of semantic search. I'm a self-taught developer and researcher who left school at 16, and I've spent some time exploring a first-principles approach to system design for various frontier problems. In this case it's AI that challenges the 'bigger is better' transformer paradigm. Lingo is the first piece of that research, a high-performance linguistic database designed to run on-device. The full technical overview and manifesto is here: https://medium.com/@robm.antunes/bcd1e9752af6 The paper has been archived on Zenodo with a DOI:…
More dev tools this month
the category →
The first open-source price index for GPU compute
Dev tools · 10d ago · getcomputable.com
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 2d ago · opentrailpaper.com
Open-source GTM skills for technical founders
Dev tools · 29d ago · gtmcofounder.com
Launched alongside, March 2026
the whole month →
Switch from ChatGPT to Claude with import memory feature
AI · Mar 2026 · claude.com
