It's a poorly named metamath verifier
☆109Aug 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:
- 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
- eda-3 from many years ago☆14Sep 5, 2014Updated 11 years ago
- Improving Semantic Segmentation via Video Propagation and Label Relaxation☆17Mar 16, 2020Updated 5 years ago
- Fixes to pyobd for modern hardware interfaces☆11Oct 3, 2015Updated 10 years ago
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- A utility to manage HTTP requests from APL☆12Feb 11, 2026Updated 3 weeks ago
- global-replace-console-log☆10Feb 9, 2018Updated 8 years ago
- LAPACK source of choice☆14Oct 6, 2025Updated 5 months ago
- ☆22Nov 27, 2013Updated 12 years ago
- It's a core. Made on Twitch.☆265Nov 1, 2021Updated 4 years ago
- Like some files bro☆429Dec 2, 2025Updated 3 months ago
- Competitive Programming Contests Automation Package for text editor Atom.☆10Oct 5, 2022Updated 3 years ago
- Reverse engineering SARS-CoV-2☆2,497Mar 24, 2024Updated last year
- compression = AI☆56Sep 21, 2022Updated 3 years ago
- Writing Scheme in Haskell☆59Aug 13, 2020Updated 5 years ago
- A toy implementation of monocular SLAM written while livestreaming☆997May 16, 2022Updated 3 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Aug 25, 2021Updated 4 years ago
- ☆34Oct 19, 2018Updated 7 years ago
- There is so much swag in the world, just some of it is hidden -- Gandalf☆17Sep 30, 2015Updated 10 years ago
- Even better than eda-reversing...I hope☆62Feb 14, 2010Updated 16 years ago
- Pure rust implementation of the rot26 algorithm☆33Apr 21, 2018Updated 7 years ago
- Contains files required to run f1_10 autonomously☆21May 8, 2018Updated 7 years ago
- ☆25Jan 19, 2023Updated 3 years ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆55Mar 26, 2020Updated 5 years ago
- thud - the bouncer that doesn't☆23Jun 30, 2012Updated 13 years ago
- ☆45Dec 6, 2022Updated 3 years ago
- Compiler for BitML☆27Mar 10, 2022Updated 4 years ago
- ☆12Updated this week
- Nim binding for the Z3 theorem prover☆26Dec 25, 2023Updated 2 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆28Dec 24, 2021Updated 4 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- Boilerplate project for MOTW Workshop 2015☆10Mar 3, 2016Updated 10 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 8 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42May 7, 2025Updated 10 months ago
- Access Chez Scheme documentation from the REPL☆30May 13, 2025Updated 9 months ago
- From the Transistor to the Web Browser, a rough outline for a 12 week course☆6,450Oct 12, 2021Updated 4 years ago
- Sample app in .Net demonstrating QBO concepts like invoicing, billing, inventory management☆10Feb 23, 2023Updated 3 years ago
- ☆14Nov 11, 2014Updated 11 years ago
- comma.ai LED controller cause the car needs some lights bro. SWAG!☆27Dec 16, 2015Updated 10 years ago