Alternatives and similar repositories for rowlang

Users that are interested in rowlang are comparing it to the libraries listed below

• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆59Updated last week
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆142Updated last year
• anoma / geb
  A Categorical View of Computation
  ☆34Updated last month
• OCamlPro / ocaml-solidity
  Ocaml-solidity provides a Solidity parser and typechecker
  ☆33Updated 2 years ago
• AndresSern / holbertonschool-low_level_programming
  This repository is actualiced
  ☆14Updated 4 years ago
• Lambda-Mountain-Compiler-Backend / LSTS
  Large Scale Type Systems: ML/C Hybrid Programming Language
  ☆125Updated 6 months ago
• formal-land / rocq-of-solidity
  Formal verification for Solidity smart contracts with the theorem prover Rocq. Ensure no vulnerabilities for your smart contracts.
  ☆47Updated last month
• NethermindEth / Yul-Specification
  A formal specification of the Yul IR semantics in the Lean proof assistant.
  ☆14Updated 7 months ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆158Updated last week
• boogie-org / lean-itrees
  A Lean implementation of Interaction Trees
  ☆13Updated last year
• anoma / juvix
  A language for intent-centric and declarative decentralised applications
  ☆506Updated 3 months ago
• ocaml / Zarith
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…
  ☆257Updated last month
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆370Updated last week
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆270Updated last year
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆320Updated last month
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆76Updated 4 months ago
• rocq-prover / opam
  Archive for all Rocq and Coq-related opam packages organized in various repositories
  ☆160Updated this week
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆172Updated 2 months ago
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆69Updated last year
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆76Updated 2 years ago
• starkware-libs / formal-proofs
  ☆66Updated last year
• formal-land / garden
  Make your zero-knowledge circuits safe with formal verification! 🍀
  ☆32Updated 2 months ago
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆42Updated 4 years ago
• SjVer / Som-Lang
  The Som functional programming language
  ☆21Updated 2 years ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆155Updated 2 months ago
• proost-assistant / proost
  A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
  ☆31Updated 3 weeks ago
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆124Updated 2 weeks ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆79Updated 4 years ago
• wipplelang / wipple
  Learn to code with Wipple.
  ☆38Updated last week
• sabine / ocaml-to-wasm-overview
  ☆101Updated 4 years ago