pirindiel / llullLinks
A program with no practical utility
☆23Updated 9 years ago
Alternatives and similar repositories for llull
Users that are interested in llull are comparing it to the libraries listed below
Sorting:
- Math-themed single-serving site☆46Updated 4 years ago
- ☆126Updated 2 years ago
- Autosolver for Opus Magnum puzzles☆64Updated last year
- ☆40Updated 10 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- A textbook for Conway's Game of Life.☆35Updated 3 years ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated 3 weeks ago
- An alternative frontend for LessWrong 2.0☆78Updated this week
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆46Updated 4 years ago
- Functional golfing language inspired by Haskell.☆79Updated 4 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- The Incredible Proof Machine☆388Updated last month
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆28Updated 2 years ago
- A math language for dimensional analysis☆23Updated 2 years ago
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆73Updated last month
- Code for the tumblr bot nostalgebraist-autoresponder.☆74Updated 2 years ago
- Algorithm for locating anagrams and evaluating their quality☆13Updated 8 years ago
- ☆55Updated this week
- A Toki Pona Parser☆41Updated 5 months ago
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆23Updated last week
- A set of tools for analysis of texts in the Ithkuil constructed language☆31Updated 6 years ago
- How far does your curiosity take you?☆121Updated 3 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆73Updated 2 years ago
- Background daemon which archives a list of URLs to the Internet Archive, archive.is, and other services☆60Updated 2 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated 2 years ago
- ☆14Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆194Updated 2 weeks ago