Alternatives and similar repositories for coq-of-ts

Users that are interested in coq-of-ts are comparing it to the libraries listed below

• riot-ml / scarab
  Benchmarking framework for OCaml
  ☆26Updated last year
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 2 years ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆33Updated 3 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 5 years ago
• corwin-of-amber / ocaml-wasm
  The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel
  ☆43Updated 2 years ago
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆29Updated last year
• ammkrn / timelib
  A date and time library for Lean 4
  ☆12Updated 2 months ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 7 months ago
• wasmerio / wasmer-ocaml
  OCaml bindings for Wasmer
  ☆34Updated 2 years ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆17Updated 3 weeks ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 5 months ago
• imandra-ai / ocaml-gcloud
  OCaml bindings to Google Cloud Platform APIs
  ☆25Updated 3 weeks ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆23Updated last year
• hopv / r_type
  A model-checker for caml programs.
  ☆13Updated 4 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• ocaml / ocamlfind
  The OCaml findlib library manager
  ☆34Updated 7 months ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆27Updated 2 weeks ago
• leeor / rescript-ppx-let
  Jane Street's `ppx_let` repackaged for `npm`
  ☆16Updated 4 years ago
• leostera / q-lang
  ☆14Updated last year
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated last year
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆30Updated 4 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆60Updated 7 months ago
• c-cube / nanoev
  nano IO event loop
  ☆11Updated 3 weeks ago
• Simspace / avaleryar
  A logical authorization system
  ☆51Updated 3 years ago
• ulrikstrid / ocaml-jose
  ☆55Updated 4 months ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆50Updated 8 months ago
• jackpeck / llama2.ml
  Llama2 inference in one file of pure OCaml.
  ☆27Updated last year
• lecopivo / lean4-karray
  ☆13Updated 3 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 years ago