Alternatives and similar repositories for min-caml-rust

Users that are interested in min-caml-rust are comparing it to the libraries listed below

• fetburner / Udon

  View on GitHub
  A Hobby implementation of ML
  ☆16Dec 19, 2015Updated 10 years ago
• amutake / docker-satysfi

  View on GitHub
  Docker images for SATySFi and Satyrographos
  ☆26Dec 11, 2025Updated 2 months ago
• momohatt / hscaml

  View on GitHub
  yet another toy OCaml interpreter in Haskell
  ☆12Jul 5, 2020Updated 5 years ago
• qnighy / logic-solver-rs

  View on GitHub
  ☆46Jan 9, 2023Updated 3 years ago
• k16shikano / markdown-tex

  View on GitHub
  markdown processor in TeX
  ☆19May 13, 2021Updated 4 years ago
• KOBA789 / ssh-rev-exec

  View on GitHub
  Execute command in local client from remote host
  ☆24Jun 21, 2025Updated 7 months ago
• maekawatoshiki / rcaml

  View on GitHub
  rcaml is an OCaml implementation in Rust
  ☆63Dec 25, 2017Updated 8 years ago
• nwtnni / tigerc

  View on GitHub
  Compiler for the Tiger programming language
  ☆12Oct 27, 2018Updated 7 years ago
• bittn / bittn

  View on GitHub
  bittn compiler infrastructure
  ☆11Oct 12, 2020Updated 5 years ago
• nagaet / Garrigue-lecture-2018_AW

  View on GitHub
  ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
  ☆13Feb 27, 2019Updated 6 years ago
• seccamp2018-tls13 / seccamp2018-tls13

  View on GitHub
  XII : TLS1.3/暗号ゼミ [全国大会2018-集中開発コース]
  ☆16Dec 22, 2018Updated 7 years ago
• rust-shogi-crates / shogi_core

  View on GitHub
  Defines fundamental data types and functions
  ☆11Dec 21, 2025Updated last month
• ksk / Rho

  View on GitHub
  Programs for checking the ρ property
  ☆17Feb 28, 2021Updated 4 years ago
• konn / satysfi-steamer

  View on GitHub
  Steamer: presentation in SATySFi
  ☆14May 9, 2019Updated 6 years ago
• yutopp / rill

  View on GitHub
  Statically typed system programming language for 文鳥
  ☆94Feb 22, 2021Updated 4 years ago
• cympfh / cumin

  View on GitHub
  Mini-Programmable Configuration Language
  ☆17Sep 11, 2024Updated last year
• jordanly / SML-Tiger-Compiler

  View on GitHub
  A Tiger compiler written in SML.
  ☆13May 7, 2015Updated 10 years ago
• junrushao / Final-Fanatic-Facility

  View on GitHub
  A C compiler with SSA-based backend optimzation
  ☆15Mar 19, 2016Updated 9 years ago
• xguerin / ppx_bitstring

  View on GitHub
  PPX plugin for the OCAML OPAM bitstring package
  ☆16Jan 10, 2018Updated 8 years ago
• gfngfn / otfed

  View on GitHub
  An OpenType font format encoder & decoder written in OCaml
  ☆19Nov 6, 2024Updated last year
• hhatto / cargo-strict

  View on GitHub
  avoid unwrap() method
  ☆20Feb 6, 2026Updated last week
• puripuri2100 / mdbook-satysfi

  View on GitHub
  A mdbook backend for generating SATySFi documents.
  ☆19Feb 5, 2023Updated 3 years ago
• slak44 / ckompiler

  View on GitHub
  A C compiler written in Kotlin
  ☆19Jun 22, 2024Updated last year
• pandaman64 / sabi

  View on GitHub
  Formal semantics of Rust
  ☆23Apr 9, 2021Updated 4 years ago
• takoeight0821 / malgo

  View on GitHub
  A statically typed functional programming language.
  ☆46Feb 7, 2026Updated last week
• confucianzuoyuan / Introduction-to-Algorithms

  View on GitHub
  ☆18Dec 28, 2018Updated 7 years ago
• dwango / fialyzer

  View on GitHub
  [WIP] Faster Implementation of Dialyzer
  ☆56Apr 4, 2024Updated last year
• yallop / ocaml-pb

  View on GitHub
  An OCaml library for describing Protobuf messages
  ☆30Feb 4, 2021Updated 5 years ago
• nineties / category-seminar

  View on GitHub
  Materials for category theory seminar
  ☆28Jul 30, 2025Updated 6 months ago
• matsumotory / k2i

  View on GitHub
  Kernel Parameters Interface using HTTP
  ☆25Dec 26, 2018Updated 7 years ago
• tschuett / mlir-rustc

  View on GitHub
  Experimental MLIR Rust compiler
  ☆28Sep 3, 2023Updated 2 years ago
• KernelAnalysisPlatform / kvalgrind

  View on GitHub
  Valgrind for kernel mode software.
  ☆26Jul 21, 2016Updated 9 years ago
• qnighy / umo

  View on GitHub
  A programming language (WIP)
  ☆29Jun 2, 2024Updated last year
• kenkoooo / optpy

  View on GitHub
  optpy is a transpiler to generate a Rust file from a Python file
  ☆25Dec 15, 2022Updated 3 years ago
• recolude / rap

  View on GitHub
  Official format for time series data captured from 3D Engines.
  ☆12May 14, 2023Updated 2 years ago
• YouyouCong / ppl-summer-school-2022

  View on GitHub
  ☆26Sep 29, 2022Updated 3 years ago
• ParkerK / Tigpiler

  View on GitHub
  A simple Tiger to MIPS compiler, written in Standard-ML
  ☆23Jul 31, 2013Updated 12 years ago
• wtsnjp / texlive-ja

  View on GitHub
  Japanese translation for the "TeX Live Guide"
  ☆27Mar 25, 2025Updated 10 months ago
• maekawatoshiki / lit-x86

  View on GitHub
  Lit is a programming language designed fast & light weight with LLVM
  ☆26Mar 15, 2017Updated 8 years ago