andrewscwei / aristotlView external linksLinks
A logical fallacy lookup tool
☆42Oct 8, 2024Updated last year
Alternatives and similar repositories for aristotl
Users that are interested in aristotl are comparing it to the libraries listed below
Sorting:
- Static web experiment☆16May 27, 2025Updated 8 months ago
- Line thinning library for binary images☆20Jan 14, 2023Updated 3 years ago
- You are trapped on an infinite tile floor along with murderous marbles☆13Sep 30, 2024Updated last year
- Alternative User Interface for getpocket.com☆11Jan 7, 2023Updated 3 years ago
- Bookmarklet for Jekyll on Github Pages☆12Nov 3, 2015Updated 10 years ago
- A modern, minimal Kotlin-like language for MOS 6502 / 6510☆16Jul 30, 2020Updated 5 years ago
- fungot, a Funge-98 bot☆16Jul 16, 2022Updated 3 years ago
- implementation of a robust metronome using the Web Audio API☆17Sep 12, 2019Updated 6 years ago
- Super Methane Brothers Amiga Game ported to other platforms☆16Dec 31, 2022Updated 3 years ago
- The Library of Merveilles☆22Dec 2, 2022Updated 3 years ago
- Exhaustive list of all foods & food items in the world. Crawled from Wikipedia.☆19Mar 18, 2017Updated 8 years ago
- A Lisp interpreter that displays the contents of the Lisp workspace on an OLED display☆16Aug 14, 2019Updated 6 years ago
- A faithful implementation of the Colossal Cave Adventure in Unlambda☆18Dec 9, 2019Updated 6 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 11 years ago
- Cellular automata search program☆26Jul 7, 2022Updated 3 years ago
- Pac-Man emulator for Sinclair ZX Spectrum☆32Oct 2, 2020Updated 5 years ago
- Resources for the Merveilles Town instance☆108Sep 12, 2024Updated last year
- Polyglot written in 7 esoteric programming languages☆31Mar 23, 2021Updated 4 years ago
- 3D split-step Fourier parabolic equation for radio wave propagation in urban environment☆10Nov 4, 2020Updated 5 years ago
- A sample app for the Retrieval-Augmented Generation pattern running in Azure, using Azure AI Search for retrieval and Azure OpenAI large …☆11Jul 25, 2025Updated 6 months ago
- A collection of programming languages and type systems.☆33May 11, 2025Updated 9 months ago
- A checkbox based race☆32Mar 7, 2023Updated 2 years ago
- FPGA assembler! Create bare-metal FPGA designs without Verilog or VHDL (Not to self: use Lisp next time)☆54Jul 22, 2021Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last week
- ☆13Jun 28, 2021Updated 4 years ago
- An implementation of RadixTree for efficiently storing, removing & checking in O(1) time for all Ip addresses.☆10Jun 6, 2020Updated 5 years ago
- Fork of setblocksize☆10Jan 17, 2019Updated 7 years ago
- Turning programming exceptions into art☆45Aug 12, 2021Updated 4 years ago
- Yao's Garbled Circuits (Java/AES)☆10Dec 9, 2013Updated 12 years ago
- console version of StarDict formerly used by koreader; fork of https://github.com/Dushistov/sdcv☆10Aug 29, 2017Updated 8 years ago
- Duolingo Notes can help the duolingo users save notes during learning.☆13Jun 18, 2014Updated 11 years ago
- ☆12Feb 9, 2026Updated last week
- Find a developer when you are challenged with codes☆12Jun 9, 2023Updated 2 years ago
- A PHP-based project based on an online ecommerce site. The following PHP project covers all of the needed and vital elements that may be …☆10May 11, 2022Updated 3 years ago
- senseBox documentation as beautiful books☆11Apr 18, 2023Updated 2 years ago
- Tools to analyze files of the video-game "Futurama" (2003)☆13Jul 24, 2019Updated 6 years ago
- 2D Level Editor written in Java☆10Oct 16, 2021Updated 4 years ago
- A place to find developers nearby for chat or meet☆11Sep 21, 2023Updated 2 years ago