Alternatives and similar repositories for coq-of-ts

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

• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 5 months 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
• 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
  ☆28Updated last year
• purescript / purescript-ordered-collections
  Purely functional map and set data structures
  ☆36Updated last year
• ammkrn / timelib
  A date and time library for Lean 4
  ☆12Updated last month
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated 2 months ago
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆32Updated 2 years ago
• ManasJayanth / reason-on-multicore
  Writing multicore programs with Reason
  ☆15Updated 4 years ago
• wasmerio / wasmer-ocaml
  OCaml bindings for Wasmer
  ☆34Updated 2 years ago
• susisu / effects
  Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful
  ☆23Updated 2 years ago
• hopv / r_type
  A model-checker for caml programs.
  ☆13Updated 4 years ago
• rzrn / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 11 months ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆23Updated 11 months ago
• grimheart-lang / grimheart
  Grimheart is a purely functional programming language with a rich type system.
  ☆12Updated 3 years ago
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆11Updated 3 months ago
• leeor / rescript-ppx-let
  Jane Street's `ppx_let` repackaged for `npm`
  ☆16Updated 4 years ago
• Risto-Stevcev / bs-free
  Free monads for bucklescript
  ☆25Updated 6 years ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆12Updated 4 months ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆30Updated 4 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• ELLIOTTCABLE / bs-deriving
  Type-driven code generation for OCaml, ReasonML, and BuckleScript
  ☆42Updated 2 years ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 2 years ago
• extism / lean4-sdk
  Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications
  ☆18Updated 6 months ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• T-Brick / lean2wasm
  Tool for compiling Lean to WASM
  ☆19Updated last year
• owo-lang / Mini-TT
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18Updated 6 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 10 months ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆19Updated 6 years ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆36Updated 6 months ago