Participle is a Go parser generator and toolkit for building language frontends. It provides a declarative grammar framework that uses reflection and struct tags to map input patterns directly into typed data structures. The library features a stateful lexical analyzer that employs state machines to handle nested or modal patterns. It includes a lexer code generator to produce optimized code, reducing runtime memory allocations and increasing throughput. The project covers recursive descent parsing with support for union types via sealed interfaces and custom parsing logic through interface-
Expr is a high-performance expression evaluation engine and language for Go applications. It functions as a dynamic rule engine that parses and executes custom logic and data validations at runtime without requiring the application to be recompiled. The system utilizes a sandboxed logic executor to run expressions without side effects. It ensures program termination by employing instruction-level loop detection to prevent infinite loops and isolates the evaluation process from the host system. The engine employs a bytecode-based virtual machine and abstract syntax tree analysis to achieve ex
:snake: :cool: Compiler for the COOL programming language targeting the MIPS 32-bit architecture, in Python 3
CakeML: A Verified Implementation of ML
The main features of cakeml/cakeml are: Compilers and Interpreters.
Open-source alternatives to cakeml/cakeml include: alecthomas/participle — Participle is a Go parser generator and toolkit for building language frontends. It provides a declarative grammar… antonmedv/expr — Expr is a high-performance expression evaluation engine and language for Go applications. It functions as a dynamic… antonmedv/ultra-tiny-compiler — Ultra Tiny Compiler. araddon/qlbridge. babel/babel — Babel is a pluggable JavaScript compiler and transpiler that converts modern ECMAScript syntax into… aalhour/pycoolc — :snake: :cool: Compiler for the COOL programming language targeting the MIPS 32-bit architecture, in Python 3.
