daviromero / anitaView external linksLinks
Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
☆21Oct 30, 2023Updated 2 years ago
Alternatives and similar repositories for anita
Users that are interested in anita are comparing it to the libraries listed below
Sorting:
- declarative flag parsing for Go using struct tags☆12May 7, 2023Updated 2 years ago
- Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.☆13May 8, 2024Updated last year
- A web extension which allows you to view PDF files directly in VS Code.☆11Feb 13, 2024Updated 2 years ago
- ☆14Dec 2, 2021Updated 4 years ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 5 years ago
- Site da Guilda feito com Elixir e Phoenix LiveView.☆11Feb 23, 2023Updated 2 years ago
- Problem: can't reach consensus about the current state of Nostrocket and Subrockets☆12Jul 17, 2024Updated last year
- Leprechaun Game wrote in Elixir☆12Nov 3, 2023Updated 2 years ago
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- Simple go object caching library with LRU and expiration capabilities☆14Feb 3, 2019Updated 7 years ago
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 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
- Gerar tabelas verdade de fórmulas da lógica sentencial☆11Apr 15, 2022Updated 3 years ago
- Platform-aware programming in Julia☆13Nov 29, 2024Updated last year
- Golang Pix implementatioin - copy and paste, qrcode gen☆12Oct 20, 2025Updated 3 months 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
- Library that provides functionality needed to build a Chinese Checkers game☆10Jan 19, 2021Updated 5 years ago
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆15Feb 8, 2024Updated 2 years ago
- Monorepo for All Things Microservices YouTube Series☆13Dec 27, 2022Updated 3 years ago
- All source code for the QuAC tool proposed in the OOPSLA 2024 paper "QuAC: Quick Attribute-Centric Type Inference for Python." NOTE: This…☆13Oct 3, 2024Updated last year
- Sanity client for Go.☆18Jul 5, 2025Updated 7 months ago
- 🇧🇷/🇺🇸 Palestras que já ministrei em eventos de tecnologia☆16Feb 1, 2022Updated 4 years ago
- Notas e código relacionados à disciplina "Programação Funcional"☆10Nov 17, 2022Updated 3 years ago
- Action to run tests, check coverage, and send a feedback message to the pull request.☆12Feb 9, 2026Updated last week
- 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
- Submodule for jQuery Fundamentals' pt-BR translation☆30Oct 24, 2011Updated 14 years ago
- Front-end (web) homework project.☆11Apr 9, 2023Updated 2 years ago
- A framework for writing strfry's event sifter (write policy) plugin in Go.☆15Feb 9, 2026Updated last week
- The official Go SDK for Convoy (getconvoy.io)☆15Oct 6, 2025Updated 4 months ago
- Send and receive git patches over nostr☆16Apr 15, 2023Updated 2 years ago
- JSONSelect implementation in Go☆15Feb 15, 2016Updated 10 years ago
- Complete backend of COL ChecklistBank☆16Feb 10, 2026Updated last week
- A Gleam syntax highlighter in Gleam☆21Oct 14, 2025Updated 4 months ago
- Golang Moodle Api☆17Mar 21, 2024Updated last year
- Livebook SmartCell for fetching Advent of Code puzzles and inputs, and to publish solutions☆16Dec 1, 2024Updated last year
- A library to manage color palettes in p5.js☆14Apr 7, 2024Updated last year
- ☆15Jun 22, 2021Updated 4 years ago
- A raytracer, for fun☆27Sep 7, 2021Updated 4 years ago
- HarryPotter kata for practice TDD implemented in Java by Jorge Sánchez (Xurxodev)☆13Apr 14, 2018Updated 7 years ago