daviromero / nadiaView external linksLinks
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
- ☆10Oct 26, 2022Updated 3 years ago
- Rust implementation of the Ulrich Drepper's "What every programmer should know about memory"☆13Aug 24, 2023Updated 2 years ago
- OpenPix/Woovi Java SDK☆10Jul 25, 2024Updated last year
- declarative flag parsing for Go using struct tags☆12May 7, 2023Updated 2 years ago
- Fast Computation of Zigzag Persistence☆14Dec 9, 2023Updated 2 years ago
- Notification system, that schedules alarms on redis and send to all consumers.☆13Jan 24, 2022Updated 4 years ago
- Fear Driven Development☆12Dec 26, 2024Updated last year
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- ⚙️ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.☆11Mar 21, 2025Updated 10 months ago
- A service scheduler and load balancer.☆10Jul 10, 2024Updated last year
- ☆13Feb 7, 2026Updated last week
- Banoffee is a social networking platform tailored for avid readers and knowledge seekers.☆12Jun 20, 2024Updated last year
- 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
- Implements Orchestration saga pattern in Go with docker compose and dtm☆22Dec 4, 2022Updated 3 years ago
- 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 simple implementation of the Huffman Coding in C☆10Oct 8, 2016Updated 9 years ago
- Internal sources of Power Telemetry Library. Power Telemetry Library is a golang library that provides power-related CPU info.☆15Oct 28, 2025Updated 3 months ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 4 years ago
- ong, is a Go http toolkit.☆16Jul 21, 2025Updated 6 months ago
- Clojure(script) Language Server (LSP) implementation☆12Jan 7, 2026Updated last month
- Golang Pix implementatioin - copy and paste, qrcode gen☆12Oct 20, 2025Updated 3 months ago
- What makes Paxos tick?☆11Apr 16, 2025Updated 9 months ago
- Monorepo for All Things Microservices YouTube Series☆13Dec 27, 2022Updated 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
- A demo about being cautious with clj->js and js->clj☆14Mar 22, 2024Updated last year
- Golang channels over TCP☆13Nov 12, 2022Updated 3 years ago
- System to GENerate A VERsion of a presentation (or whatever) in HTML☆12Jun 11, 2024Updated last year
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Sanity client for Go.☆18Jul 5, 2025Updated 7 months ago
- belief rule base☆12Oct 15, 2020Updated 5 years ago
- ☆24Jan 30, 2026Updated 2 weeks ago
- A CRUD application to store and edit notes using React and Tailwind CSS. You can tag notes, search and filter the results.☆13Aug 16, 2022Updated 3 years ago
- 🌸 portfolio yaya.dev☆11May 24, 2023Updated 2 years ago
- the blog "Machine Logic"☆22Feb 4, 2026Updated last week
- A re-frame "effects handler" for performing async tasks via cljs-workers☆13Jan 28, 2023Updated 3 years ago
- 🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends☆16Sep 12, 2023Updated 2 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆48Mar 25, 2022Updated 3 years ago
- JSONSelect implementation in Go☆15Feb 15, 2016Updated 9 years ago