A proof editor for first order logic
☆25Apr 27, 2021Updated 4 years ago
Alternatives and similar repositories for Conan
Users that are interested in Conan are comparing it to the libraries listed below
Sorting:
- Design, play with, and analyze sequent calculus proof systems.☆14Sep 5, 2024Updated last year
- The aim is to provide a hassle-free way to use the data to build applications to show close-to-realtime power-outage info in Mauritius☆18Updated this week
- Logics is a Python framework for mathematical logic☆27May 8, 2025Updated 9 months ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated last month
- Pedagogical first-order prover in Python☆81Jun 10, 2025Updated 8 months ago
- A renderer for sheet diagrams in bimonoidal categories☆13Aug 28, 2021Updated 4 years ago
- Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.☆13May 8, 2024Updated last year
- Testing Github actions with Pandoc☆10Dec 1, 2023Updated 2 years ago
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Opinionated Ink Physics☆12Jan 31, 2025Updated last year
- Handy utilities for better functional programming in Gleam!☆12Aug 27, 2025Updated 6 months ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- Forward messages to collaborators in East-oriented style.☆14Oct 18, 2025Updated 4 months ago
- A set of scripts to do nightly testing on Pantheon of the latest WordPress commits☆11Mar 8, 2022Updated 3 years ago
- Type safe SQL query combinator in haskell☆10Jun 20, 2020Updated 5 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- A diffusion (or ripping off) effect with JavaScript☆10May 14, 2019Updated 6 years ago
- Python Matcha Dating Website☆10Jan 19, 2026Updated last month
- Progression of fuel prices in Mauritius (2002 - Present)☆12Apr 28, 2024Updated last year
- Site da Guilda feito com Elixir e Phoenix LiveView.☆10Feb 23, 2023Updated 3 years ago
- ☆11Apr 19, 2019Updated 6 years ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 5 years ago
- Consolidate was a proof of concept cross-platform self-improvement application designed to help improve your productivity through organis…☆10May 17, 2020Updated 5 years ago
- We have a dataset which contains various features of the car based on which we predict the Carbon dioxide emission.☆15Oct 3, 2018Updated 7 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- A realtime multicellular organism evolution simulator with Verlet integration☆12May 30, 2021Updated 4 years ago
- Formalization of Mathematics using Type Theory of Agda Programming Language☆11Jan 3, 2018Updated 8 years ago
- Platform-aware programming in Julia☆13Nov 29, 2024Updated last year
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- Blog created in Flask, hand coded from scratch☆10Jan 17, 2025Updated last year
- ☆10May 23, 2021Updated 4 years ago
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- With layoutline.js find out what kind of keyboard layout your user has just by swiping the keyboard characters in lines.☆15Aug 6, 2018Updated 7 years ago
- Real Time For the Masses (RTFM), a framework for building concurrent applications, for MSP430 MCUs☆11Jul 29, 2017Updated 8 years ago
- Graphing Scrubbing Calculator☆11Nov 27, 2017Updated 8 years ago
- Interactive, web-based visual math assistant☆12Feb 17, 2026Updated 2 weeks ago
- 👨🏻💻 A Hands-on Approach to Hacking Coding Interviews☆10Jun 16, 2025Updated 8 months ago