geohot / twitchcoqLinks
It's a poorly named metamath verifier
☆108Updated 4 years ago
Alternatives and similar repositories for twitchcoq
Users that are interested in twitchcoq are comparing it to the libraries listed below
Sorting:
- A distributed decentralized chess tournament☆97Updated 2 years ago
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆54Updated 6 years ago
- compression = AI☆53Updated 2 years ago
- Tic Tac Toe in React because it is Simple Skills Sunday☆97Updated 2 years ago
- Writing Scheme in Haskell☆61Updated 4 years ago
- Computing digits of pi for the people☆69Updated 3 years ago
- ☆69Updated 4 years ago
- ☆62Updated 4 years ago
- Enabling tinygrad compatibility with the Google Edge TPU☆78Updated 9 months ago
- mergesort in many languages☆262Updated last year
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- The WIP book for CPSC 411☆64Updated last month
- A simple Ethereum mining pool☆93Updated 4 years ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- ☆69Updated 3 years ago
- tiny corporation website☆7Updated this week
- You like pytorch? You like micrograd? You love tinygrad! ❤️☆49Updated 4 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- like twitchslam, for chess☆362Updated last year
- Implementation of a Turing Machine that runs the Busy Beaver programs.☆20Updated 15 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- 🦠 AD in less than 20 lines☆54Updated 3 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated this week
- Maximally decentralized cryptocurrency☆20Updated 4 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆215Updated 6 years ago
- A distributed key value store in under 200 lines☆24Updated last year
- Code for the series "Searching for Riemann Hypothesis Counterexamples"☆21Updated last year
- Celular automaton-based calculus for the masses☆112Updated 5 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆159Updated 2 weeks ago