Solutions to the Incredible Proof Machine https://incredible.pm/
☆10Oct 3, 2026Updated 3 weeks ago
Alternatives and similar repositories for incredible-solution
Users that are interested in incredible-solution are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository for slides and lecture notes for the webengineering lecture @ DHBW Karlsruhe☆11Sep 21, 2026Updated last month
- A Lean formalization of the theory of oracle computability and Turing degrees via partial recursive functions☆15May 28, 2026Updated 5 months ago
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- HTML5/JS port of Impasse - awesome game originally made by Wanderlands☆13May 10, 2022Updated 4 years ago
- 3500个常用汉字转火星文字典集，火星文来源为互联网在线网址匹配常用字结果的主观筛选（之前拿来想做应用的）☆10Dec 22, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Kafka adapter for SAP Cloud Application Programming Model☆11Jan 16, 2025Updated last year
- Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"☆31Updated this week
- Experiments on implementing Dependent Pattern Matching under Normalization by Evaluation setup.☆15Oct 3, 2026Updated 3 weeks ago
- Random puzzle generator for The Witness☆10Jun 25, 2022Updated 4 years ago
- Utility Kit (for C++), stuff missing from std:: namespace☆11Oct 15, 2026Updated 2 weeks ago
- Reverse and animate svg paths with a single click.☆12Updated this week
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- experimental LeanOS formally verified OS☆17Oct 19, 2026Updated last week
- let a million languages bloom☆25Apr 20, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆12Feb 19, 2026Updated 8 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Lists of publicly available datasets for machine learning☆16Mar 23, 2024Updated 2 years ago
- ☆14Aug 11, 2018Updated 8 years ago
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆18Oct 28, 2025Updated last year
- Total lexer and parser for Idris2☆19Sep 22, 2025Updated last year
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆29Oct 22, 2026Updated last week
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 8 years ago
- std::fixed_string☆12Sep 14, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Sample SAP Fiori application based on SAP Cloud Application Programming Model used in the associated SAP tutorial for developers.☆16Jul 16, 2026Updated 3 months ago
- A flexible and extensible form package in Elm that uses the platform.☆11Jul 8, 2024Updated 2 years ago
- Note manager for typst notes☆26Aug 4, 2026Updated 2 months ago
- A .tex file to use in the math discord☆16Dec 10, 2025Updated 10 months ago
- A simple Neovim and Vim plugin for autosaving as you type☆16Aug 5, 2025Updated last year
- Lean implementations of things found in Certified Programming with Dependent Types☆15Jun 5, 2022Updated 4 years ago
- A large corpus of Chinese fixed phrases and idioms scraped from a reputable educational website (30310 instances). 一个大型的中文成语及俗语语料库，内含3031…☆16Oct 29, 2021Updated 5 years ago
- Talks I've given at various conferences☆20Mar 2, 2018Updated 8 years ago
- My list of followership scammers on GitHub.☆17Jul 29, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A Lean 4 library for formal linguistics.☆30Updated this week
- A toy ELF parser/validator☆18Dec 18, 2024Updated last year
- An illustration of good taste in code☆15Aug 2, 2024Updated 2 years ago
- Directed type theory for formal category theory☆19Apr 7, 2017Updated 9 years ago
- Tool to decrypt the mysteries of the Elite Dangerous universe☆15Aug 21, 2026Updated 2 months ago
- ❗️Who is not following you back on GitHub? ❓❓❓☆13Jun 14, 2023Updated 3 years ago
- 快来生成你的浏览记录年度总结!☆18Dec 12, 2024Updated last year