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
• 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 last year
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆49Updated 5 months ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 2 months ago
• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆37Updated 2 years ago
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 8 months ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆32Updated 2 years ago
• Ucombinator / parsing-with-zippers
  A clean implementation of Parsing with Zippers.
  ☆37Updated 6 years ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• rescript-lang / std
  Light weight runtime for ReScript
  ☆15Updated last year
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last week
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 2 years ago
• leeor / rescript-ppx-let
  Jane Street's `ppx_let` repackaged for `npm`
  ☆16Updated 4 years ago
• jackpeck / llama2.ml
  Llama2 inference in one file of pure OCaml.
  ☆27Updated last year
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆58Updated 4 months ago
• shrynx / reasonz
  A Haskell fan fiction for ReasonML
  ☆20Updated 6 years ago
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 6 years ago
• EduardoRFS / ppx_implicits
  ☆25Updated 3 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 6 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 2 months ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆40Updated 4 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• hopv / r_type
  A model-checker for caml programs.
  ☆13Updated 3 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆42Updated last month
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆15Updated 8 months ago