Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
☆31Nov 27, 2023Updated 2 years ago
Alternatives and similar repositories for nadia
Users that are interested in nadia are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- F L i P : Logical Framework in Python☆37Oct 17, 2022Updated 3 years ago
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 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 9 months ago
- Code Marathon em Rails☆12Aug 20, 2025Updated 7 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Aplicação de delivery para pizzarias, feita em Angular!☆13Jan 9, 2021Updated 5 years ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- ☆50Nov 11, 2023Updated 2 years ago
- 👤 Gerador de perfil formado com dados da API do GitHub. Também disponível como PWA.☆16May 4, 2021Updated 4 years ago
- OpenPix/Woovi Java SDK☆10Jul 25, 2024Updated last year
- XReason - formal reasoning about explanations for ML models☆17May 16, 2025Updated 10 months ago
- declarative flag parsing for Go using struct tags☆12May 7, 2023Updated 2 years ago
- ⚙️ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.☆11Mar 21, 2025Updated last year
- A simple project to display clean and concise Covid-19 Statistics by country. ⚛️ React.js ⚛️ React Query 💅 Tailwind CSS 🔎 Google Analyt…☆17May 10, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- O projeto busca apresentar um conteúdo prático, objetivo e de fácil consulta sobre Automação e Internet das Coisas (IOT).☆23Mar 11, 2022Updated 4 years ago
- Notification system, that schedules alarms on redis and send to all consumers.☆13Jan 24, 2022Updated 4 years ago
- Deploying a Kubernetes cluster on EC2 Ubuntu 20.04☆16Jun 6, 2022Updated 3 years ago
- Rust snippets and tips☆17Oct 20, 2021Updated 4 years ago
- Resources for morphological analysis of Portuguese☆27Mar 18, 2026Updated last week
- the blog "Machine Logic"☆22Feb 26, 2026Updated last month
- Semestre 2023.1☆15Jul 10, 2023Updated 2 years ago
- A proof editor for first order logic☆25Apr 27, 2021Updated 4 years ago
- ☆13Updated this week
- 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.
- Manipulating semantic data within Python☆18Jan 14, 2025Updated last year
- ☆10Oct 26, 2022Updated 3 years ago
- Machine learning algorithms for many-body quantum systems. To cite this software publication: https://www.sciencedirect.com/science/artic…☆10Aug 17, 2019Updated 6 years ago
- A terminal tool for exploring postgres query plans.☆13Feb 27, 2026Updated last month
- Sanemacs.com + Sanemacs releases☆35Mar 20, 2025Updated last year
- a Golang library for implementing two phase commit transactions in PostgreSQL, ensuring atomicity and consistency across distributed syst…☆14Mar 26, 2023Updated 3 years ago
- Implementation of Belief Rule Base(BRB) Algorithm in Python.☆10May 25, 2017Updated 8 years ago
- A demo about being cautious with clj->js and js->clj☆14Mar 22, 2024Updated 2 years ago
- A raytracer, for fun☆27Sep 7, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.☆12Jun 20, 2024Updated last year
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 4 years ago
- A simple implementation of the Huffman Coding in C☆10Oct 8, 2016Updated 9 years ago
- 🦖 Chrome "No internet connection" Dinosaur game, build with Revery.☆20Jun 4, 2019Updated 6 years ago
- A service scheduler and load balancer.☆10Jul 10, 2024Updated last year
- Monorepo for All Things Microservices YouTube Series☆13Dec 27, 2022Updated 3 years ago
- Git Better Commit (gbc) is a simple CLI in Go for writing better commits.☆28Jul 30, 2023Updated 2 years ago