Alternatives and similar repositories for lojban_parser

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

• YoshikuniJujo / lojysamban
  Prolog like language using lojban
  ☆14Updated 10 years ago
• tweag / linear-types
  Drafts, notes and resources for adding linear typing to GHC.
  ☆79Updated 5 years ago
• msuperdock / vim-agda
  Asynchronous type-checking for Agda 2.6.2.
  ☆22Updated last year
• fumieval / witherable
  Filter with effects
  ☆74Updated 9 months ago
• GaloisInc / xml
  Haskell XML library
  ☆27Updated 6 years ago
• jsiek / abstract-binding-trees
  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
  ☆78Updated last month
• ndmitchell / safe
  Haskell library for safe (pattern match free) functions
  ☆47Updated last year
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 11 months ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• fumieval / mason
  fleet-footed ByteString builder
  ☆52Updated last year
• jwiegley / logging
  ☆16Updated 6 months ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆46Updated 2 years ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆96Updated 2 years ago
• wouter-swierstra / Brainfuck
  A Brainfuck interpreter written in Agda
  ☆50Updated 4 years ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆57Updated last week
• HoTT / M-types
  A formalization of M-types in Agda
  ☆34Updated 5 years ago
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 8 years ago
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆95Updated 7 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆123Updated 6 years ago
• david-christiansen / epigram1
  A version of Epigram 1 that can run with newer GHCs
  ☆54Updated 8 years ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Updated 5 years ago
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆72Updated 6 years ago
• agda / agda-language-server
  Language Server for Agda
  ☆115Updated 3 weeks ago
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆82Updated 7 years ago
• fredefox / cat
  A formalization of category theory in cubical Agda
  ☆59Updated 5 years ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆36Updated last month
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆87Updated 2 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated 5 months ago
• ekmett / distributive
  Dual Traversable
  ☆42Updated 2 years ago