ott
Language definition generator
A tool for generating formal definitions and typeset output from a concise ASCII notation of programming languages and calculi
The Ott tool for writing definitions of programming languages and calculi
349 stars
15 watching
45 forks
Language: OCaml
last commit: 11 months ago
Linked from 1 awesome list
coq-community/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
 the-sett/salix | A language for code generation and data modeling | 6 |
 ocaml-ppx/ppx_deriving | A library simplifying type-driven code generation in OCaml | 469 |
 kscanne/orthotree | A tool for generating large phylogenetic language trees based on orthographic distance | 10 |
 camlp4/camlp4 | A tool for writing extensible parsers for programming languages using OCaml's abstract syntax tree (AST) system. | 101 |
 ocaml/odoc | Generates documentation for OCaml and Reason programming languages | 325 |
 erlware/relx | Generates Erlang/OTP releases by assembling application code and dependencies | 696 |
 tmattio/spin | Generates OCaml project templates with standardized configurations and conventions. | 295 |
 smithy-lang/smithy-kotlin | A tool for generating Kotlin code from Smithy models | 84 |
 theontologist/ontoverbal | Generates natural language descriptions for ontology classes written in OWL | 3 |
 ocaml-community/sedlex | A Unicode-friendly lexer generator for OCaml. | 244 |
 kit-ty-kate/labrys | A compiler for a toy language based on LLVM that implements the System Fω type-system | 103 |
 ota-meshi/yaml-eslint-parser | A YAML parser that produces output compatible with ESLint | 10 |
 lexifi/lrt | A package providing runtime type representations and a syntax extension to synthesize them from OCaml types | 32 |
 erlang/otp | A runtime system and set of libraries designed to build highly available, real-time systems | 11,445 |
 ptal/oak | A tool for generating parsers from grammars described in a high-level syntax | 143 |