ethframe / reparsec
Small parsec-like parser combinators library with semi-automatic error recovery
☆16Updated 5 months ago
Alternatives and similar repositories for reparsec:
Users that are interested in reparsec are comparing it to the libraries listed below
- Supercharge your Python with parts of Lisp and Haskell.☆91Updated 3 months ago
- Library for building and working with arbitrary ASTs on top of dataclasses☆22Updated 2 months ago
- Python type hints are Turing complete.☆31Updated 2 years ago
- Tools for rapid prototyping of DSL compilers☆83Updated 3 years ago
- An overview of property-based testing functionality☆56Updated 7 months ago
- Tiny parser combinators library written in Python.☆14Updated 3 weeks ago
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- A Pythonic implementation of *microkanren* logic language☆9Updated 4 years ago
- Examples for Haskell bindings to LLVM☆71Updated 3 years ago
- Simple Dependency Injection library for Python. Supports both synchronous and asynchronous contexts and offers features like resource lif…☆25Updated last week
- An implementation of Haskell's Prelude in Python using Coconut.☆21Updated 5 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆98Updated 11 months ago
- Sum Types, aka Tagged Unions, for Python☆43Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated this week
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆43Updated 2 years ago
- A Python library that allows you to define abstract properties for dataclasses, bridging the gap between abstract base classes (ABCs) and…☆14Updated last month
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆57Updated last year
- Purely functional data structures in Koka☆9Updated 3 years ago
- type-safe exceptions for Python 👷☆30Updated 2 years ago
- FireFox plugin to require an existing VPN connection before accessing specified hosts☆11Updated 6 months ago
- A Lean 4 formalization of partial combinatory algebras.☆12Updated last week
- Types for Python☆86Updated 6 years ago
- Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff☆20Updated 4 months ago
- Formalization of some elementary mathematical theories in Coq☆14Updated 4 years ago
- Using Haskell's type system to guarantee commutativity.☆18Updated 11 years ago
- ☆33Updated 9 months ago
- Types that make coding in Python quick and safe.☆22Updated 5 years ago