Alternatives and similar repositories for parsing-menhir

Users that are interested in parsing-menhir are comparing it to the libraries listed below

• Fizzixnerd / ocaml-living

  View on GitHub
  A safer FFI interface for OCaml
  ☆11Jul 20, 2024Updated last year
• techcentaur / Krivine-Machine

  View on GitHub
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆45Apr 8, 2018Updated 7 years ago
• afeinberg / ocaml-tinylisp

  View on GitHub
  An absurdly tiny Lisp interpreter in OCaml
  ☆32Dec 11, 2011Updated 14 years ago
• adamrk / llvm-ocaml-tutorial

  View on GitHub
  The LLVM tutorial using OCaml
  ☆60Apr 9, 2020Updated 5 years ago
• troydm / micro

  View on GitHub
  trivial micro compiler written in OCaml
  ☆66Feb 15, 2019Updated 7 years ago
• andrejbauer / faux-type-theory

  View on GitHub
  ☆48Jan 30, 2026Updated 2 weeks ago
• lukstafi / curious-ocaml

  View on GitHub
  A curious book about OCaml: logic (types), algebra (values), computation (semantics), functions (lambda calculus), constraints, monads, a…
  ☆40Jan 29, 2026Updated 2 weeks ago
• claby2 / camlcade

  View on GitHub
  🐫🎮 OCaml Game Engine
  ☆44Mar 20, 2025Updated 10 months ago
• tov / alms

  View on GitHub
  The Alms Programming Language
  ☆44Aug 29, 2018Updated 7 years ago
• NHERI-SimCenter / SimCenterBootcamp2022

  View on GitHub
  ☆13Jul 22, 2022Updated 3 years ago
• vahidzee / dypy

  View on GitHub
  Toolkit for Dynamic Python code manipulations
  ☆11Oct 19, 2024Updated last year
• Saffron-sh / m2m

  View on GitHub
  A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.
  ☆24Jan 11, 2026Updated last month
• squarebridges / megatron

  View on GitHub
  ☆11Feb 2, 2021Updated 5 years ago
• ezyang / pl-class-public

  View on GitHub
  Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages
  ☆41May 6, 2022Updated 3 years ago
• marmelab / ocaml-invader

  View on GitHub
  Ocaml Space-Invader implementation using OpenGL
  ☆30Jan 29, 2020Updated 6 years ago
• mukul-rathi / bolt

  View on GitHub
  Bolt is a language with in-built data-race freedom!
  ☆600Nov 24, 2023Updated 2 years ago
• CIS1900 / 2022-fall

  View on GitHub
  ☆13Sep 5, 2024Updated last year
• jar3m / c_data_structures

  View on GitHub
  A generic data structures and algorithms library using C
  ☆12Nov 13, 2022Updated 3 years ago
• TUM-DSE / sys-lab

  View on GitHub
  Computer Systems Lab
  ☆11Oct 16, 2025Updated 4 months ago
• angrave / CS341-Lectures-SP24

  View on GitHub
  CS341 for Spring 2024
  ☆11Jul 15, 2024Updated last year
• ivanmurashko / lectures

  View on GitHub
  My own lectures on quantum optics and quantum computations (in Russian)
  ☆13Dec 10, 2024Updated last year
• vijay03 / cs380d-f23

  View on GitHub
  CS 380D Distributed Systems at UT Austin with Vijay Chidambaram
  ☆12Oct 19, 2023Updated 2 years ago
• asfhiolNick / NTU_PhysicalDesign_201902

  View on GitHub
  張耀文老師的"奈米積體電路實體設計"作業(Physical Design)
  ☆10Jan 18, 2024Updated 2 years ago
• eventhelix / open-lte

  View on GitHub
  An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)
  ☆10Mar 7, 2017Updated 8 years ago
• loongson / binutils-gdb

  View on GitHub
  Unofficial mirror of sourceware binutils-gdb repository. Updated daily.
  ☆11Mar 21, 2023Updated 2 years ago
• adasegroup / ML2023_lectures

  View on GitHub
  Repository containing lectures from 2023 Machine Learning course
  ☆11Mar 14, 2023Updated 2 years ago
• warrpy / 3D-Movement-and-Animations

  View on GitHub
  Demo shows third-person movement, how animation and state machines work in Godot Engine.
  ☆10Jan 5, 2022Updated 4 years ago
• ShichenLiu / C-compiler

  View on GitHub
  C to LLVM / Python compiler
  ☆10Jan 17, 2017Updated 9 years ago
• askvortsov1 / hardcaml-mips

  View on GitHub
  ☆41May 19, 2022Updated 3 years ago
• shift-society / salon

  View on GitHub
  Salon des Refusés - Dialectics for new computer science
  ☆11Feb 6, 2019Updated 7 years ago
• pkhuong / aerie

  View on GitHub
  Aerie: a regex-like engine nested word grammars
  ☆16Feb 5, 2022Updated 4 years ago
• Kha / do-supplement

  View on GitHub
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Feb 15, 2025Updated last year
• JeffBezanson / dataflow.jl

  View on GitHub
  introduction to dataflow analysis using julia
  ☆14Oct 26, 2020Updated 5 years ago
• ytxgou988 / Crawler_Job

  View on GitHub
  爬取北邮人以及水木清华论坛的招聘信息
  ☆10Aug 25, 2013Updated 12 years ago
• ImperialCollegeLondon / grad_school_git_course

  View on GitHub
  Using Git to Code, Collaborate and Share
  ☆14Oct 9, 2024Updated last year
• hankshyu / Digital-Design

  View on GitHub
  Hardware Description Language on FPGA
  ☆10Sep 18, 2023Updated 2 years ago
• andrewcrotty / cs496-f22

  View on GitHub
  CS 496: Special Topics in Data Systems Seminar (Fall 2022)
  ☆11Nov 15, 2022Updated 3 years ago
• nuskey8 / docs-rs-mcp

  View on GitHub
  An MCP server that enables searching for Rust crates and their documentation from crates.io and docs.rs.
  ☆22Jul 31, 2025Updated 6 months ago
• abersheeran / clash-to-v2rayN

  View on GitHub
  转换 Clash 订阅格式到 v2rayN 订阅格式
  ☆11Oct 11, 2024Updated last year