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
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆86Updated last year
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆95Updated 2 years ago
• YoshikuniJujo / lojysamban
  Prolog like language using lojban
  ☆14Updated 10 years ago
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆81Updated 7 years ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆36Updated 2 months ago
• ndmitchell / safe
  Haskell library for safe (pattern match free) functions
  ☆45Updated last year
• msuperdock / vim-agda
  Asynchronous type-checking for Agda 2.6.2.
  ☆22Updated last year
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated 4 months ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Updated 5 years ago
• ekmett / semigroupoids
  ☆75Updated 3 weeks ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆45Updated 2 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• patrickt / fastsum
  A fast open-union type, suitable for 100+ contained alternatives.
  ☆99Updated last year
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆62Updated 8 years ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆63Updated 2 years ago
• agda / agda-language-server
  Language Server for Agda
  ☆113Updated 2 weeks ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆70Updated 2 weeks ago
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆34Updated 7 months ago
• ZHaskell / z-botan
  Crypto for Haskell
  ☆37Updated 4 years ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆80Updated last month
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆146Updated 6 years ago
• lambda-pi-plus / lambda-pi-plus
  A simple Depdently-Typed Language for Research and Learning
  ☆57Updated 8 years ago
• Bodigrim / smallcheck
  Test your Haskell code by exhaustively checking its properties
  ☆136Updated 2 weeks ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 9 months ago
• fumieval / witherable
  Filter with effects
  ☆74Updated 7 months ago
• meraymond2 / idris-vscode
  Idris front-end for VS Code
  ☆59Updated 2 years ago
• tweag / ghc
  Fork of official GHC repository.
  ☆44Updated last year
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆122Updated last month