Alternatives and similar repositories for ligo

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

• algebraic-dev / nuko
  🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.
  ☆15Updated 3 years ago
• fraidev / tornado
  Tornado is a BitTorrent client written entirely in OCaml.
  ☆58Updated last year
• samueldurantes / haildo
  Toy programming language
  ☆20Updated last year
• o1-labs / ocamlbyexample
  Learn Ocaml by reading code examples
  ☆72Updated 2 years ago
• anmonteiro / httpun
  A high performance, memory efficient, and scalable web server written in OCaml
  ☆58Updated 9 months ago
• aripiprazole / soft
  🧪 | Lisp with REPL and macros which will compile itself
  ☆13Updated 9 months ago
• aripiprazole / lura
  🍞 | IDE focused programming language study
  ☆35Updated last year
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆130Updated 3 months ago
• zed-extensions / ocaml
  OCaml support
  ☆24Updated 4 months ago
• Mishio595 / disml
  Pure OCaml bindings to the Discord API. Mirror of Gitlab repo.
  ☆44Updated 4 years ago
• EduardoRFS / thing
  A programming language, aka a THING
  ☆10Updated 4 years ago
• dhilst / vlisp
  VimL lisp evaluator
  ☆10Updated 4 years ago
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• OCamlPro / wasocaml
  ☆62Updated 10 months ago
• janestreet / parallel
  OxCaml Parallelism
  ☆31Updated 3 months ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆134Updated 3 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆80Updated 3 weeks ago
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 7 years ago
• EduardoRFS / youtube-channel
  ☆50Updated last month
• suri-framework / atacama
  Modern, pure OCaml socket pool for Riot
  ☆43Updated last year
• NickBarnes / inside-ocaml
  Documentation of the OCaml implementation
  ☆52Updated 2 years ago
• tarides / ocaml-platform-installer
  The best way for developers to write software in OCaml
  ☆61Updated 2 years ago
• Khady / modern-ocaml
  Template for an ocaml project with modern tooling
  ☆87Updated 2 weeks ago
• riot-ml / scarab
  Benchmarking framework for OCaml
  ☆26Updated last year
• aripiprazole / eq
  🧮 | Writing an Equation Solver
  ☆34Updated 2 years ago
• EduardoRFS / f-omega
  ☆12Updated 2 years ago
• marigold-dev / easier-proofs
  A project which aim to help engineers to make proves easily
  ☆14Updated 3 years ago
• EduardoRFS / ocaml-migrate-types
  Convert OCaml Types between different major versions
  ☆14Updated 3 years ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆72Updated 3 years ago
• facebook / ocamlrep
  Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and d…
  ☆135Updated this week