geohot / twitchcoqView external linksLinks
It's a poorly named metamath verifier
☆110Aug 1, 2020Updated 5 years ago
Alternatives and similar repositories for twitchcoq
Users that are interested in twitchcoq are comparing it to the libraries listed below
Sorting:
- Tic Tac Toe in React because it is Simple Skills Sunday☆97Apr 8, 2023Updated 2 years ago
- ORBSLAM2 running on Mac OS X cause I was on a plane and bored and maybe useful for someone?☆19Jan 14, 2018Updated 8 years ago
- Improving Semantic Segmentation via Video Propagation and Label Relaxation☆17Mar 16, 2020Updated 5 years ago
- Open-source simulator for autonomous driving research.☆21Feb 3, 2020Updated 6 years ago
- Some ipython notebooks implementing AI algorithms☆1,399May 15, 2025Updated 9 months ago
- Fixes to pyobd for modern hardware interfaces☆11Oct 3, 2015Updated 10 years ago
- A utility to manage HTTP requests from APL☆12Updated this week
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- global-replace-console-log☆10Feb 9, 2018Updated 8 years ago
- Dye cell files for a DIY dye laser☆15May 21, 2023Updated 2 years ago
- Use awk to provide cut like syntax for field extraction☆17Jul 8, 2021Updated 4 years ago
- Tool to create Tock Application Bundles from ELF files.☆18Aug 12, 2025Updated 6 months ago
- LAPACK source of choice☆14Oct 6, 2025Updated 4 months ago
- ☆22Nov 27, 2013Updated 12 years ago
- Code and data from measurement of Lead (Pb) crystal leaching lead into beverages☆15Jul 6, 2023Updated 2 years ago
- It's a core. Made on Twitch.☆266Nov 1, 2021Updated 4 years ago
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆53Apr 22, 2019Updated 6 years ago
- Like some files bro☆430Dec 2, 2025Updated 2 months ago
- ever wonder how to raytrace? me too. i love america☆27Jul 4, 2016Updated 9 years ago
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- Reverse engineering SARS-CoV-2☆2,498Mar 24, 2024Updated last year
- compression = AI☆56Sep 21, 2022Updated 3 years ago
- It's Christmas time, you know what it is☆11Apr 5, 2015Updated 10 years ago
- A distributed decentralized chess tournament☆96May 22, 2023Updated 2 years ago
- 10k crowdsourced images for training segnets☆687Jul 22, 2024Updated last year
- Simple, elegant, profunctorial, applicative validation for product types!☆19Aug 25, 2021Updated 4 years ago
- Custom search engines for Google Chrome☆19Mar 27, 2018Updated 7 years ago
- ☆18May 29, 2021Updated 4 years ago
- The comma.ai Speed Prediction Challenge!☆786Aug 29, 2025Updated 5 months ago
- Terminal like Geohot aka George Hotz. UPDATED VERSION LIKE IN STREAM☆128Dec 4, 2020Updated 5 years ago
- thud - the bouncer that doesn't☆23Jun 30, 2012Updated 13 years ago
- ☆12Updated this week
- Compiler for BitML☆27Mar 10, 2022Updated 3 years ago
- Behringer X-Touch for FL Studio Script (based on FL Studio MCU implementation)☆13Apr 19, 2024Updated last year
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆28Dec 24, 2021Updated 4 years ago
- pytasks is a modular and customizable microservice for running computational tasks on workers and viewing its results through a REST API.☆10Jun 21, 2025Updated 7 months ago
- ☆12Feb 22, 2023Updated 2 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42May 7, 2025Updated 9 months ago
- An attempt at an open source toolchain for the Hexagon DSP☆38Apr 22, 2018Updated 7 years ago