formal-land / coq-of-ts

Related projects ⓘ

Alternatives and complementary repositories for coq-of-ts

• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆31Updated 2 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆34Updated last year
• hopv / r_type
  A model-checker for caml programs.
  ☆13Updated 3 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
• isovector / functional-design-patterns
  could it be?
  ☆14Updated 4 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"
  ☆18Updated 5 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆51Updated last year
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• plclub / cbpv-effects-coeffects
  Formalization of CBPV extended with effect and coeffect tracking
  ☆11Updated 2 months ago
• jkoppel / ecta
  ☆33Updated 7 months ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated 4 months 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
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆25Updated 2 years ago
• xnning / MpEff
  Efficient effect handlers based on Evidence Passing Semantics.
  ☆27Updated 3 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 3 years ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆47Updated last month
• RedPRL / algaett
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆33Updated last year
• owo-lang / Mini-TT
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18Updated 5 years ago
• frex-project / idris-frex
  ☆47Updated last month
• daanx / effect-bench
  Benchmarking algebraic effect handler implementations
  ☆24Updated 3 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆33Updated last week
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆47Updated 3 months ago
• leeor / rescript-ppx-let
  Jane Street's `ppx_let` repackaged for `npm`
  ☆16Updated 4 years ago
• wasmerio / wasmer-ocaml
  OCaml bindings for Wasmer
  ☆33Updated 2 years ago