Alternatives and similar repositories for rowlang:

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

• danilopedraza / komodo
  The Komodo programming language code repository
  ☆11Updated last week
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 10 months ago
• PabloLec / StarryLines
  Find the most starred repositories per line of code in the language of your choice
  ☆12Updated last year
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆14Updated 8 months ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆35Updated 5 months ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• Lysxia / coq-ceres
  Coq library for serialization to S-expressions
  ☆18Updated last year
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 4 years ago
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆18Updated this week
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 3 months ago
• xamidi / pmGenerator
  An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
  ☆21Updated 2 weeks ago
• formalsec / smtml
  An SMT solver frontend for OCaml
  ☆34Updated this week
• rocq-prover / rfcs
  Rocq RFCs: documents to discuss changes to the Rocq Prover
  ☆56Updated 3 months ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated last week
• FStarLang / steel
  The Steel separation logic library for F*
  ☆33Updated last month
• ocaml-gospel / cameleer
  A Deductive Verification Tool for OCaml Programs
  ☆69Updated last month
• Kraks / quantum-compiler
  Quantum circuits compiler with staging and continuations
  ☆16Updated 5 months ago
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆97Updated last week
• janestreet / re2
  OCaml bindings for RE2
  ☆46Updated 5 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• awodey / joyal
  ☆15Updated 10 months ago
• rocq-community / apery
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆23Updated last month
• YaelDillies / LeanAPAP
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆18Updated last week
• NASA-SW-VnV / mesa
  Actor-based Runtime Verification Tool
  ☆16Updated 2 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 9 months ago
• CoqHott / coq-forcing
  A plugin for Coq that implements the call-by-name forcing translation
  ☆12Updated 3 years ago
• tearflake / symbolverse
  minimalistic symbolic term rewriting framework
  ☆15Updated last week
• Buroni / automata-golf
  A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.
  ☆16Updated last year
• logsem / clutch
  Probabilistic separation logics for verifying higher-order probabilistic programs.
  ☆23Updated this week