Alternatives and similar repositories for pyparsec

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

• Mesabloo / jellyvm
  A VM written following the Linear Abstract Machine architecture
  ☆22Updated 5 years ago
• kprotty / lazer
  A programming language focused on concurrency and low memory usage
  ☆12Updated 6 years ago
• thinkpad20 / rowling
  A simple, easily embeddable pure-functional language with static typing and row polymorphism.
  ☆10Updated 9 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 4 months ago
• ibrahimsag / rw
  an experiment in presenting code.
  ☆14Updated 4 years ago
• norm2782 / NanoProlog
  ☆17Updated 2 years ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 8 years ago
• LightAndLight / idris-but-its-c
  Idris, but it's C
  ☆24Updated 7 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 9 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 8 months ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 months ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated last month
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆29Updated last year
• ekmett / keep
  playing with resumable computations
  ☆13Updated 5 years ago
• mniip / yoctoparsec
  A truly tiny monadic parsing library
  ☆28Updated 4 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• githwxi / ATS-Postiats-contrib
  ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats
  ☆48Updated 4 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago