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.
  ☆79Updated 5 years ago
• YoshikuniJujo / lojysamban
  Prolog like language using lojban
  ☆15Updated 11 years ago
• ndmitchell / safe
  Haskell library for safe (pattern match free) functions
  ☆47Updated last year
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Updated 5 years ago
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆82Updated 7 years ago
• msuperdock / vim-agda
  Asynchronous type-checking for Agda 2.6.2.
  ☆22Updated last year
• GaloisInc / xml
  Haskell XML library
  ☆27Updated 7 years ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆99Updated 2 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆146Updated 7 years ago
• wouter-swierstra / Brainfuck
  A Brainfuck interpreter written in Agda
  ☆52Updated 4 years ago
• basvandijk / scientific
  Arbitrary-precision floating-point numbers represented using scientific notation
  ☆75Updated 3 weeks ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆63Updated 5 years ago
• fumieval / witherable
  Filter with effects
  ☆76Updated last year
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆126Updated this week
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆86Updated 2 years ago
• ekmett / unpacked-containers
  Unpacked containers using backpack
  ☆52Updated 5 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 6 years ago
• haskell-unordered-containers / hashable
  A class for types that can be converted to a hash value
  ☆105Updated 3 weeks ago
• ekmett / semigroupoids
  ☆78Updated 3 weeks ago
• jwiegley / logging
  ☆16Updated 10 months ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆45Updated 9 months ago
• Bodigrim / smallcheck
  Test your Haskell code by exhaustively checking its properties
  ☆137Updated 6 months ago
• fumieval / mason
  fleet-footed ByteString builder
  ☆52Updated last year
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆37Updated 5 months ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆84Updated 10 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• ekmett / ersatz
  A monad for interfacing with external SAT solvers
  ☆65Updated 7 months ago
• agda / agda-language-server
  Language Server for Agda
  ☆122Updated 3 months ago
• ekmett / distributive
  Dual Traversable
  ☆41Updated 3 weeks ago
• syucream / hastodon
  mastodon client module for Haskell
  ☆34Updated 3 years ago