Alternatives and similar repositories for rash

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

• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 3 months ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated 2 years ago
• ezrakilty / narc
  Nested Relational Calculus embedded in Haskell
  ☆16Updated 12 years ago
• elpinal / subtyping-agda
  Some rudimentary proofs on subtyping
  ☆11Updated 3 years ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 7 months ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆12Updated 4 months ago
• jarcane / MicroMini
  A simple 8-bit virtual stack machine
  ☆16Updated 10 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 11 months ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• ionathanch / scraps
  Various mechanized proof files for fun.
  ☆11Updated 3 months ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated 8 months ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 4 months ago
• 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 4 years ago
• nixpulvis / lambash
  A λ-calculus shell (because I love writing shells).
  ☆11Updated 5 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆19Updated 5 years ago
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆12Updated 6 years ago
• LaurentMazare / ocaml-wasmtime
  OCaml WebAssembly runtime powered by Wasmtime
  ☆35Updated 3 years ago
• owo-lang / Mini-TT
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18Updated 6 years ago
• leostera / q-lang
  ☆14Updated last year
• 4y8 / esoo
  Like the Programming Languages Zoo but with esoteric languages.
  ☆25Updated 5 years ago
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 6 years ago
• TyOverby / sdui
  A frontend for the 1111 stable diffusion API
  ☆18Updated 2 weeks ago