Alternatives and similar repositories for lidysisku

Users that are interested in lidysisku are comparing it to the libraries listed below

• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆90Updated last week
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated last month
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• olafjanssen / sitelen-sitelen-renderer
  JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.
  ☆72Updated last year
• pona-la / lipu-sona
  An open-source toki pona course
  ☆47Updated last month
• toaq / toadua
  The online collaborative dictionary for the constructed language Toaq.
  ☆14Updated last month
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆120Updated last year
• GanerCodes / moon
  glyph-based language that transpiles to python (for now…)
  ☆21Updated last week
• kilipan / nasin-toki
  mi pana sona pi nasin toki mi lon lipu ni
  ☆174Updated last year
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆120Updated last week
• olpa / gf-tokipona
  Describe Toki Pona using Grammatical Framework
  ☆11Updated 5 years ago
• lojban / cll
  Complete Lojban Language Chunked
  ☆187Updated 11 months ago
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• ccz181078 / Coq-BB5
  ☆330Updated last week
• kindelia-archive / LambdaVM
  A next-gen, massively parallel, beta-optimal functional runtime.
  ☆10Updated 3 years ago
• PaulieGlot / lipu-sewi
  A long-standing project to translate the Bible into toki pona
  ☆54Updated 2 weeks ago
• noocene / welkin
  ☆10Updated 3 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆19Updated 2 months ago
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆27Updated last year
• etbcor / nasin-nanpa
  nasin sitelen tan anpa nanpa
  ☆128Updated 5 months ago
• Id405 / sitelen-pona-ucsur-guide
  o sitelen e sitelen pona lon ilo mute a!
  ☆46Updated 3 months ago
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• anna328p / linjasuwi
  new sitelen pona font
  ☆32Updated last year
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last week
• eberban / eberban
  Parser and dictionary for the eberban language.
  ☆29Updated this week
• dmadisetti / sona.js
  a simple language with a 1000 character interpreter inspired by toki pona
  ☆82Updated 3 years ago
• agda / cornelis
  agda-mode for neovim
  ☆165Updated last month
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆93Updated last year
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated 11 months ago