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
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• GaloisInc / xml
  Haskell XML library
  ☆26Updated 5 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 4 years ago
• ksrky / type-inference
  Type inference algorithms for functional programming languages
  ☆10Updated last year
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 7 years ago
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆21Updated 5 months ago
• reinerp / indexed
  Haskell98 indexed functors, monads, comonads
  ☆25Updated 2 years ago
• wrengr / bytestring-trie
  An efficient finite map from (byte)strings to values.
  ☆20Updated 3 weeks ago
• ekmett / adjunctions
  Simple adjunctions
  ☆44Updated last year
• jozefg / miniprl
  A small implementation of a proof refinement logic.
  ☆50Updated 7 years ago
• Happstack / plugins-ng
  dynamic recompilation and loading of code. A replacement for the old plugins library but now based around the GHC API.
  ☆15Updated 7 years ago
• jwiegley / logging
  ☆15Updated 2 years ago
• msuperdock / vim-agda
  Asynchronous type-checking for Agda 2.6.2.
  ☆22Updated 8 months ago
• fumieval / monad-skeleton
  Operational monad library
  ☆30Updated 3 years ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• archambaultv / sexpresso
  Flexible Haskell library for parsing and printing S-Expressions
  ☆20Updated 3 months ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆41Updated 3 weeks ago
• crypto-agda / crypto-agda
  Cryptographic Constructions in the Type Theory of Agda
  ☆52Updated 9 years ago
• fumieval / mason
  fleet-footed ByteString builder
  ☆49Updated 6 months ago
• ekmett / intern
  Hash consing for arbitrary Haskell data types
  ☆25Updated last month
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆44Updated 2 years ago
• ekmett / distributive
  Dual Traversable
  ☆42Updated last year
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated 8 months ago
• yav / dump-core
  ☆45Updated 3 years ago
• sacundim / free-operational
  Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.
  ☆25Updated 7 years ago
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 4 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆38Updated 3 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆48Updated 4 years ago