Poi: Pragmatic point-free theorem prover assistant in Rust
a pragmatic point-free theorem prover assistant. Contribute to advancedresearch/poi development by creating an account on GitHub. (more…)
Read more »New chapter on the series – Writing a SQLite clone from scratch in Rust
Alright! We are building a clone of SQLite, aka SQLRite, and last time all we did was a simple CLI application that will use for external commands and some accessory functions and also a simple REPL… Read more