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
347 stars
15 watching
44 forks
Language: OCaml
last commit: 2 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 | 466 |
 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 | 320 |
 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 | 83 |
 theontologist/ontoverbal | Generates natural language descriptions for ontology classes written in OWL | 3 |
 ocaml-community/sedlex | A tool for generating Unicode-friendly lexers in OCaml | 240 |
 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,390 |
 ptal/oak | A tool for generating parsers from grammars described in a high-level syntax | 142 |