Alternatives and similar repositories for rowlang

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

• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• danilopedraza / komodo
  The Komodo programming language code repository
  ☆11Updated last month
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 7 months ago
• copy / lowcaml
  An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)
  ☆17Updated last year
• semgrep / semgrep-interfaces
  Store the ATD/openapi/protobuf/... interfaces between semgrep components
  ☆18Updated this week
• mingodad / plgh
  Programming Languages Grammar House (BNF like grammars)
  ☆27Updated 8 months ago
• ocaml-dune / csexp
  Minimal support for Canonical S-expressions
  ☆28Updated last year
• polytypic / par-ml
  Experimental parallel and concurrent OCaml
  ☆14Updated 2 years ago
• xamidi / pmGenerator
  An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
  ☆21Updated 2 weeks ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 4 months ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• nikolaushuber / ocaml_inets
  An Encoding of Interaction Nets in OCaml
  ☆9Updated 10 months ago
• leostera / telemetry
  Lightweight event dispatching for OCaml.
  ☆12Updated last year
• ocaml-sys / libc.ml
  Raw bindings to platform APIs for OCaml
  ☆16Updated last year
• githwxi / XATSHOME
  For hosting ATS3 and developing CodeDepot
  ☆13Updated this week
• tearflake / symbolverse
  minimalistic symbolic term rewriting framework
  ☆15Updated last week
• reactiveml / rml
  ReactiveML: a programming language for implementing interactive systems.
  ☆20Updated 2 years ago
• tjammer / schmu
  programming with second class references
  ☆24Updated last month
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆11Updated 3 months ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆14Updated 9 months ago
• processone / jamler
  ☆14Updated last year
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• let-def / lrgrep
  Menhir polishing toolbox, for experienced druids
  ☆33Updated last month
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 10 months ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 2 months ago
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆21Updated 7 months ago
• kayceesrk / cs6225_s21_iitm
  Course Website for CS6225: Programs and Proofs @ IIT Madras
  ☆11Updated 4 years ago
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 4 years ago
• sidsabh / MirageRaft
  experiments on distributed unikernels
  ☆16Updated 5 months ago
• UnrealVerseGuru / VC_VerseCalculus
  VC - Verse Calculus - notes & learnings from: The Verse Calculus: a Core Calculus for Functional Logic Programming (official paper by Epi…
  ☆10Updated 2 years ago