Alternatives and similar repositories for Firethorn

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

• iwillspeak / feersum
  A Scheme compiler that targets .NET written in F#
  ☆28Updated 10 months ago
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• reactiveml / rml
  ReactiveML: a programming language for implementing interactive systems.
  ☆20Updated 2 years ago
• rescript-lang / std
  Light weight runtime for ReScript
  ☆15Updated last year
• vain0x / milone-lang
  Self-hosting F#-subset compiler
  ☆47Updated 3 months ago
• Quramy / pico-ml
  A toy programming language which is a subset of OCaml.
  ☆51Updated last week
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 4 months ago
• ocaml-tui / colors
  A pure OCaml library for manipulating colors in different color spaces.
  ☆21Updated last year
• moonbit-community / cmark.mbt
  Cmark.mbt is a CommonMark toolkit for MoonBit.
  ☆27Updated this week
• domdomegg / ottie
  🎓 Web app to help teach HM type inference
  ☆15Updated 2 weeks ago
• 1ml-prime / 1ml
  1ML prototype interpreter
  ☆19Updated 4 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 2 months ago
• gaultier / lox-ocaml
  Implementation of the Lox language in OCaml
  ☆15Updated 5 years ago
• tjammer / schmu
  programming with second class references
  ☆24Updated last month
• ogaml / ogaml
  Ocaml multimedia library
  ☆29Updated 3 years ago
• tpetricek / tiny-systems
  Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch…
  ☆42Updated last year
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆20Updated last year
• gjaldon / simple-diff
  A simple diff algorithm in pure OCaml
  ☆15Updated 4 years 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
• queso-lang / queso
  🧀 A delicious programming language
  ☆36Updated 2 years ago
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆18Updated this week
• diskuv / dkml-installer-ocaml
  The Windows-friendly distribution of OCaml
  ☆62Updated 8 months ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆40Updated 2 weeks ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆63Updated 3 years ago
• ushitora-anqou / aqaml
  Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.
  ☆57Updated 5 years ago
• savonet / ocaml-ssl
  OCaml SSL bindings.
  ☆57Updated 5 months ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• let-def / lrgrep
  Menhir polishing toolbox, for experienced druids
  ☆33Updated last month
• leeor / rescript-ppx-let
  Jane Street's `ppx_let` repackaged for `npm`
  ☆16Updated 4 years ago
• susisu / effects
  Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful
  ☆23Updated 2 years ago