menhir

There are 1 repository under menhir topic.

• davesnx / query-json

  Faster, simpler and more portable implementation of `jq` in Reason

  jsonmenhirocamlreasonreason-nativereasonmlsedlex
  Language:Reason 589

• smolkaj / nice-parser

  Nice parsers in OCaml without the boilerplate

  ocamlmenhirboilerplateparsinglexingparser-generatorocamllexdune
  Language:OCaml 121

• noti0na1 / socc

  Simple C Compiler in OCaml

  assemblyccompilerlexerlinuxmenhirocamlocamllexparserx64
  Language:OCaml 85

• jsiebern / re-typescript

  An opinionated attempt at finally solving typescript interop for ReasonML / OCaml.

  bucklescripttypescriptocamldecodingreasonmlreason-reactreasonjsoomenhirparsinglexer
  Language:Reason 71

• Lelio-Brun / Obelisk

  A simple multi-format pretty-printer for Menhir.

  ocamlmenhirparserpretty-printlatex
  Language:OCaml 53

• arocks / punchscript

  A programming language made up of Rajinikanth punch dialogues

  compilerinterpretermenhirocamlrajinikanth
  Language:JavaScript 18

• vshaxe / hxparser

  OCaml/menhir implementation of a new Haxe parser.

  haxeparsermenhir
  Language:OCaml 16

• yurug / menhir-error-recovery

  errormenhirocaml
  Language:OCaml 11

• darnuria / kitty-lang

  An other toy compiler in Ocaml, made with Menhir and Ocamlex for 3I018 compilation course at university

  menhirocamltoy-compileruniversity
  Language:OCaml 9

• bryphe / hello-menhir

  Example app for menhir + reason + esy + dune

  menhirparsingreasonreasonmlesydune
  Language:JavaScript 7

• ChrisLane / custom-lang-compiler

  A compiler to x86 assembly written in OCaml.

  ocamlcompilermenhirx86assembly
  Language:OCaml 7

• inQWIRE / openqasm-parser

  OCaml library for manipulating OpenQASM Abstract Syntax Tree

  openqasm-parserocamlocaml-librarysyntax-treeopenqasmquantum-computingquantummenhiropam
  Language:OCaml 7

• c-cube / smtlib-utils

  A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.

  menhirocamlparsersmt2smtlib
  Language:SMT 5

• lascar-pacagi / MiniJava

  Transpiler from MiniJava to C written in OCaml

  transpilerminijavacocamlmenhirgarbage-collector
  Language:OCaml 5

• thautwarm / rbnf-rts

  Fastest python pgen with rich features. Runtime support for generated parsers of RBNF.hs and a bootstrap with menhir-like syntax sugars.

  parserparser-generatormenhirpython
  Language:Python 5

• unhammer / ocaml_cg_streamparse

  parsing cg stream format, just to learn sedlex+menhir

  sedlexlexingmenhirparser
  Language:OCaml 5

• dario-santos / NatrixCompilerInterpreter

  A compiler for the Natrix language, the final project of the Language Processing course at the University of Beira Interior (UBI).

  ocamlmenhirocamllexcompilernatrixinterpreterubiuniversity-project
  Language:Assembly 4

• chrisnevers / cek-machine

  Implementation of a CEK machine

  cekprogramming-languagelambda-calculusmachinelazymenhir
  Language:OCaml 3

• jgkaplan / whitespaceTranspiler

  Transpile from a simple language to whitespace

  esotericesoteric-languagelanguagewhitespacecustom-languageocamlocaml-programcompilertranspilermenhirocamllex
  Language:OCaml 3

• lebotlan / ocaml-adaparser

  Parser of an approximation of a subset of Ada 2005. Written in Ocaml + Menhir + Lwt + ocamllex

  ocamllexlwtocamlmenhir
  Language:OCaml 3

• talyian / coral-ocaml

  Coral compiler in Ocaml

  menhirlanguageprogramming-languagellvm
  Language:OCaml 3
• MiniOOL

  zfergus / MiniOOL

  A mini object-oriented language. Project for CSCI-GA.3110: Honors Programming Languages (Fall 2018) at New York University.

  course-projectgraduatemenhirnyuocamlprogramming-language
  Language:OCaml 3

• balayette / occ

  A C nanopass compiler written in OCaml

  compilermenhirnanocamlnanopasssedlex
  Language:OCaml 2

• chrisnevers / ck-machine

  Implementation of a CK machine

  ckmachineprogramming-languagelambda-calculusmenhir
  Language:OCaml 2

• chrisnevers / lambda-calculus

  Implementation of the lambda calculus

  functional-programminglambda-calculusmenhirocamlprogramming-languagestype-inference
  Language:OCaml 2

• chrisnevers / type-inference

  Implementation of Algorithm W

  type-inferencealgorithm-wprogramming-languagesmilnerpolymorphismlambda-calculusmenhir
  Language:OCaml 2

• epellis / jsonnet_of_ocaml

  Jsonnet Lexer, Parser, Formatter and Linter written in the OCaml Programming Language.

  dunejsonnetmenhirocaml
  Language:OCaml 2

• gabryon99 / mucomp-lang

  μcomp-lang is a didactic language implemented for Language, Compilers and Interpreters course at UniPi.

  languagesprogrammingcompilerslexerparserocamlmenhirocamllexllvm
  Language:OCaml 2
• Fhree

  marcoantoniocorallo / Fhree

  Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.

  cfacompilercontrol-flow-analysisfuninterpreterlexermenhirocamlocamllexparserpisascannerunipi
  Language:OCaml 2

• adepreis / projet-compilation

  ⚙ Compilation project - Polytech ET4 IT - Noted for S7 (2020)

  ocamlcompilermenhirocamllexparser
  Language:OCaml 1

• angeluriot / Compiler

  A Compiler for a Java-like language to an Assembly-like language.

  compilerocamlocamllexmenhir
  Language:OCaml 1

• fortierq / ocamlpython

  Minimal Python implementation with OCaml + Lex + Menhir

  lexmenhirocamlpython
  Language:OCaml 1

• gabryon99 / imp

  IMP is a small imperative programming language.

  imperativemenhirocamlocamllexprogramming-languagesemantics
  Language:OCaml 1

• iwilare / compiler-course-unipi

  Project and assignments for the "Languages, Interpreters and Compilers" 2020/2021 course @ Department of Computer Science, University of Pisa https://github.com/lillo/compiler-course-unipi

  c-compilercompilerllvmmenhirocaml
  Language:OCaml 1

• maolonglong / bogoscheme

  A subset of Scheme

  menhirocamlocamllexreplschemescheme-interpreter
  Language:OCaml 1

• Mylloon / compilateurMIPS

  Mirror

  c-compilercompilermenhirocaml
  Language:OCaml 1