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:
- ☆37Updated 9 years ago
- tool for creating and sharing annotations, using github for storage and social network☆90Updated 3 years ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated last year
- ever wanted to change water into wine? better: now you can change prose into poetry☆15Updated 9 years ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- Code to support the guide to logical induction for software engineers☆11Updated 3 months ago
- Math-themed single-serving site☆46Updated 4 years ago
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- things that don't deserve their own repo☆64Updated last week
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆22Updated this week
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- parser/viewer for olean files (lean 3)☆12Updated 6 years ago
- ☆3Updated 8 years ago
- An alternative frontend for LessWrong 2.0☆70Updated this week
- Haskell binding for PADS☆19Updated 6 years ago
- lo vrici se pilno be fi la zbalermorna je lo ri taipfase☆25Updated last year
- Web based opetopic editor☆35Updated 8 months ago
- DeepAlgebra☆25Updated 7 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 5 years ago
- Combinatorial game library in Lean 4☆24Updated this week
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- A free and opensource platform for studying the artificial language Lojban.☆88Updated last week
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆30Updated 3 years ago
- A math language for dimensional analysis☆23Updated 2 years ago
- Practical Specification of Belief Manipulation in Games☆32Updated 7 years ago
- Effective Multi-threading in Befunge!☆46Updated 6 years ago
- ☆64Updated 2 years ago
- Autosolver for Opus Magnum puzzles☆64Updated 8 months ago
- It's Data.Graph, but it doesn't suck!☆16Updated 4 years ago