A proof editor for first order logic
☆25Apr 27, 2021Updated 5 years ago
Alternatives and similar repositories for Conan
Users that are interested in Conan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Design, play with, and analyze sequent calculus proof systems.☆16Sep 5, 2024Updated last year
- Handy utilities for better functional programming in Gleam!☆12Aug 27, 2025Updated 9 months ago
- Formalization of Linear Logic in Coq☆18Apr 9, 2026Updated 2 months ago
- ☆17Dec 7, 2024Updated last year
- Logics is a Python framework for mathematical logic☆27May 8, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Projeto colaborativo de tradução e adaptação do livro de lógica Forallx☆16May 16, 2024Updated 2 years ago
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- JavaScript support is built into the Gleam build tool, so this is no longer needed!☆27Mar 8, 2023Updated 3 years ago
- Pedagogical first-order prover in Python☆83Jun 10, 2025Updated last year
- Prism-based parsers and pretty printers☆17Jan 1, 2018Updated 8 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆20Jun 22, 2025Updated 11 months ago
- 🎲 A Pure Random Number Generator for Gleam☆30Feb 23, 2026Updated 3 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Jul 18, 2022Updated 3 years ago
- 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.
- A formally verified implementation of differential dynamic logic in Coq☆20May 16, 2022Updated 4 years ago
- ☆13Dec 2, 2021Updated 4 years ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 5 months ago
- Leprechaun Game wrote in Elixir☆12Nov 3, 2023Updated 2 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Oct 11, 2018Updated 7 years ago
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- Build Gleam with Nix.☆32Jan 26, 2026Updated 4 months ago
- Elixir for Everybody☆17Jun 14, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10Sep 7, 2022Updated 3 years ago
- Anil's OCaml Claude plugin collection☆32May 24, 2026Updated 3 weeks ago
- Opinionated Ink Physics☆12Jan 31, 2025Updated last year
- Graphic recordings of BEAM conferences. 🎨☆16May 31, 2024Updated 2 years ago
- Action to run tests, check coverage, and send a feedback message to the pull request.☆12May 11, 2026Updated last month
- 🇧🇷/🇺🇸 Palestras que já ministrei em eventos de tecnologia☆16Feb 1, 2022Updated 4 years ago
- Forward messages to collaborators in East-oriented style.☆14Oct 18, 2025Updated 7 months ago
- 🎞 Animate from one string to another.☆12Apr 30, 2022Updated 4 years ago
- A Gleam syntax highlighter in Gleam☆23Oct 14, 2025Updated 8 months 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.
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Feb 2, 2026Updated 4 months ago
- ☆13May 20, 2026Updated 3 weeks ago
- Ruby virtual DOM for HTML☆56Oct 12, 2018Updated 7 years ago
- Graphing Scrubbing Calculator☆11Nov 27, 2017Updated 8 years ago
- Livebook SmartCell for fetching Advent of Code puzzles and inputs, and to publish solutions☆16Dec 1, 2024Updated last year
- ☆11Apr 19, 2019Updated 7 years ago