pirindiel / llull
A program with no practical utility
☆23Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for llull
- tool for creating and sharing annotations, using github for storage and social network☆87Updated 2 years ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆41Updated 7 months ago
- Autosolver for Opus Magnum puzzles☆63Updated 2 weeks ago
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 6 years ago
- A community database of topological counterexamples☆72Updated this week
- ☆125Updated last year
- The New Yorken Poesry Magazine is a cultured poetry journal by AI, for AI☆35Updated 5 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆43Updated 3 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆72Updated last month
- Remember how long commands take, tell me if I have enough time to make a sandwich☆25Updated 6 months ago
- Functional golfing language inspired by Haskell.☆75Updated 3 years ago
- A textbook for Conway's Game of Life.☆32Updated 2 years ago
- An alternative frontend for LessWrong 2.0☆63Updated last week
- A repository for the Quest For Tetris☆175Updated 3 years ago
- A set of tools for analysis of texts in the Ithkuil constructed language☆31Updated 5 years ago
- DeepAlgebra☆25Updated 7 years ago
- Less Wrong platform☆49Updated 6 years ago
- ☆2Updated 7 years ago
- A math language for dimensional analysis☆22Updated last year
- Effective Multi-threading in Befunge!☆46Updated 6 years ago
- Python tools for working with Manifold Markets☆34Updated last month
- ever wanted to change water into wine? better: now you can change prose into poetry☆15Updated 8 years ago
- This tool lets you color Hexagony programs (http://esolangs.org/wiki/Hexagony) in such a way that the execution paths are visible.☆47Updated 8 years ago
- 2D chess pieces made by simple shapes, playable on http://lichess.org preview: https://youtu.be/NqBpmSVooks☆10Updated 9 years ago
- Automating various decisions stochastically, starting with my current coin-based intermittent fasting and dice-based kettlebell.☆22Updated 6 years ago
- sorear's Metamath system engine☆13Updated 8 years ago
- A Compiler for the Shakespeare Programming Language Written in Python. Compiles from SPL to C.☆80Updated 3 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- Relaunch of EMOJI SIMULATOR 😘☆86Updated 3 years ago