Alternatives and similar repositories for Haven

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

• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 6 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 3 months ago
• broom-lang / broom
  A programming language with first-class modules and algebraic effects.
  ☆14Updated 2 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated 2 years ago
• LeslieGoldsmith / ed
  Q line editor and full-screen interface editor
  ☆11Updated 4 years ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 6 months ago
• stchang / mlish
  ☆22Updated 5 years ago
• adamrk / scheme2luac
  A Scheme compiler to Lua bytecode
  ☆22Updated 8 years ago
• racket / honu
  ☆19Updated 2 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 3 years ago
• mlochbaum / BQNoise
  Audio library for BQN
  ☆20Updated last year
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• injinj / linecook
  Command line editor, C api, readline replacement
  ☆25Updated 6 months ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• andrewchambers / magnet-linux
  A decentralized linux distribution.
  ☆12Updated 3 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• ashinkarov / cnn-in-apl
  CNN in APL
  ☆22Updated 2 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• sordina / japl
  Font for turning J into APL
  ☆13Updated 6 years ago
• Bubbler-4 / factor-problem-solving
  Solutions to various problems written in Factor
  ☆18Updated 4 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 5 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• dzaima / BQN
  ☆32Updated last year
• lambertjamesd / zen-lang
  An experimental language with compile time bounds checking
  ☆15Updated 5 years ago
• xanadu-lang / xanadu
  This repository is supposed to hold a released version of Xanadu
  ☆24Updated 3 years ago
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆33Updated 5 years ago
• hellerve / mae
  maps are everything.
  ☆10Updated last week