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
  ☆14Updated 11 years ago
• wouter-swierstra / Brainfuck
  A Brainfuck interpreter written in Agda
  ☆52Updated 4 years ago
• 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
  ☆82Updated 7 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆124Updated 6 years ago
• gallais / idris-tparsec
  TParsec - Total Parser Combinators in Idris
  ☆96Updated 2 years ago
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆86Updated 2 years ago
• andrejbauer / coop
  A prototype programming language for programming with runners
  ☆91Updated 4 years ago
• alhassy / next-700-module-systems
  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
  ☆82Updated 4 years ago
• Bodigrim / smallcheck
  Test your Haskell code by exhaustively checking its properties
  ☆137Updated 3 months ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆83Updated last month
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• ekmett / ersatz
  A monad for interfacing with external SAT solvers
  ☆65Updated 5 months ago
• ndmitchell / safe
  Haskell library for safe (pattern match free) functions
  ☆47Updated last year
• ekmett / semigroupoids
  ☆78Updated 2 months ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Updated 5 years ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆46Updated 3 years ago
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆37Updated 3 months ago
• tweag / ghc
  Fork of official GHC repository.
  ☆44Updated last year
• basvandijk / scientific
  Arbitrary-precision floating-point numbers represented using scientific notation
  ☆75Updated 11 months ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆83Updated 10 years ago
• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 5 years ago
• jwiegley / logging
  ☆16Updated 8 months ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆61Updated 4 years ago
• UlfNorell / insane
  Toy typechecker for Insanely Dependent Types
  ☆82Updated last month
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆72Updated 6 years ago
• tanakh / optparse-declarative
  Declarative command-line option parser
  ☆58Updated 2 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 5 years ago
• cmcl / frankjnr
  Another implementation of Frank.
  ☆70Updated 8 years ago