Alternatives and similar repositories for lojysamban

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

• YoshikuniJujo / lojban_parser
  lojban parser
  ☆23Updated 11 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆123Updated 3 weeks ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Updated 5 years ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• tanakh / optparse-declarative
  Declarative command-line option parser
  ☆58Updated 2 years ago
• crypto-agda / crypto-agda
  Cryptographic Constructions in the Type Theory of Agda
  ☆52Updated 10 years ago
• fredefox / cat
  A formalization of category theory in cubical Agda
  ☆59Updated 5 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 8 years ago
• ivan-m / graphviz
  Haskell bindings to the Graphviz toolkit
  ☆64Updated 3 years ago
• rocq-community / parseque
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆46Updated 4 months ago
• effectfully / OTT
  Observational Type Theory as an Agda library
  ☆56Updated 8 years ago
• sabauma / agda-relation-algebra
  Relational algebra implementation in Agda with simple bindings to SQLITE
  ☆13Updated 2 years ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 3 years ago
• mietek / formal-logic
  TODO
  ☆23Updated 10 years ago
• DataHaskell / awesome-haskell-ml
  📚 - Resources for Machine Learning and Haskell
  ☆21Updated 8 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• VictorTaelin / Elementary-Affine-Type-Theory-legacy
  Minimal, efficient proof language
  ☆14Updated 6 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆45Updated 6 months ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 6 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 7 years ago
• abooij / wiwikwlhott
  What I wish I knew when learning HoTT
  ☆53Updated 6 years ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆77Updated 3 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated last year
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated last year
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 7 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆57Updated 6 years ago
• gallais / potpourri
  Where my everyday research happens
  ☆55Updated last month
• frelindb / agsyHOL
  ☆22Updated 9 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆124Updated 6 years ago