Shrys's starred repositories
rust-raspberrypi-OS-tutorials
:books: Learn to write an embedded OS in Rust :crab:
liquidhaskell
Liquid Types For Haskell
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
markdown-dungeon
This is an example that how to use Markdown creating a dungeon, please give a ⭐
theorem_proving_in_lean4
Theorem Proving in Lean 4
riscv-semantics
A formal semantics of the RISC-V ISA in Haskell
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
rubik-lean4
Lean 4 formalization of Rubik's cubes
LeanSearchClient
Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)