malikpiara / logicola
LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.
☆48Updated this week
Alternatives and similar repositories for logicola:
Users that are interested in logicola are comparing it to the libraries listed below
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- ☆50Updated 9 months ago
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 2 years ago
- Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.☆59Updated last month
- PostgreSQL Prolog language handler☆132Updated last year
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆113Updated 3 weeks ago
- Providing linux scripts, documentation and bug fixes to revitalize classic engineering simulation games. The games are organized into a …☆81Updated 2 months ago
- Brzozowski derivative python sketch☆85Updated 11 months ago
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆45Updated 9 months ago
- This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…☆35Updated last year
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated 11 months ago
- 100k real ( +100k random ) galaxies from a sector. Visualized with Raylib.☆87Updated 6 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆77Updated 3 weeks ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated last year
- the origins of J☆62Updated last year
- A small language that compiles to WebAssembly Text format☆74Updated 11 months ago
- Software for knitting☆134Updated 2 months ago
- I might write stuff here sometimes☆110Updated last month
- The no-framework framework for building component-based purely-functional UIs.☆124Updated 2 months ago
- ☆59Updated last month
- ☆184Updated this week
- Chess, but each square also follows the rules of Conway's Game of Life☆49Updated last year
- A blogging engine in C☆114Updated last month
- ☆49Updated 6 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated last month
- electronic escape novel requiring readers to solve puzzles before reading the next chapter☆91Updated 3 months ago
- King Thirteen - a js13kGames 2024 competition entry by @mvasilkov.☆33Updated 6 months ago
- Coca-Cola☆189Updated last year
- Transductive regular expressions☆238Updated last month
- A tangible interface for virtual things☆119Updated this week