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:
- Tic Tac Toe in React because it is Simple Skills Sunday☆97Apr 8, 2023Updated 2 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,401May 15, 2025Updated 9 months ago
- A utility to manage HTTP requests from APL☆12Feb 11, 2026Updated 3 weeks 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 5 months ago
- Code and data from measurement of Lead (Pb) crystal leaching lead into beverages☆15Jul 6, 2023Updated 2 years ago
- Pipe-optimized with-pattern-functions for making Nix-flakes' output easier to use.☆13Sep 28, 2023Updated 2 years ago
- ☆22Nov 27, 2013Updated 12 years ago
- Dye cell files for a DIY dye laser☆16May 21, 2023Updated 2 years ago
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- compression = AI☆56Sep 21, 2022Updated 3 years ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆22Nov 29, 2025Updated 3 months ago
- ☆17Jun 4, 2021Updated 4 years ago
- A distributed decentralized chess tournament☆96May 22, 2023Updated 2 years ago
- A toy implementation of monocular SLAM written while livestreaming☆996May 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
- Código do artigo "Criando efeito de fadeIn e fadeOut com javascript puro" que publiquei no tableless☆22Jan 24, 2014Updated 12 years ago
- A Lisp->C compiler, using the dynamic linking loader☆30Apr 28, 2011Updated 14 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
- An elegant implementation of discrete diffgeo in haskell☆34Jan 12, 2020Updated 6 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
- 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
- ☆12Feb 22, 2023Updated 3 years ago
- Official Tour of Go in pt-BR☆30Apr 16, 2025Updated 10 months ago
- Access Chez Scheme documentation from the REPL☆30May 13, 2025Updated 9 months ago
- comma.ai LED controller cause the car needs some lights bro. SWAG!☆27Dec 16, 2015Updated 10 years ago
- An extensible component for detecting cosmetic contact lenses in iris imagery.☆10Jun 25, 2025Updated 8 months ago
- ☆12Sep 2, 2024Updated last year
- [TPAMI 2022] Disentangling Light Fields for Super-Resolution and Disparity Estimation☆13Apr 2, 2024Updated last year
- Context Hub Runtime Environment (CHRE)☆10Oct 17, 2023Updated 2 years ago
- Simple Socket Protocol for Embedded Systems☆12Dec 12, 2025Updated 2 months ago