geohot / twitchcoqLinks
It's a poorly named metamath verifier
☆109Updated 5 years ago
Alternatives and similar repositories for twitchcoq
Users that are interested in twitchcoq are comparing it to the libraries listed below
Sorting:
- compression = AI☆53Updated 2 years ago
- A distributed decentralized chess tournament☆97Updated 2 years ago
- Writing Scheme in Haskell☆60Updated 4 years ago
- ☆69Updated 4 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- ☆62Updated 4 years ago
- Resources for the working programmer to learn more about the fundamentals and theory of programming languages.☆334Updated 5 years ago
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- mergesort in many languages☆261Updated last year
- Computing digits of pi for the people☆69Updated 3 years ago
- Short essays I've written☆78Updated last year
- My personal repository of formally verified mathematics.☆303Updated this week
- Obsidian language development☆80Updated last year
- A simple Ethereum mining pool☆92Updated 4 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆408Updated 2 years ago
- The WIP book for CPSC 411☆65Updated last month
- The Principia Rewrite☆224Updated 6 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated 2 weeks ago
- Solutions, discussions, and approaches to the exercises☆144Updated 6 years ago
- metamath proof enumerators and other things☆94Updated last year
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆160Updated last year
- Tools for a compilers course☆125Updated 2 weeks ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆31Updated 5 years ago
- Study of language design and implementation.☆67Updated 4 years ago
- Maximally decentralized cryptocurrency☆20Updated 4 years ago
- ☆69Updated 3 years ago
- Moonad: a Peer-to-Peer Operating System☆101Updated 5 years ago
- Jupyter notebooks for tutorial on the Z3 SMT solver☆163Updated last year
- Domain-Specific Languages of Mathematics☆441Updated 4 months ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago