KvanTTT / AntlrBenchmarksLinks
Collection of benchmarks that reveal the performance of some lexing and parsing issues (mostly C# runtime)
☆10Updated 3 years ago
Alternatives and similar repositories for AntlrBenchmarks
Users that are interested in AntlrBenchmarks are comparing it to the libraries listed below
Sorting:
- Spoofax runtime☆160Updated 9 months ago
- GAPT: General Architecture for Proof Theory☆107Updated last month
- Core components for the Scribble Java tools☆58Updated last year
- Extensible stream pipelines with object algebras.☆26Updated 10 years ago
- ☆21Updated 2 years ago
- ☆83Updated 11 months ago
- ☆143Updated 3 years ago
- Teaching language LaMa for a compiler course☆79Updated last month
- Solver for higher-order functional programs, used by Stainless☆93Updated 2 weeks ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 8 years ago
- JVM Abstracting Abstract Machine☆25Updated 7 years ago
- Refinement type checker for Java with liquid types and typestates - catch bugs at compile time☆52Updated last week
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated 2 weeks ago
- Scala library for parsing and printing the SMT-LIB format☆46Updated 3 years ago
- The Leon system for verification, synthesis, repair☆168Updated last year
- ☆56Updated 9 months ago
- Introduction to algebraic effects and handlers☆99Updated 7 years ago
- Bolts: Stainless Verified Scala Examples☆29Updated this week
- A comparison of how computational effects and handlers are implemented in various programming languages.☆144Updated 6 years ago
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- (Abstract) Abstract Machine Experiments using Scala☆36Updated 5 years ago
- Library-based Language Extensibility☆39Updated 11 years ago
- Compilation and Verification of Data-Centric Languages☆57Updated last year
- The Brown Benchmark for Table Types (B2T2)☆67Updated 6 months ago
- CMU Undergrad Course☆95Updated 2 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆66Updated 3 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆29Updated 3 years ago
- Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski☆33Updated 6 years ago
- generative programming & verification☆34Updated 7 months ago
- The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course☆31Updated 7 years ago