Alternatives and similar repositories for elm-stlc

Users that are interested in elm-stlc are comparing it to the libraries listed below

• cdouglass / samara
  An interpreter for a small ML-ish language
  ☆11Updated 8 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆36Updated 2 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆22Updated 5 months ago
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆20Updated 3 years ago
• glguy / language-lua
  Lua parser and pretty-printer
  ☆15Updated last year
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated 8 months ago
• valpackett / hs-duktape
  Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape
  ☆23Updated 3 years ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 11 years ago
• deech / shen-rust
  ☆35Updated 6 years ago
• deech / LeftPad
  ☆23Updated 8 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Updated last year
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated 2 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 5 years ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 7 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 6 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 7 years ago
• purescript-web / purescript-web-dom
  Type definitions and low level interface implementations for the W3C DOM spec
  ☆35Updated 2 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• id3as / demo-ps
  Skeleton app with contrived client/server examples
  ☆20Updated 3 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 6 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated 2 years ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆27Updated 3 years ago
• aherrmann / simply_llvm
  ☆41Updated 8 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 2 weeks ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 7 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 5 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago