Collection of Useful Features of the Coq Proof Assistant
☆10Mar 27, 2024Updated 2 years ago
Alternatives and similar repositories for coq-tricks
Users that are interested in coq-tricks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean lens implementation with custom notation.☆21Jun 8, 2025Updated last year
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆12Oct 30, 2017Updated 8 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Coq library for tactics, basic definitions, sets, maps☆56Oct 20, 2026Updated last week
- A verified(?) TCP client/server chat application☆23Sep 29, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Common text transformers for neovim - switch between camelCase, PascalCase, snake_case, and more!☆15Jul 10, 2024Updated 2 years ago
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- Proving crash safety for systems with layered recovery☆16Apr 1, 2026Updated 6 months ago
- ☆12Aug 5, 2016Updated 10 years ago
- This tool allows you to recover apps data from a TWRP-compatible backup☆20Jul 31, 2021Updated 5 years ago
- A sample application for getting started quickly☆13Oct 9, 2026Updated 2 weeks ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆12Apr 28, 2026Updated 6 months ago
- Dependent Lens FRP and concurrent model in Agda☆12Sep 19, 2026Updated last month
- xhyve, a lightweight OS X virtualization solution☆12May 14, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆13Apr 13, 2026Updated 6 months ago
- Annotate PDFs with Stylus Labs Write☆16Mar 21, 2024Updated 2 years ago
- 100% MFU or bust.☆11Jan 12, 2026Updated 9 months ago
- ☆15Apr 9, 2026Updated 6 months ago
- Nintendo Entertainment System (NES) demo rom☆12Dec 31, 2014Updated 11 years ago
- ☆12Jun 7, 2024Updated 2 years ago
- Planning at the speed of thought☆13Mar 15, 2018Updated 8 years ago
- Scala 3 Decompiler☆11May 17, 2021Updated 5 years ago
- 💅 A component library based on ShadCN and Tailwind CSS. Built with Basecoat CSS.☆17Oct 13, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Formalization of DBSP☆41Aug 22, 2023Updated 3 years ago
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆135Oct 2, 2026Updated 3 weeks ago
- PostgreSQL SQL syntax utilities☆16Aug 25, 2026Updated 2 months ago
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- Dual monitor support feature for the impressive (former keyJnote) presentation software☆27Oct 30, 2014Updated 11 years ago
- MacLISPのコードをCLで動かす☆16May 8, 2014Updated 12 years ago
- Haskell charting library☆10Aug 21, 2021Updated 5 years ago
- ☆14Updated this week
- Flatpak builds for Signal, from source☆20Oct 18, 2026Updated last week
- 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.
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆18Oct 28, 2025Updated 11 months ago
- CL21's spin-off project that provides neat APIs for regular expressions.☆16Nov 19, 2016Updated 9 years ago
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 4 years ago
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- A source code generator for Kotlin data classes to automatically create a Builder class.☆16Oct 15, 2018Updated 8 years ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 6 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆26Oct 20, 2022Updated 4 years ago