Alternatives and similar repositories for lojban_parser

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

• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆78Updated 5 years ago
• YoshikuniJujo / lojysamban
  Prolog like language using lojban
  ☆14Updated 10 years ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆95Updated 2 years ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆36Updated 2 weeks ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆123Updated 6 years ago
• agda / agda-language-server
  Language Server for Agda
  ☆113Updated last week
• msuperdock / vim-agda
  Asynchronous type-checking for Agda 2.6.2.
  ☆22Updated last year
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆81Updated 7 years ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆146Updated 10 months ago
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆86Updated last year
• jwiegley / logging
  ☆16Updated 5 months ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 10 months ago
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆62Updated 8 years ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆45Updated 2 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 5 years ago
• ndmitchell / safe
  Haskell library for safe (pattern match free) functions
  ☆45Updated last year
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• ekmett / semigroupoids
  ☆76Updated last month
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆56Updated 2 weeks ago
• fumieval / witherable
  Filter with effects
  ☆74Updated 7 months ago
• ucsd-progsys / liquid-fixpoint
  Horn Clause Constraint Solving for Liquid Types
  ☆151Updated 2 weeks ago
• andreasabel / miniagda
  A prototypical dependently typed languages with sized types and variances
  ☆111Updated last month
• jsiek / abstract-binding-trees
  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
  ☆76Updated last week
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆98Updated 3 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• ohad / collie
  Command line interface library in Idris
  ☆31Updated last year
• MarcelineVQ / idris2-elab-deriving
  implementation deriving for idris2
  ☆11Updated 4 years ago
• habit-lang / alb
  ☆39Updated last year
• derekelkins / agda-vim
  Agda interaction in vim
  ☆134Updated 3 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆146Updated 6 years ago