Alternatives and similar repositories for dawn-phase1

Users that are interested in dawn-phase1 are comparing it to the libraries listed below

• dawn-lang / ucc
  Untyped Concatenative Calculus
  ☆19Updated 3 years ago
• vmchale / apple
  Apple array system
  ☆67Updated this week
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆25Updated last year
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated 2 weeks ago
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 8 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 2 months ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆162Updated 3 years ago
• markus1189 / dyalog-nixos
  Run dyalog APL and RIDE on nixos
  ☆20Updated last year
• stefan-hoeck / idris2-rhone
  ☆18Updated last year
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆77Updated 8 years ago
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆59Updated 3 weeks ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆166Updated 2 weeks ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆90Updated 3 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated last week
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆59Updated last year
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆76Updated 5 years ago
• f5devcentral / shapeRank
  ☆47Updated 3 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆85Updated 6 months ago
• corazza / game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  ☆25Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 6 months ago
• mlochbaum / bqncrate
  A derivative approach to finding your way in BQN
  ☆39Updated last month
• ptol / oczor
  Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
  ☆120Updated 7 years ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆37Updated 6 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 11 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆121Updated this week
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆119Updated 2 months ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 7 months ago