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
Sorting:
- A minimal example of Abductive Learning☆18Dec 6, 2023Updated 2 years ago
- Implementation of Belief Rule Base(BRB) Algorithm in Python.☆10May 25, 2017Updated 8 years ago
- OpenPix/Woovi Java SDK☆10Jul 25, 2024Updated last year
- Notification system, that schedules alarms on redis and send to all consumers.☆13Jan 24, 2022Updated 4 years ago
- A service scheduler and load balancer.☆10Jul 10, 2024Updated last year
- Problem: can't reach consensus about the current state of Nostrocket and Subrockets☆12Jul 17, 2024Updated last year
- Fast Computation of Zigzag Persistence☆14Dec 9, 2023Updated 2 years ago
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- ☆13Updated this week
- Fear Driven Development☆12Dec 26, 2024Updated last year
- Rough Set Python Package is a Python library that provides a set of tools to calculate rough sets and obtain reduct rules.☆15Mar 30, 2024Updated last year
- a Golang library for implementing two phase commit transactions in PostgreSQL, ensuring atomicity and consistency across distributed syst…☆14Mar 26, 2023Updated 2 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 4 years ago
- What makes Paxos tick?☆11Apr 16, 2025Updated 10 months ago
- Landing page da He4rt Developers feita em remix.☆10Aug 1, 2023Updated 2 years ago
- Simple go object caching library with LRU and expiration capabilities☆14Feb 3, 2019Updated 7 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- A demo about being cautious with clj->js and js->clj☆14Mar 22, 2024Updated last year
- 🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends☆16Sep 12, 2023Updated 2 years ago
- Monorepo for All Things Microservices YouTube Series☆13Dec 27, 2022Updated 3 years ago
- Rust snippets and tips☆17Oct 20, 2021Updated 4 years ago
- Golang channels over TCP☆13Nov 12, 2022Updated 3 years ago
- A terminal tool for exploring postgres query plans.☆13Feb 27, 2026Updated last week
- Sanity client for Go.☆18Jul 5, 2025Updated 8 months ago
- A re-frame "effects handler" for performing async tasks via cljs-workers☆13Jan 28, 2023Updated 3 years ago
- Scalable implementation of Lee / Mykland (2012), Ait-Sahalia / Jacod (2012) and Ait-Sahalia / Jacod / Li (2012) Jump tests for noisy hig…☆14Jan 21, 2022Updated 4 years ago
- Tools for all things related to Combinatory Categorial Grammar☆19Jul 12, 2025Updated 7 months ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Manipulating semantic data within Python☆18Jan 14, 2025Updated last year
- ☆24Updated this week
- the blog "Machine Logic"☆22Feb 26, 2026Updated last week
- Custom implementation of Curl - Build Your Own curl☆16Mar 24, 2024Updated last year
- ☆15Mar 11, 2025Updated 11 months ago
- Makes a Lightning invoice☆13Oct 20, 2023Updated 2 years ago
- A simple TCP server that supports simple redis commands like PING, ECHO, GET, SET☆12Sep 17, 2023Updated 2 years ago
- ☆17Dec 4, 2023Updated 2 years ago
- The official Go SDK for Convoy (getconvoy.io)☆15Oct 6, 2025Updated 5 months ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 3 years ago
- Complete backend of COL ChecklistBank☆17Updated this week