Alternatives and similar repositories for escalier:

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

• jaredly / jerd
  ☆36Updated 3 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 6 months ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆43Updated 8 years ago
• strega-nil / stregaml
  Experimenting with a language implementation in ocaml
  ☆32Updated 5 years ago
• rescript-lang / std
  Light weight runtime for ReScript
  ☆15Updated last year
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated last year
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• lessp / revery-minimal-template
  A minimal template for getting started with Revery
  ☆11Updated 3 years ago
• effectsjs / effectsjs
  Algebraic Effects in Javascript
  ☆46Updated 2 years ago
• queso-lang / queso
  🧀 A delicious programming language
  ☆36Updated 2 years ago
• VictorTaelin / Taelang
  my personal lang
  ☆15Updated last year
• bobzhang / import-rescript-based-library
  An example to show JS users can use Rescript based library without using ReScript
  ☆15Updated 4 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• zth / rescript-embed-lang
  A general purpose PPX and library for embedding other languages into ReScript, via code generation.
  ☆19Updated 7 months ago
• dherman / es4
  Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.
  ☆25Updated 10 years ago
• atennapel / practical-type-inference
  Implementation of "practical type inference for arbitrary-rank types" in Javascript
  ☆10Updated 5 years ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago
• madlib-lang / madlib
  Madlib language compiler
  ☆27Updated last month
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 8 years ago
• grain-lang / binaryen.ml
  OCaml bindings for Binaryen.
  ☆49Updated last year
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• kengorab / abra-lang
  🧙‍♂️A small programming language with static typing and native compilation, selfhosted
  ☆30Updated this week
• aaronabramov / ll
  ☆12Updated 4 months ago
• revery-ui / reason-skia
  Reason bindings for the skia 2D graphics library https://skia.org/
  ☆35Updated 4 years ago
• lemaetech / wtr
  HTTP request routing library for OCaml web applications.
  ☆40Updated last year
• leostera / q-lang
  ☆14Updated last year
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆98Updated 10 months ago
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆52Updated last week
• jchavarri / rebez
  Cubic bezier implementation in Reason / OCaml.
  ☆31Updated 5 years ago
• zth / rescript-bun
  Use Bun with ReScript.
  ☆61Updated 3 months ago