Alternatives and similar repositories for rash

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

• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 years ago
• steinuil / the-little-ocamler
  The examples from "The Little MLer" in OCaml and ReasonML
  ☆30Updated 5 years ago
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated 2 years ago
• acorrenson / owl
  A mini language for logic programming
  ☆23Updated 5 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆16Updated 3 weeks ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated 9 months ago
• cyberglot / faeth
  algebraic typechecking and elaboration of type systems
  ☆13Updated 5 months ago
• Lupus / ocaml2go
  OCaml to Golang compiler
  ☆38Updated 4 years ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• xnning / Dissertation
  My PhD Thesis
  ☆14Updated 3 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 5 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 2 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• lambertjamesd / zen-lang
  An experimental language with compile time bounds checking
  ☆15Updated 5 years ago
• boomshroom / NovaLang
  A Haskell derived programming language for systems development.
  ☆14Updated 6 years ago
• dmjio / graphql-meta
  Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries
  ☆21Updated 7 months ago
• digitallyinduced / ihp-boilerplate
  Project Template for IHP. Used by ihp-new. License: MIT
  ☆11Updated last week
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆74Updated last year
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated 2 years ago
• koka-lang / nodec
  NodeC -- A lean NodeJS in C using algebraic effect handlers.
  ☆34Updated 6 years ago
• browserdotsys / vecchio
  Rust implementation of Ray Tracing in One Weekend
  ☆12Updated 5 years ago
• owo-lang / Mini-TT
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18Updated 6 years ago
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 7 years ago
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago