ethframe / reparsecLinks
Small parsec-like parser combinators library with semi-automatic error recovery
☆16Updated 9 months ago
Alternatives and similar repositories for reparsec
Users that are interested in reparsec are comparing it to the libraries listed below
Sorting:
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- Supercharge your Python with parts of Lisp and Haskell.☆95Updated last month
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆57Updated 2 years ago
- Tiny parser combinators library written in Python.☆15Updated 2 weeks ago
- FizzBuzz, formally verified, provably correct☆26Updated 2 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆18Updated last year
- Types for Python☆87Updated 6 years ago
- Python type hints are Turing complete.☆33Updated 2 years ago
- Python library to work with algebraic effects☆74Updated 4 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆102Updated last year
- Tools for rapid prototyping of DSL compilers☆85Updated 4 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- hyphen - access Haskell modules from Python☆100Updated 11 months ago
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Updated 2 years ago
- Examples for Haskell bindings to LLVM☆72Updated 4 years ago
- ☆17Updated 4 years ago
- 301 moved permanently https://github.com/python-parsy/parsy☆42Updated 7 years ago
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated 8 months ago
- ClickHouse Native protocol driver in Haskell☆40Updated this week
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- An implementation of Haskell's Prelude in Python using Coconut.☆21Updated 10 months ago
- Madlib language compiler☆27Updated 5 months ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 3 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
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆28Updated 3 years ago
- Unofficial OCaml Standard Library Docs - Modern Theme☆11Updated 6 years ago
- ☆17Updated 4 years ago
- Sum Types, aka Tagged Unions, for Python☆43Updated 3 years ago
- Facilities for generating dependently-typed data☆26Updated 2 weeks ago
- Pyrolog: A Prolog interpreter written in Python using the PyPy translator toolchain. Clone of https://bitbucket.org/cfbolz/pyrolog☆24Updated 11 years ago