Alternatives and similar repositories for coq-of-ts

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

• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆33Updated 3 years ago
• wasmerio / wasmer-ocaml
  OCaml bindings for Wasmer
  ☆34Updated 2 years ago
• Nymphium / openai-ocaml
  OCaml bindings for OpenAI API
  ☆17Updated last year
• corwin-of-amber / ocaml-wasm
  The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel
  ☆43Updated 2 years ago
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆27Updated 2 years ago
• leostera / q-lang
  ☆14Updated last year
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated last year
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆105Updated 2 years ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆17Updated last month
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆52Updated 3 weeks ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 years ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 7 months ago
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• jackpeck / llama2.ml
  Llama2 inference in one file of pure OCaml.
  ☆27Updated last year
• leeor / rescript-ppx-let
  Jane Street's `ppx_let` repackaged for `npm`
  ☆16Updated 4 years ago
• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆38Updated 3 years ago
• owo-lang / Mini-TT
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18Updated 6 years ago
• ELLIOTTCABLE / bs-deriving
  Type-driven code generation for OCaml, ReasonML, and BuckleScript
  ☆42Updated 2 years ago
• EduardoRFS / ppx_implicits
  ☆25Updated 4 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆23Updated 2 years ago
• semgrep / ocaml-tree-sitter-core
  OCaml code generator and runtime library for handling typed tree-sitter CSTs
  ☆32Updated last week
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 5 months ago
• TheSpyder / rescript-fast-check
  Home of bindings to fast-check
  ☆49Updated last year
• LaurentMazare / ocaml-wasmtime
  OCaml WebAssembly runtime powered by Wasmtime
  ☆35Updated 3 years ago
• grimheart-lang / grimheart
  Grimheart is a purely functional programming language with a rich type system.
  ☆12Updated 3 years ago
• jaredly / jerd
  ☆37Updated 3 years ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆51Updated 9 months ago
• Risto-Stevcev / bs-free
  Free monads for bucklescript
  ☆25Updated 6 years ago