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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tic Tac Toe in React because it is Simple Skills Sunday☆97Apr 8, 2023Updated 3 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
- Open-source simulator for autonomous driving research.☆20Feb 3, 2020Updated 6 years ago
- compression = AI☆56Sep 21, 2022Updated 3 years ago
- Fixes to pyobd for modern hardware interfaces☆11Oct 3, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆22Nov 27, 2013Updated 12 years ago
- It's a core. Made on Twitch.☆265Nov 1, 2021Updated 4 years ago
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆54Apr 22, 2019Updated 6 years ago
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- iPhone Tools of the lowest quality☆27Dec 21, 2013Updated 12 years ago
- Optimal Solver for the Rubik's Cube☆14May 2, 2021Updated 4 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆28Dec 24, 2021Updated 4 years ago
- Reverse engineering SARS-CoV-2☆2,498Mar 24, 2024Updated 2 years ago
- It's Christmas time, you know what it is☆11Apr 5, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- There is so much swag in the world, just some of it is hidden -- Gandalf☆17Sep 30, 2015Updated 10 years ago
- QEMU Interactive Runtime Analyser☆4,062Jul 2, 2022Updated 3 years ago
- Writing Scheme in Haskell☆60Aug 13, 2020Updated 5 years ago
- A distributed decentralized chess tournament☆96May 22, 2023Updated 2 years ago
- A modern Prolog implementation written mostly in Rust.☆12Mar 16, 2026Updated 3 weeks ago
- 10k crowdsourced images for training segnets☆689Feb 20, 2026Updated last month
- RopstenCtf is an easy tool to interact with the ethereum ropsten network for ctf purpose and more.☆16Jul 18, 2022Updated 3 years ago
- Autogenerated SVG illustrations inspired by Carlos Cruz-Diez' Physichromies.☆16Sep 5, 2016Updated 9 years ago
- A toy implementation of monocular SLAM written while livestreaming☆997May 16, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- The comma.ai Speed Prediction Challenge!☆783Aug 29, 2025Updated 7 months ago
- Like some files bro☆433Dec 2, 2025Updated 4 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Oct 31, 2021Updated 4 years ago
- Recon scripts for Red Team and Web blackbox auditing☆25Mar 3, 2026Updated last month
- An attempt to create a fully autonomous S&D mission with a pack of transforming quadruped robots.☆10Apr 4, 2017Updated 9 years ago
- Even better than eda-reversing...I hope☆64Feb 14, 2010Updated 16 years ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆23Nov 29, 2025Updated 4 months ago
- ☆70Jan 2, 2021Updated 5 years ago
- Symbolic Execution over Falcon IL☆30Mar 13, 2026Updated 3 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- low-cost tracing and logging for C++☆10Dec 15, 2019Updated 6 years ago
- An implementation of /dev/kvm for Mac OS X☆111May 1, 2015Updated 10 years ago
- An attempt at writing a Lattice Boltzmann CFD simulator in Rust☆10Apr 29, 2019Updated 6 years ago
- ☆10Nov 24, 2018Updated 7 years ago
- An unfinished implementation of ESKF based stereo VIO algorithm☆11Jan 6, 2018Updated 8 years ago
- Leiningen plugin to ruin your project.☆17Mar 1, 2016Updated 10 years ago
- my workstation configuration☆14Mar 19, 2026Updated 3 weeks ago