Makes rustc's exhaustiveness checker solve SAT problems
☆16Jul 8, 2021Updated 5 years ago
Alternatives and similar repositories for rustc-sat
Users that are interested in rustc-sat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- JHipster module, this module integrate the payment plateform STRIPE to a Jhipster project. (It includes a web payment page and a JHipster…☆12Dec 8, 2022Updated 3 years ago
- A program logic for concurrent randomized programs☆17Nov 9, 2018Updated 7 years ago
- A package providing radar charts for mathematica.☆17Jun 17, 2016Updated 10 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Nov 25, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- GolfScript interpreter in Rust☆11Jul 7, 2024Updated 2 years ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆38Mar 29, 2026Updated 7 months ago
- Derive a simple control panel interface for your data using eframe::egui☆10Jun 26, 2023Updated 3 years ago
- Yet another simple Go filesystem wrapper☆12Feb 19, 2018Updated 8 years ago
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 3 years ago
- This is a sample application created with JHipster, using DTOs☆20Sep 18, 2026Updated last month
- A LISP-like functional programming language suitable for code golf☆13Jan 29, 2018Updated 8 years ago
- Do select-group-by on csv and other text files☆14Apr 23, 2022Updated 4 years ago
- Wraps the ffpmeg cli, using `-progress` to report progress☆12Mar 29, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 9 years ago
- backup of the joy programming language☆10Feb 19, 2016Updated 10 years ago
- RPwnG is back!☆11Jul 28, 2018Updated 8 years ago
- A Rust library for constructing tilings of regular polygons☆32Jul 2, 2021Updated 5 years ago
- LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths☆27Oct 11, 2026Updated 2 weeks ago
- Explicit Sharing of Monadic Effects☆13Jun 30, 2011Updated 15 years ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆15Jun 2, 2025Updated last year
- Nintendo 3DS exploit for CTRSDK CTPK.☆11Jan 9, 2017Updated 9 years 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.
- ☆13Sep 15, 2022Updated 4 years ago
- A language for matching two-dimensional patterns, based on Boolean grammars.☆13Feb 4, 2018Updated 8 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 3 years ago
- Arduino library for precise person localization using DWM3000 and ESP32.☆13Feb 18, 2023Updated 3 years ago
- MiniSat 2.0 for Empscripten☆10Aug 19, 2014Updated 12 years ago
- Nintendo 3DS: Linux <-> ARM9☆15Nov 7, 2020Updated 5 years ago
- A simple Hacker News API (v0) client library based on reqwest and serde.☆15Feb 20, 2023Updated 3 years ago
- Solve hard constraints easily with Rust.☆15Jul 17, 2022Updated 4 years ago
- A guide to LuaLaTeX☆11Jun 13, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A ppx rewriter that generates hash functions from type expressions and definitions☆16Jul 10, 2026Updated 3 months ago
- A homebrew SNES ROM capable of decompressing DEFLATE-compressed files.☆11Sep 6, 2018Updated 8 years ago
- Various tools for EBNF grammars☆12Feb 6, 2023Updated 3 years ago
- A toy array language inspired by J, K, and APL.☆11Oct 8, 2026Updated 3 weeks ago
- All my code golf answers from Stack Exchange and other sites(TopAnswers, Reddit, etc.)☆12Mar 7, 2024Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- Provides a frame iterator for videos by using ffmpeg. Decodes images using the image crate.☆12Mar 31, 2021Updated 5 years ago