geohot / twitchcoqLinks
It's a poorly named metamath verifier
☆110Updated 5 years ago
Alternatives and similar repositories for twitchcoq
Users that are interested in twitchcoq are comparing it to the libraries listed below
Sorting:
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆54Updated 6 years ago
- A distributed decentralized chess tournament☆97Updated 2 years ago
- compression = AI☆54Updated 3 years ago
- mergesort in many languages☆263Updated last year
- Tic Tac Toe in React because it is Simple Skills Sunday☆97Updated 2 years ago
- Writing Scheme in Haskell☆60Updated 5 years ago
- ☆62Updated 5 years ago
- Terminal like Geohot aka George Hotz. UPDATED VERSION LIKE IN STREAM☆128Updated 4 years ago
- Short essays I've written☆78Updated last year
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*☆103Updated 3 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆336Updated 5 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- My personal repository of formally verified mathematics.☆306Updated last month
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆217Updated 5 years ago
- Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.☆166Updated last year
- The comma.ai Speed Prediction Challenge!☆782Updated last month
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated 2 years ago
- Tools for a compilers course☆126Updated 2 months ago
- Let's Build a Compiler (in Haskell)☆169Updated 5 years ago
- Program a bot using assembly-like code in this competitive game!☆59Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A Pascal to LLVM compiler in Haskell☆124Updated 5 years ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- How fast can we brute force a 64-bit comparison?☆54Updated 5 years ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆165Updated last year
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 3 months ago
- Lean Library currently studying for a degree at Imperial College☆228Updated 7 months ago