A logical fallacy lookup tool
☆43Oct 8, 2024Updated last year
Alternatives and similar repositories for aristotl
Users that are interested in aristotl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Line thinning library for binary images☆20Jan 14, 2023Updated 3 years ago
- An authentication library that uses JWT for access and refresh tokens with sensible defaults.☆18Jun 21, 2023Updated 3 years ago
- Exploring calendar outlining☆17Feb 14, 2024Updated 2 years ago
- A (non-production) implementation of AES for educational purposes☆23May 29, 2022Updated 4 years ago
- Receive and decode TST-507 TPMS signals☆11Feb 5, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- implementation of a robust metronome using the Web Audio API☆17Sep 12, 2019Updated 6 years ago
- Schema.org in RDF☆13May 24, 2016Updated 10 years ago
- A modified version of searx (the privacy-respecting metasearch engine) to only search an allowlist of sites, to build functionality simil…☆19Sep 17, 2021Updated 4 years ago
- Haskell to brainfuck compiler☆31May 11, 2014Updated 12 years ago
- An Esoteric Programming Language based on Reverse Polish Notation☆12Feb 16, 2017Updated 9 years ago
- Faceted Browsing over Wikidata triples☆18Jun 16, 2018Updated 8 years ago
- Super Methane Brothers Amiga Game ported to other platforms☆16Dec 31, 2022Updated 3 years ago
- A Unicode regular expression library written in Ruby☆62Jun 15, 2026Updated 2 weeks ago
- Carbon Dioxide Removal (CDR) Modeling Experiments☆13May 29, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A collection of programming languages and type systems.☆35May 11, 2025Updated last year
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Feb 2, 2014Updated 12 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 5 months ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Dec 9, 2019Updated 6 years ago
- An open standard to build applications that respect data ownership.☆10Sep 17, 2021Updated 4 years ago
- A checkbox based race☆32Mar 7, 2023Updated 3 years ago
- LRE - An Easy Interactive Environment☆14Apr 29, 2014Updated 12 years ago
- An app for making and editing themes for Hundred Rabbits and other compatible apps.☆40Feb 7, 2021Updated 5 years ago
- Keep any folder in sync across computers, conflict-free.☆62May 18, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A simple script that will download the favorites for the provided hacker news user id☆69Jan 24, 2023Updated 3 years ago
- 3D fractal flame renderer☆15May 19, 2017Updated 9 years ago
- A domain specific language for creating composable command line interfaces.☆15Jun 7, 2026Updated 3 weeks ago
- Learning git can be hard without the right tutorial, hopefully this guided tour will point you in the right direction.☆15Feb 28, 2025Updated last year
- Family Tree using @hshoff 's vx React components built on D3 charts☆12Jan 28, 2019Updated 7 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Utilities for working with Scala in NeoVim.☆14Nov 15, 2021Updated 4 years ago
- Wiki-format personal website.☆16May 12, 2026Updated last month
- Workflowy / Vimflowy inspired note-taking web-app. No longer maintained.☆13Jan 12, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- MOVED to code.netzhansa.com/hanshuebner/clj-oauth2-token-generator. This GitHub mirror is archived.☆12Jan 9, 2016Updated 10 years ago
- Polyglot written in 7 esoteric programming languages☆31Mar 23, 2021Updated 5 years ago
- ☆14May 9, 2019Updated 7 years ago
- Simple stylesheet manager for good libraries☆18Dec 15, 2024Updated last year
- Build performant, reactive data-editing UIs for React.js. Succinct code, observable state, undo & redo included!☆10Jul 1, 2022Updated 4 years ago
- Wiki authoring engine.☆43Oct 6, 2025Updated 8 months ago
- Couchsurfing profile importer and previewer.☆14Jan 8, 2023Updated 3 years ago