Alternatives and similar repositories for uiua

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

• mlochbaum / BQN
  An APL-like programming language
  ☆1,025Updated this week
• mattwparas / steel
  An embedded scheme interpreter in Rust
  ☆2,140Updated this week
• jfecher / ante
  A safe, easy systems language
  ☆2,186Updated this week
• roc-lang / roc
  A fast, friendly, functional language.
  ☆5,440Updated this week
• betaveros / noulith
  *slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
  ☆1,161Updated last week
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,437Updated 5 months ago
• koka-lang / koka
  Koka language compiler and interpreter
  ☆3,775Updated 2 weeks ago
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,153Updated 9 months ago
• idris-lang / Idris2
  A purely functional programming language with first class types
  ☆2,818Updated 3 weeks ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆1,064Updated this week
• HigherOrderCO / Kind
  A modern proof language
  ☆3,720Updated 11 months ago
• ValeLang / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆1,953Updated last year
• coalton-lang / coalton
  Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
  ☆1,515Updated last week
• dzaima / CBQN
  a BQN implementation in C
  ☆386Updated last week
• mthom / scryer-prolog
  A modern Prolog implementation written mostly in Rust.
  ☆2,344Updated last week
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,642Updated this week
• aardappel / lobster
  The Lobster Programming Language
  ☆2,570Updated 2 weeks ago
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,085Updated last year
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆643Updated last week
• janet-lang / janet
  A dynamic language and bytecode vm
  ☆4,103Updated this week
• inko-lang / inko
  A language for building concurrent software with confidence
  ☆1,243Updated this week
• hylo-lang / hylo
  The Hylo programming language
  ☆1,445Updated this week
• jank-lang / jank
  The native Clojure dialect hosted on LLVM with seamless C++ interop.
  ☆3,063Updated last week
• flix / flix
  The Flix Programming Language
  ☆2,569Updated this week
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,775Updated this week
• factor / factor
  Factor programming language
  ☆1,792Updated 2 weeks ago
• sophiajt / june
  ☆788Updated last year
• bakpakin / Fennel
  Lua Lisp Language
  ☆2,709Updated last week
• zesterer / chumsky
  Write expressive, high-performance parsers with ease.
  ☆4,402Updated last week
• iczelia / malbolge-lisp
  A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
  ☆528Updated 5 months ago