ethframe / reparsec
Small parsec-like parser combinators library with semi-automatic error recovery
☆16Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for reparsec
- Tools for rapid prototyping of DSL compilers☆83Updated 3 years ago
- A Pythonic implementation of *microkanren* logic language☆9Updated 3 years ago
- Python type hints are Turing complete.☆29Updated last year
- Refinement types + dependent types = ❤️☆58Updated 2 years ago
- Types for Python☆86Updated 6 years ago
- An overview of property-based testing functionality☆54Updated 6 months ago
- Debugger in the Trepan family for x-python☆17Updated last week
- Unofficial OCaml Standard Library Docs - Modern Theme☆11Updated 6 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- Supercharge your Python with parts of Lisp and Haskell.☆91Updated last month
- An experimental language server for SomewhatML☆24Updated last year
- Examples for Haskell bindings to LLVM☆71Updated 3 years ago
- ☆35Updated 5 years ago
- Write compiled bytecode inline with pure Python. 🤖☆76Updated 2 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Teaching language LaMa for a compiler course☆70Updated this week
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆13Updated 10 months ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated last year
- Yet another PEG parser combinator library and DSL☆57Updated last year
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- An implementation of Haskell's Prelude in Python using Coconut.☆21Updated 3 months ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆42Updated 2 years ago
- A Python backed for Idris 2☆20Updated 3 weeks ago
- EGraphs in OCaml☆60Updated 10 months ago
- Sum Types, aka Tagged Unions, for Python☆42Updated 2 years ago
- Madlib language compiler☆29Updated 3 months ago
- Translate Python's bytecode to data and back again...☆18Updated 3 weeks ago
- Emmet-like text expansion tool capable to produce HTML, CSS, file trees, that stuff☆20Updated 2 months ago
- A minimalist / functional / dataflow programming language☆13Updated 6 months ago