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
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆11Updated 8 years ago
- A terse declarative logic programming language☆118Updated 4 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆25Updated last year
- Git mirror of https://bitbucket.org/runhello/emily☆60Updated 4 years ago
- Software for editing/testing puzzles for the MIT Mystery Hunt☆27Updated 7 years ago
- That's why the projects of this world depend on...☆23Updated 3 years ago
- A proof of false in Coq.☆96Updated 5 years ago
- Solver for Shenzen Solitaire☆15Updated 7 years ago
- A program with no practical utility☆23Updated 9 years ago
- Complete Lojban Language Chunked☆183Updated 6 months ago
- ☆63Updated 2 years ago
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 6 years ago
- An implementation of a protocol for Cory Doctorow's LoveDaresNot☆15Updated 4 years ago
- a proposed translation of toki pona lexicon into github emoji☆24Updated 5 years ago
- Django app for editing and testing puzzlehunt puzzles (open-source version)☆29Updated last year
- A free and opensource platform for studying the artificial language Lojban.☆86Updated last week
- Beautiful, interactive visualizations of logical inference☆148Updated 4 years ago
- Font for sitelen pona - version 4☆36Updated 5 years ago
- Tools to highlight the (in)accessibility of my Twitter timeline☆27Updated 3 years ago
- ☆32Updated 2 weeks ago
- Transcription of xkcd 2601 to runnable logo code☆121Updated 3 years ago
- Various implementations of microKanren☆19Updated 8 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/ALPACA : A Language for the Pithy Articulation of Cellular Automata☆21Updated last year
- A math language for dimensional analysis☆22Updated last year
- Graphing polyamorous relationships with force directed layouts.☆104Updated 8 months ago
- A modern tool for literate programming☆274Updated 8 years ago
- Noether programming language☆127Updated 7 years ago
- please use https://forums.matthewbutterick.com/c/typesetting/ instead☆52Updated 2 years ago
- a python constraint solver based on clasp☆31Updated 11 years ago