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 2 months ago
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆18Updated this week
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 5 months ago
• adam-ard / organic-markdown
  A Literate Programming System Utilizing Markdown
  ☆16Updated 2 weeks ago
• tearflake / symbolverse
  minimalistic s-expression based term rewriting framework
  ☆15Updated 3 weeks ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆35Updated this week
• Kraks / quantum-compiler
  Quantum circuits compiler with staging and continuations
  ☆16Updated 7 months ago
• formal-land / garden
  Make your zero-knowledge applications safe with formal verification! 🍀
  ☆15Updated this week
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆18Updated last year
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated 10 months ago
• OCamlPro / wasocaml
  ☆62Updated 8 months ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆33Updated 2 months ago
• tree-sitter / tree-sitter-agda
  Agda grammar for tree-sitter
  ☆36Updated 7 months ago
• coetaur0 / nox
  The Nox programming language
  ☆30Updated last year
• Sudha247 / learn-ocaml-workshop
  Exercises and projects for Jane Street's OCaml Workshop
  ☆10Updated last year
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last month
• Luka-O / polya-enumeration-theorem
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆17Updated 3 weeks ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆29Updated last week
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆18Updated 5 months ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆15Updated 11 months ago
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆35Updated 2 years ago
• logsem / cerise
  Formalisation of a capability machine and principles for reasoning about security properties
  ☆22Updated this week
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆17Updated 5 months ago
• andrejbauer / formalized-mathematics-in-lean
  A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
  ☆25Updated 5 months ago
• NASA-SW-VnV / mesa
  Actor-based Runtime Verification Tool
  ☆18Updated 2 years ago
• CyberCat-Institute / Aptwe
  A well typed by construction kernel language for bidirectional programming
  ☆14Updated 5 months ago
• lexi-lambda / racket-toolbox
  Miscellaneous Racket utilities lacking a better home
  ☆12Updated 7 months ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 11 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆20Updated this week