Alternatives and similar repositories for rowlang

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

• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆18Updated 2 years ago
• NethermindEth / Yul-Specification
  A formal specification of the Yul IR semantics in the Lean proof assistant.
  ☆14Updated 2 months ago
• argotorg / solcore
  experimental solidity compiler
  ☆31Updated this week
• formal-land / coq-of-solidity
  Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
  ☆38Updated 2 months ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆42Updated last week
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆16Updated 11 months ago
• Lambda-Mountain-Compiler-Backend / LSTS
  Large Scale Type Systems: ML/C Hybrid Programming Language
  ☆126Updated last month
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆138Updated 9 months ago
• SjVer / Som-Lang
  The Som functional programming language
  ☆21Updated last year
• starkware-libs / formal-proofs
  ☆61Updated 10 months ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆349Updated this week
• anoma / juvix
  A language for intent-centric and declarative decentralised applications
  ☆491Updated 2 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆310Updated 10 months ago
• costa-group / forves
  ☆12Updated 9 months ago
• proost-assistant / proost
  A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
  ☆30Updated last year
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆59Updated this week
• LPCIC / elpi
  Embeddable Lambda Prolog Interpreter
  ☆324Updated 2 weeks ago
• thery / coqprime
  Prime numbers for Coq
  ☆42Updated 3 weeks ago
• swagasoft / alx-higher_level_programming
  ☆10Updated 2 years ago
• wipplelang / wipple
  Learn to code with Wipple.
  ☆37Updated last week
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆153Updated last month
• anoma / geb
  A Categorical View of Computation
  ☆33Updated this week
• khasm-lang / khasmc
  A functional programming language, mirroring Erlang and Go, but with more OCaml!
  ☆25Updated this week
• ocamllibs / clangml
  OCaml bindings for Clang
  ☆16Updated 2 months ago
• besthor / alx-higher_level_programming
  Overall, this repository offers a valuable resource for anyone looking to learn or enhance their skills in Python and JavaScript programm…
  ☆21Updated 2 years ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆35Updated 11 months ago
• AndresSern / holbertonschool-low_level_programming
  This repository is actualiced
  ☆13Updated 4 years ago
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆266Updated last year
• johnyob / dromedary
  Dromedary is an experimental subset of OCaml, using constraint-based type inference!
  ☆48Updated 10 months ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆74Updated 2 years ago