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
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- ☆40Updated 10 years ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated last month
- Autosolver for Opus Magnum puzzles☆64Updated last year
- Effective Multi-threading in Befunge!☆46Updated 7 years ago
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆24Updated this week
- Less Wrong platform☆50Updated 7 years ago
- A set of tools for analysis of texts in the Ithkuil constructed language☆31Updated 6 years ago
- Functional golfing language inspired by Haskell.☆79Updated 4 years ago
- A math language for dimensional analysis☆23Updated 2 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- A textbook for Conway's Game of Life.☆35Updated 3 years ago
- A relational interpretation of Lojban☆36Updated 6 months ago
- ☆126Updated 2 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆29Updated 2 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- Animations of lambda term reduction sequences☆162Updated 7 years ago
- Code for the tumblr bot nostalgebraist-autoresponder.☆74Updated 2 years ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆74Updated 2 years ago
- A repository for the Quest For Tetris☆185Updated 4 years ago
- Algorithm for locating anagrams and evaluating their quality☆13Updated 8 years ago
- The Incredible Proof Machine☆386Updated 2 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- This project converts structured Lean code into an interactive browser game.☆78Updated 2 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Updated 8 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago