Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
☆24Oct 30, 2023Updated 3 years ago
Alternatives and similar repositories for anita
Users that are interested in anita are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- A Simple NodeJS API which uses the WSDL server from Infraero of Brazilian flight status and externalize the data as an API, outputing a j…☆10Dec 13, 2015Updated 10 years ago
- ☆10Feb 23, 2024Updated 2 years ago
- 🛡️ Privacy Guardian - LGPD + GDPR compliance automation for Claude Code☆15Jul 20, 2026Updated 3 months ago
- Blurhash in Erlang☆11Mar 5, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆13Dec 2, 2021Updated 4 years ago
- A scalable error-friendly factories for your Elixir apps☆10Oct 13, 2020Updated 6 years ago
- Leprechaun Game wrote in Elixir☆12Oct 28, 2026Updated last week
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- Use Gleam inside an Elixir project with good developer experience in both codebases☆14Feb 13, 2025Updated last year
- Library that provides functionality needed to build a Chinese Checkers game☆10Jan 19, 2021Updated 5 years ago
- Logics is a Python framework for mathematical logic☆28May 8, 2025Updated last year
- Infraero (Brazilian air trafic control department) web data parser.☆19Aug 12, 2019Updated 7 years ago
- Site da Guilda feito com Elixir e Phoenix LiveView.☆10Feb 23, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Compilador Geral Delégua☆12Aug 27, 2026Updated 2 months ago
- Graphic recordings of BEAM conferences. 🎨☆16May 31, 2024Updated 2 years ago
- Notas e código relacionados à disciplina "Programação Funcional"☆10Nov 17, 2022Updated 3 years ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- A language designed to closely model current chip designs rather than the PDP-11☆21Updated this week
- 🇧🇷/🇺🇸 Palestras que já ministrei em eventos de tecnologia☆16Updated this week
- ☆13Oct 1, 2026Updated last month
- A neural network built on top of Elixir☆17May 21, 2023Updated 3 years ago
- Body Sensor Network (BSN): a prototype for exercising dependable adaptation in healthcare domain.☆13May 8, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Front-end (web) homework project.☆10Apr 9, 2023Updated 3 years ago
- Código do artigo "Criando efeito de fadeIn e fadeOut com javascript puro" que publiquei no tableless☆21Jan 24, 2014Updated 12 years ago
- Livebook SmartCell for fetching Advent of Code puzzles and inputs, and to publish solutions☆16Dec 1, 2024Updated last year
- Platform-aware programming in Julia☆13May 28, 2026Updated 5 months ago
- Merge them all and have it as a single node in Logseq☆13Nov 11, 2024Updated last year
- Gerar tabelas verdade de fórmulas da lógica sentencial☆11Apr 15, 2022Updated 4 years ago
- TheDeepChecker: Dynamic Debugger for Neural Networks Training Programs☆10Nov 2, 2022Updated 4 years ago
- A thing to convert pocket articles to kindle books☆15Apr 12, 2025Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆28May 25, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆16Feb 8, 2024Updated 2 years ago
- REAM is an event-sourcing system☆17Oct 16, 2023Updated 3 years ago
- The Nerves Community Fleet for Code BEAM Berlin 2024☆22Dec 9, 2024Updated last year
- A library to manage color palettes in p5.js☆14Apr 7, 2024Updated 2 years ago
- Hok: Higher-Order GPU Kernels☆21Dec 4, 2025Updated 10 months ago
- Sample project from the Getting Started watchface tutorials☆32Feb 16, 2016Updated 10 years ago
- Alternative syntax for Erlang☆20Nov 22, 2025Updated 11 months ago