Alternatives and similar repositories for lojysamban:

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

• YoshikuniJujo / lojban_parser
  lojban parser
  ☆23Updated 10 years ago
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 3 years ago
• lukemaurer / sequent-core
  Alternative Core language for GHC plugins
  ☆39Updated 8 years ago
• haskell-vanguard / haskell-vanguard
  Operation Vanguard: fixing a number of Haskell packages at once
  ☆11Updated 5 years ago
• sacundim / free-operational
  Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.
  ☆25Updated 7 years ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• ekmett / adjunctions
  Simple adjunctions
  ☆44Updated last year
• edwinb / ConcIO
  Concurrent IO language with Uniqueness Types
  ☆9Updated 9 years ago
• fumieval / monad-skeleton
  Operational monad library
  ☆30Updated 3 years ago
• archive567 / tower
  Deprecated in favour of https://github.com/tonyday567/numhask
  ☆14Updated 7 years ago
• minoki / rounded-hw
  Directed rounding and interval arithmetics with builtin floating types
  ☆11Updated 2 years ago
• LightAndLight / lambdapi
  Educational implementation of dependent types
  ☆19Updated 6 years ago
• haskell-suite / haskell-names
  Haskell suite library for name resolution
  ☆52Updated last year
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• mhwombat / creatur
  Framework for artificial life and other evolutionary algorithms.
  ☆29Updated 2 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆35Updated 3 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 3 months ago
• yi-editor / yi-rope
  Rope data structure used by Yi
  ☆19Updated 6 years ago
• sjoerdvisscher / fmlist
  FoldMap lists
  ☆12Updated last year
• sabauma / agda-relation-algebra
  Relational algebra implementation in Agda with simple bindings to SQLITE
  ☆12Updated last year
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 4 years ago
• crypto-agda / crypto-agda
  Cryptographic Constructions in the Type Theory of Agda
  ☆52Updated 9 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆41Updated 3 weeks ago
• edsko / tracetree
  Visualization of Haskell data structures
  ☆15Updated 11 months ago
• acowley / BostonHaskell2015
  [Talk] Framing the Discussion with EDSLs
  ☆9Updated 9 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• mpickering / plugin-constraint
  ☆10Updated 6 years ago
• tanakh / optparse-declarative
  Declarative command-line option parser
  ☆58Updated last year
• ChrisPenner / Candor
  A toy Parser+Compiler+Typechecker
  ☆12Updated last year