Just Another Vampire Api 4 Rust
Low-level FFI bindings to the Vampire theorem prover (use the 'vampire' crate instead)
A Vampire Survivors-like roguelike shooter that runs in the terminal
A high-speed, local-first Terminal UI (TUI) for testing APIs.
data structures for relational code
GoogleTest matchers for serde_json::Value
Pure Rust library for simulating spin dynamics, spin current generation, and conversion phenomena in magnetic and topological materials
A library for asynchronous, non-blocking, UCI protocol–based communication between chess UIs and chess engines.
A Universal Chess Interface (UCI) protocol parser and serializer. Part of the Vampirc chess suite.
foras is a First-Order Reasoner which uses the principles of predicate logic to derive new facts, verify statements, and prove theorems from an existing knowledge base.
Track active coding time with Claude Code and nudge yourself to take breaks
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.