Lists (1)
Stars
Simple library to listen and send events to keyboard and mouse (MacOS, Windows, Linux)
💻 Build terminal styled websites in minutes!
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A beautiful, simple, clean, and responsive Jekyll theme for academics
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)