pirindiel / llull
A program with no practical utility
☆23Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for llull
- Math-themed single-serving site☆46Updated 3 years ago
- ☆35Updated 9 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- tool for creating and sharing annotations, using github for storage and social network☆87Updated 2 years ago
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 6 years ago
- Describe Toki Pona using Grammatical Framework☆11Updated 4 years ago
- ever wanted to change water into wine? better: now you can change prose into poetry☆15Updated 8 years ago
- Code for the tumblr bot nostalgebraist-autoresponder.☆67Updated last year
- A community database of topological counterexamples☆72Updated this week
- Remember how long commands take, tell me if I have enough time to make a sandwich☆25Updated 6 months ago
- ☆14Updated 7 months ago
- a constructed language, that combines the parts of Ithkuil I find interesting with the parts of Toki Pona I find cute and learnable☆23Updated last year
- ☆63Updated 2 years ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆43Updated 3 years ago
- A free and opensource platform for studying the artificial language Lojban.☆81Updated last week
- Functional golfing language inspired by Haskell.☆75Updated 3 years ago
- A math language for dimensional analysis☆22Updated last year
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆21Updated this week
- Python API client for Manifold Markets☆15Updated last year
- A Toki Pona Parser☆41Updated 5 years ago
- The Glowfic Constellation☆17Updated this week
- interesting solutions to project euler problems☆84Updated 8 years ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- Functional, expression-oriented data processing language☆81Updated this week
- This project converts structured Lean code into an interactive browser game.☆74Updated last year
- ☆2Updated 7 years ago
- A textbook for Conway's Game of Life.☆32Updated 2 years ago
- a library for experimental linear lambda calculus☆19Updated last year