glowfic-constellation / glowfic
The Glowfic Constellation
☆18Updated this week
Alternatives and similar repositories for glowfic
Users that are interested in glowfic are comparing it to the libraries listed below
Sorting:
- Software for editing/testing puzzles for the MIT Mystery Hunt☆27Updated 7 years ago
- Font for sitelen pona - version 4☆36Updated 5 years ago
- A small batch processing utlity☆12Updated 3 years ago
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆11Updated 8 years ago
- Transcription of xkcd 2601 to runnable logo code☆121Updated 3 years ago
- ☆64Updated 2 years ago
- Django app for editing and testing puzzlehunt puzzles (open-source version)☆29Updated last year
- Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…☆51Updated 6 months ago
- Autosolver for Opus Magnum puzzles☆63Updated 6 months ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.☆21Updated last year
- Code for the tumblr bot nostalgebraist-autoresponder.☆70Updated last year
- Practical Specification of Belief Manipulation in Games☆32Updated 7 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆22Updated last month
- Font for sitelen pona☆135Updated 2 years ago
- SVG glyphs for sitelen sitelen☆25Updated last year
- Commented Pollen sample project [mirror of https://git.matthewbutterick.com/mbutterick/pollen-tfl]☆67Updated 2 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆75Updated this week
- A program with no practical utility☆23Updated 9 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- A proof of false in Coq.☆97Updated 5 years ago
- Sources and Code for Hanziyu Conlang☆42Updated last year
- A pyramidic language☆48Updated 4 years ago
- The collaborative word list☆34Updated last year
- Animations of lambda term reduction sequences☆131Updated 6 years ago
- Tutorial / REPL for the lambda calculus☆65Updated 7 months ago
- Is this integer dead or alive?☆45Updated 8 years ago
- jan Tepan: "o pilin pona o pu!"☆65Updated last month
- puzzle solving tools for the mit mystery hunt☆18Updated 9 years ago