Alternatives and similar repositories for lojban_parser:

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

• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 7 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 7 years ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆44Updated 2 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 4 months ago
• YoshikuniJujo / lojysamban
  Prolog like language using lojban
  ☆14Updated 10 years ago
• effectfully / OTT
  Observational Type Theory as an Agda library
  ☆52Updated 7 years ago
• wrengr / bytestring-trie
  An efficient finite map from (byte)strings to values.
  ☆20Updated last month
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• crypto-agda / crypto-agda
  Cryptographic Constructions in the Type Theory of Agda
  ☆52Updated 9 years ago
• int-index / union
  Extensible type-safe unions for Haskell
  ☆33Updated 2 weeks ago
• konn / type-natural
  Type-level well-kinded natural numbers.
  ☆34Updated 3 months ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆31Updated 4 years ago
• jwiegley / logging
  ☆16Updated last week
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years 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
  ☆75Updated 4 months ago
• gallais / aGdaREP
  Implementing grep in Agda
  ☆32Updated 4 years ago
• pigworker / ProgrammerCommaCon
  being a collection of Agda-facilitated ramblings
  ☆33Updated 4 years ago
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆60Updated 4 years ago
• cocreature / zkboo-hs
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Updated 6 years ago
• reinerp / indexed
  Haskell98 indexed functors, monads, comonads
  ☆25Updated 3 years ago
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 5 months ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• glguy / th-abstraction
  Uniform interface to reified data type information via Template Haskell
  ☆20Updated 3 weeks ago
• vincenthz / hs-securemem
  abstraction for auto scrubbing and const time Eq, memory chunk
  ☆17Updated 5 years ago
• laMudri / quantitative
  ☆16Updated 3 years ago
• walck / cyclotomic
  A subfield of the complex numbers for exact calculation.
  ☆20Updated 4 years ago
• kcsongor / register-machine-type
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Updated 8 years ago
• aische / typelevel-examples
  Haskell Type Level Example Programs
  ☆29Updated 7 years ago