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:
- ☆38Updated 9 years ago
- Math-themed single-serving site☆46Updated 4 years ago
- ☆126Updated 2 years ago
- A set of tools for analysis of texts in the Ithkuil constructed language☆31Updated 6 years ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆25Updated last year
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆23Updated last week
- Autosolver for Opus Magnum puzzles☆64Updated 9 months ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated last year
- English is fun☆9Updated 9 years ago
- Less Wrong platform☆52Updated 7 years ago
- A free and opensource platform for studying the artificial language Lojban.☆88Updated this week
- Code for the tumblr bot nostalgebraist-autoresponder.☆73Updated 2 years ago
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆118Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated 2 weeks ago
- Domain Specific Languages for Computational Law☆76Updated last month
- A list of Hanabi strategies☆170Updated this week
- JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.☆72Updated last year
- Port of asciimoo/drawille to haskell.☆26Updated last year
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- linear algebra done right in coq☆10Updated 4 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Updated 8 years ago
- A sudoku game where you have to prove that your deductions are valid☆115Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- ☆23Updated 3 years ago
- Get a Brain☆24Updated 5 years ago
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- The programming language that defies the laws of physics☆23Updated 7 years ago