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
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated 11 months ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 3 years ago
- Code Marathon em Rails☆12Aug 20, 2025Updated 8 months ago
- A repository with intention to learn Golang☆26Jan 10, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- declarative flag parsing for Go using struct tags☆12May 7, 2023Updated 2 years ago
- Notification system, that schedules alarms on redis and send to all consumers.☆13Jan 24, 2022Updated 4 years ago
- Logics is a Python framework for mathematical logic☆27May 8, 2025Updated 11 months ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Resources for morphological analysis of Portuguese☆27Mar 18, 2026Updated last month
- the blog "Machine Logic"☆22Updated this week
- ☆43Apr 12, 2026Updated last week
- Semestre 2023.1☆15Jul 10, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A proof editor for first order logic☆25Apr 27, 2021Updated 4 years ago
- ☆13Apr 13, 2026Updated last week
- Rust implementation of the Ulrich Drepper's "What every programmer should know about memory"☆13Aug 24, 2023Updated 2 years ago
- Manipulating semantic data within Python☆19Jan 14, 2025Updated last year
- ☆11Oct 26, 2022Updated 3 years ago
- ong, is a Go http toolkit.☆15Jul 21, 2025Updated 8 months ago
- An implementation of strace in Rust, and a library interface☆22Jun 17, 2018Updated 7 years ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Feb 17, 2023Updated 3 years ago
- JSONSelect implementation in Go☆15Feb 15, 2016Updated 10 years 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.
- A raytracer, for fun☆27Sep 7, 2021Updated 4 years ago
- Repositório responsável pelo workshop para aprender os principais conceitos de desenvolvimento em .NET CORE & EF☆48Apr 5, 2021Updated 5 years ago
- 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
- A service scheduler and load balancer.☆10Jul 10, 2024Updated last year
- Twitter clone with relay/mongodb/typescript☆15Sep 26, 2022Updated 3 years ago
- Monorepo for All Things Microservices YouTube Series☆13Dec 27, 2022Updated 3 years ago
- Address Parser Go REST is a REST API that provides address parsing functionality using the libpostal library. Users can submit a request …☆18Apr 22, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆18Feb 16, 2026Updated 2 months ago
- ☆16Nov 1, 2023Updated 2 years ago
- System to GENerate A VERsion of a presentation (or whatever) in HTML☆12Jun 11, 2024Updated last year
- Translate LaTeX commands to Unicode via AutoKey.☆53Mar 1, 2026Updated last month
- ☆15Mar 11, 2025Updated last year
- A linguagem dos memes☆13Sep 21, 2022Updated 3 years ago
- ⚡ redis client made with care and acessibility-first 🚀☆20Nov 28, 2022Updated 3 years ago