glowfic-constellation / glowfic
The Glowfic Constellation
☆17Updated this week
Related projects ⓘ
Alternatives and complementary repositories for glowfic
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆11Updated 8 years ago
- A program with no practical utility☆23Updated 8 years ago
- Software for editing/testing puzzles for the MIT Mystery Hunt☆27Updated 6 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆23Updated 11 months ago
- ☆63Updated 2 years ago
- A small batch processing utlity☆12Updated 2 years ago
- interesting solutions to project euler problems☆84Updated 8 years ago
- A math language for dimensional analysis☆22Updated last year
- A terse declarative logic programming language☆117Updated 4 years ago
- Complete Lojban Language Chunked☆176Updated last month
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- A free and opensource platform for studying the artificial language Lojban.☆81Updated last week
- Various implementations of microKanren☆19Updated 7 years ago
- A proof of false in Coq.☆93Updated 5 years ago
- A script for running TLA+/TLC from the command line☆80Updated 3 years ago
- Solver for Shenzen Solitaire☆15Updated 7 years ago
- Python interpreter for Marbelous☆22Updated 8 years ago
- The Brown Benchmark for Table Types (B2T2)☆62Updated 5 months ago
- Random language generation☆63Updated 4 years ago
- The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.☆113Updated last year
- A graphical interactive proof assistant designed for education☆161Updated this week
- Tools and data to create a map of differences between solar time and standard time.☆35Updated 5 years ago
- A solver for halting problem of Brainfuck programs☆16Updated 4 years ago
- la sutysisku dictionary for Lojban and more☆35Updated 6 months ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆72Updated 10 months ago
- Informal collection of BQN utilities☆51Updated 2 weeks ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆38Updated 2 weeks ago
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 6 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆18Updated 5 years ago