Alternatives and similar repositories for spipe

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

• VictorTaelin / Taelang
  my personal lang
  ☆16Updated last year
• aripiprazole / trazodone
  🧪 | LLVM backend for HVM
  ☆23Updated 2 years ago
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated 10 months ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆12Updated 5 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆20Updated last week
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 7 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 4 months ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆29Updated last week
• aripiprazole / soft
  🧪 | Lisp with REPL and macros which will compile itself
  ☆13Updated 6 months ago
• FStarLang / steel
  The Steel separation logic library for F*
  ☆35Updated last month
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆33Updated last month
• HigherOrderCO / TSPL
  The Simplest Parser Library (that works) in Rust
  ☆44Updated 10 months ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 4 months ago
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 5 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 3 weeks ago
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆121Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated last year
• ligolang / ligo
  ☆14Updated this week
• qexat / ansifmt
  A simple, lightweight library for ANSI formatting with powerful features such as a element-based system for pretty-printing code in the t…
  ☆21Updated 4 months ago
• tchajed / database-stream-processing-theory
  Formalization of DBSP
  ☆23Updated last year
• osa1 / h10
  A Haskell 2010 type checker
  ☆17Updated last year
• cicada-lang / inet-js
  This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)
  ☆55Updated last week
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆19Updated 2 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated 11 months ago
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆17Updated 2 weeks ago
• cognitive-engineering-lab / depot
  A JS devtool orchestrator
  ☆45Updated 3 months ago
• zed-extensions / ocaml
  OCaml support
  ☆20Updated last month