pirindiel / llull

Related projects ⓘ

Alternatives and complementary repositories for llull

• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 3 years ago
• machine-intelligence / provability
  ☆35Updated 9 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆87Updated 2 years ago
• mouse-reeve / fact-join
  Combine two wikipedia pages to make new facts. Tweets @brand_new_facts
  ☆18Updated 6 years ago
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 4 years ago
• kai-qu / poemify
  ever wanted to change water into wine? better: now you can change prose into poetry
  ☆15Updated 8 years ago
• nostalgebraist / nostalgebraist-autoresponder
  Code for the tumblr bot nostalgebraist-autoresponder.
  ☆67Updated last year
• pi-base / data
  A community database of topological counterexamples
  ☆72Updated this week
• shapr / sandwatch
  Remember how long commands take, tell me if I have enough time to make a sandwich
  ☆25Updated 6 months ago
• ericastor / rmzoo
  ☆14Updated 7 months ago
• lynn / toki-wile
  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
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• m-ender / alice
  A feature-rich, two-dimensional, recreational programming language. With mirrors.
  ☆43Updated 3 years ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆81Updated last week
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆75Updated 3 years ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆21Updated this week
• bcongdon / PyManifold
  Python API client for Manifold Markets
  ☆15Updated last year
• matthewdeanmartin / tokipona.parser
  A Toki Pona Parser
  ☆41Updated 5 years ago
• glowfic-constellation / glowfic
  The Glowfic Constellation
  ☆17Updated this week
• eevee / project-euler
  interesting solutions to project euler problems
  ☆84Updated 8 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆113Updated 2 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆81Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆74Updated last year
• DavidMirror / Unsong-In-Ebook-Format
  ☆2Updated 7 years ago
• nathanieljohnston / game-of-life-book
  A textbook for Conway's Game of Life.
  ☆32Updated 2 years ago
• noamz / linlam
  a library for experimental linear lambda calculus
  ☆19Updated last year