ethframe / reparsec
Small parsec-like parser combinators library with semi-automatic error recovery
☆16Updated 8 months ago
Alternatives and similar repositories for reparsec:
Users that are interested in reparsec are comparing it to the libraries listed below
- Tiny parser combinators library written in Python.☆15Updated 4 months ago
- Supercharge your Python with parts of Lisp and Haskell.☆93Updated last week
- Tools for rapid prototyping of DSL compilers☆83Updated 3 years ago
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- Teaching language LaMa for a compiler course☆74Updated this week
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆17Updated last year
- Python type hints are Turing complete.☆33Updated 2 years ago
- An overview of property-based testing functionality☆61Updated last week
- Types for Python☆87Updated 6 years ago
- Sum Types, aka Tagged Unions, for Python☆43Updated 3 years ago
- Python library to work with algebraic effects☆72Updated 4 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆121Updated 3 years ago
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆47Updated 3 months ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆117Updated last month
- An implementation of Haskell's Prelude in Python using Coconut.☆21Updated 9 months ago
- ☆17Updated 4 years ago
- Hindley-Milner Type Inference implemented in (although not for) Python.☆93Updated 3 years ago
- Компилятор Рефала-5λ☆86Updated last year
- Library for building and working with arbitrary ASTs on top of dataclasses☆21Updated 5 months ago
- FireFox plugin to require an existing VPN connection before accessing specified hosts☆12Updated last month
- ☆37Updated 5 years ago
- Embedding a Prolog-like logic programming language in JavasScript and TypeScript.☆18Updated last year
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆27Updated 3 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆57Updated 2 years ago
- A list of languages that compile to SQL☆67Updated 2 years ago
- A very minimal implementation of the core idea of Hypothesis☆136Updated 9 months ago
- Madlib language compiler☆27Updated 3 months ago
- A dynamic language inspired by Python and E.☆78Updated 4 years ago
- pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…☆40Updated 9 months ago
- Материалы доклада «Функциональная виртуальная реальность: WebVR + Haskell» на FPConf 2017.☆9Updated 7 years ago