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
- Leprechaun Game wrote in Elixir☆12Nov 3, 2023Updated 2 years ago
- A simple API to control Philips Hue lamps with http GET requests☆17Feb 14, 2026Updated 3 weeks ago
- ☆14Dec 2, 2021Updated 4 years ago
- ☆13Updated this week
- Problem: can't reach consensus about the current state of Nostrocket and Subrockets☆12Jul 17, 2024Updated last year
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 3 years ago
- Internal sources of Power Telemetry Library. Power Telemetry Library is a golang library that provides power-related CPU info.☆15Oct 28, 2025Updated 4 months ago
- Platform-aware programming in Julia☆13Nov 29, 2024Updated last year
- Blurhash in Erlang☆11Mar 5, 2023Updated 3 years ago
- ong, is a Go http toolkit.☆16Jul 21, 2025Updated 7 months 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
- Golang Pix implementatioin - copy and paste, qrcode gen☆11Oct 20, 2025Updated 4 months 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
- Gerar tabelas verdade de fórmulas da lógica sentencial☆11Apr 15, 2022Updated 3 years ago
- Sanity client for Go.☆18Jul 5, 2025Updated 8 months ago
- Golang channels over TCP☆13Nov 12, 2022Updated 3 years ago
- 🇧🇷/🇺🇸 Palestras que já ministrei em eventos de tecnologia☆16Feb 1, 2022Updated 4 years 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
- 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
- Action to run tests, check coverage, and send a feedback message to the pull request.☆12Feb 28, 2026Updated last week
- Monorepo for All Things Microservices YouTube Series☆13Dec 27, 2022Updated 3 years ago
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆15Feb 8, 2024Updated 2 years ago
- Complete backend of COL ChecklistBank☆17Updated this week
- Front-end (web) homework project.☆11Apr 9, 2023Updated 2 years ago
- The official Go SDK for Convoy (getconvoy.io)☆15Oct 6, 2025Updated 5 months ago
- JSONSelect implementation in Go☆15Feb 15, 2016Updated 10 years ago
- Send and receive git patches over nostr☆16Apr 15, 2023Updated 2 years ago
- Graphic recordings of BEAM conferences. 🎨☆16May 31, 2024Updated last year
- A library to manage color palettes in p5.js☆14Apr 7, 2024Updated last year
- HarryPotter kata for practice TDD implemented in Java by Jorge Sánchez (Xurxodev)☆13Apr 14, 2018Updated 7 years ago
- Go REST helpers☆16Feb 26, 2026Updated last week
- A thing to convert pocket articles to kindle books☆15Apr 12, 2025Updated 10 months ago
- REAM is an event-sourcing system☆17Oct 16, 2023Updated 2 years ago
- Elixir for Everybody☆17Jun 14, 2024Updated last year
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- A raytracer, for fun☆27Sep 7, 2021Updated 4 years ago
- Hok: Higher-Order GPU Kernels☆23Dec 4, 2025Updated 3 months ago