Alternatives and similar repositories for samlang:

Users that are interested in samlang are comparing it to the libraries listed below

• marcopennekamp / lore
  Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…
  ☆18Updated last year
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆127Updated this week
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• imp-language / imp
  Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
  ☆11Updated 2 years ago
• norswap / uranium
  Semantic analysis framework
  ☆14Updated 2 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆169Updated 3 months ago
• anhnguyen1618 / Tiger-ocaml-llvm-compiler
  A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
  ☆27Updated 2 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆115Updated last year
• Timothy-G-Griffin / cc_cl_cam_ac_uk
  OCaml code for Compiler Construction course at University of Cambridge
  ☆41Updated 4 years ago
• siko-lang / siko_old
  siko
  ☆14Updated last year
• Beluga-lang / Beluga
  Contextual types meet mechanized metatheory!
  ☆186Updated 7 months ago
• MetaBorgCube / IceDust
  A language for data modeling and incremental computing of derived values
  ☆11Updated 9 months ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆66Updated last year
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆52Updated 2 weeks ago
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆366Updated this week
• scribe-lang / scribe
  Scribe Reference Compiler
  ☆22Updated 2 months ago
• b9org / b9
  An educational JS virtual machine based on Eclipse OMR
  ☆45Updated last year
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆220Updated 2 years ago
• stedolan / mlsub
  Prototype type inference engine
  ☆201Updated last month
• kesh-lang / kesh
  A simple little programming language that could one day compile to JavaScript.
  ☆22Updated 2 months ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• tsoding / parcoom
  Parser Combinators of Monad
  ☆35Updated 4 years ago
• diskuv / dkml-installer-ocaml
  The Windows-friendly distribution of OCaml
  ☆62Updated 5 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• wongjiahau / Pineapple
  Definition for Pineapple language and its compiler
  ☆25Updated 6 years ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆98Updated 10 months ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆153Updated 4 years ago
• junlarsen / llvm4j
  Experimental LLVM FFI bindings for the Java Platform
  ☆15Updated 3 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆125Updated 3 years ago
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 3 years ago