ethframe / reparsecLinks
Small parsec-like parser combinators library with semi-automatic error recovery
☆16Updated 10 months ago
Alternatives and similar repositories for reparsec
Users that are interested in reparsec are comparing it to the libraries listed below
Sorting:
- Python type hints are Turing complete.☆33Updated 2 years ago
- Python library to work with algebraic effects☆74Updated 4 years ago
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆48Updated 5 months ago
- Tiny parser combinators library written in Python.☆15Updated last month
- Supercharge your Python with parts of Lisp and Haskell.☆95Updated 2 months ago
- FizzBuzz, formally verified, provably correct☆27Updated 2 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆44Updated 3 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆57Updated 2 years ago
- Algebraic data types for Python (experimental, not actively maintained)☆173Updated 4 years ago
- hyphen - access Haskell modules from Python☆101Updated last year
- Teaching language LaMa for a compiler course☆75Updated last month
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Updated 2 years ago
- The category theory by example book☆59Updated last year
- Types for Python☆87Updated 6 years ago
- Tools for rapid prototyping of DSL compilers☆85Updated 4 years ago
- ClickHouse Native protocol driver in Haskell☆40Updated this week
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆104Updated last year
- Компилятор Рефала-5λ☆86Updated last month
- Haskell language tools for Python☆160Updated 5 years ago
- Coq Lecture Notes (WIP)☆54Updated 4 years ago
- ☆17Updated 4 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 3 years ago
- Я - extremely composable embeddable programming language☆67Updated this week
- A very minimal implementation of the core idea of Hypothesis☆137Updated 11 months ago
- A universal Python parser combinator library inspired by Parsec library of Haskell.☆221Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆40Updated 6 months ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago