Alternatives and similar repositories for kitty-lang

Users that are interested in kitty-lang are comparing it to the libraries listed below

• OCamlPro / mikino_bin
  A simple induction and BMC engine.
  ☆23Updated 3 years ago
• rust-formal-methods / wg
  ☆22Updated 3 years ago
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆23Updated 2 months ago
• pandaman64 / sabi
  Formal semantics of Rust
  ☆23Updated 4 years ago
• m4b / raml
  OCaml runtime and FFI bindings directly in Rust
  ☆79Updated 8 years ago
• janestreet / async_unix
  Jane Street Capital's asynchronous execution library (unix)
  ☆33Updated last month
• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆22Updated 4 months ago
• tizoc / ocaml-interop
  OCaml<->Rust FFI with an emphasis on safety.
  ☆143Updated last month
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 2 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated 2 years ago
• gchp / rust-compiler-plugin-example
  A simple example for a Rust compiler plugin
  ☆11Updated 8 years ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆67Updated 5 years ago
• andresilva / rust-okasaki
  Purely Functional Data Structures in Rust
  ☆43Updated 9 years ago
• hipsleek / Heifer
  Verifier for effectful, higher-order programs
  ☆17Updated this week
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 4 months ago
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆43Updated 6 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆36Updated last month
• nikomatsakis / borrowck
  Modeling NLL and the Rust borrowck
  ☆83Updated 7 years ago
• hayatoito / tapl-in-rust
  ☆28Updated 8 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 3 years ago
• qnighy / ratsat
  MiniSat reimplemented in Rust
  ☆20Updated 7 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 6 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• aatxe / oxide
  The essence of Rust.
  ☆126Updated 3 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated last year
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆32Updated 2 weeks ago
• contain-rs / cons-list
  An immutable singly-linked list, as seen in basically every functional language
  ☆29Updated 2 years ago
• viperproject / prusti-assistant
  VS Code extension to verify Rust programs with the Prusti verifier.
  ☆24Updated 2 weeks ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago