☆17May 29, 2023Updated 2 years ago
Alternatives and similar repositories for logic23
Users that are interested in logic23 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆56Mar 8, 2026Updated last month
- ☆70Apr 8, 2026Updated last week
- ☆19Nov 5, 2023Updated 2 years ago
- ☆12May 30, 2024Updated last year
- ☆17Nov 10, 2025Updated 5 months ago
- 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.
- ☆10Nov 20, 2023Updated 2 years ago
- ☆22Jun 18, 2021Updated 4 years ago
- 📚 (WIP) Rewriting Software Foundations in Lean 4☆30Oct 24, 2025Updated 5 months ago
- 📝 A Rocq library written by members of PnV Discord Server☆18Apr 12, 2026Updated last week
- KAIST. CS492 Algorithms for NP-hard Problems. Spring 2024.☆24Jun 4, 2024Updated last year
- 📚 (WIP) Formal proofs of "An Infinitely Large Napkin"☆22Feb 18, 2026Updated 2 months ago
- ☆81Mar 2, 2026Updated last month
- KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!☆180Updated this week
- Learn one, get them all for free☆12Jan 28, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆14Feb 26, 2024Updated 2 years ago
- This is an auto-generated repository from the whole source code, without reference solution source codes.☆155Mar 30, 2026Updated 2 weeks ago
- bidirectional type checking algorithms for higher-ranked polymorphism☆44Mar 23, 2022Updated 4 years ago
- 컴퓨터 신기술 특강☆10Jun 23, 2023Updated 2 years ago
- 🍁 Compiler Compiler based on CSharp with GUI Program☆21Oct 21, 2022Updated 3 years ago
- A Coq library for parametric coinduction☆51Jan 30, 2025Updated last year
- ☆75Nov 21, 2024Updated last year
- CIRC: Concurrent Immediate Reference Counting☆55Nov 15, 2024Updated last year
- ☆17Jun 10, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 2 months ago
- ☆39Dec 7, 2021Updated 4 years ago
- ☆28Aug 14, 2023Updated 2 years ago
- Code used for experiments in https://arxiv.org/abs/2008.08601☆20Jun 1, 2021Updated 4 years ago
- Repository for Deep Learning Theory papers☆15Jan 24, 2024Updated 2 years ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆22Dec 3, 2023Updated 2 years ago
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)☆56Jan 23, 2025Updated last year
- ☆35Jun 21, 2020Updated 5 years ago
- ☆36Nov 7, 2025Updated 5 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Arbitrary width integers☆27Jul 26, 2025Updated 8 months ago
- Code release for RobOT (ICSE'21)☆15Dec 5, 2022Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆37Oct 5, 2023Updated 2 years ago
- ☆228Apr 18, 2025Updated last year
- ☆1,485Aug 8, 2025Updated 8 months ago
- ☆299Updated this week
- Access unicode character database☆18Sep 16, 2025Updated 7 months ago