Alternatives and similar repositories for The-Spiral-Language:

Users that are interested in The-Spiral-Language are comparing it to the libraries listed below

• webyrd / Barliman
  Prototype smart text editor
  ☆1,054Updated 7 months ago
• lexi-lambda / hackett
  WIP implementation of a Haskell-like Lisp in Racket
  ☆1,169Updated 9 months ago
• vekatze / neut
  A functional programming language with static memory management
  ☆839Updated last month
• LuxLang / lux
  The Lux Programming Language
  ☆1,690Updated last month
• evincarofautumn / kitten
  A statically typed concatenative systems programming language.
  ☆1,106Updated last year
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆724Updated 3 weeks ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆453Updated this week
• topshell-language / topshell
  TopShell - a purely functional, reactive scripting language
  ☆481Updated 3 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,553Updated 9 years ago
• google / schism
  A self-hosting Scheme to WebAssembly compiler
  ☆1,269Updated 3 years ago
• mozilla / mentat
  UNMAINTAINED A persistent, relational store inspired by Datomic and DataScript.
  ☆1,655Updated 6 years ago
• akkartik / mu
  Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
  ☆1,393Updated 3 months ago
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,467Updated 6 months ago
• janestreet / incremental
  A library for incremental computations
  ☆889Updated last month
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆922Updated this week
• ollef / sixten
  Functional programming with fewer indirections
  ☆760Updated 4 years ago
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,858Updated this week
• factor / factor
  Factor programming language
  ☆1,669Updated last month
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,589Updated last month
• dhall-lang / dhall-lang
  Maintainable configuration files
  ☆4,253Updated this week
• diku-dk / futhark
  A data-parallel functional programming language
  ☆2,450Updated this week
• forest-lang / forest-compiler
  A multi-syntax functional programming language that compiles to WebAssembly.
  ☆622Updated 3 years ago
• mighty-gerbils / gerbil
  Gerbil Scheme
  ☆1,173Updated this week
• ianh / owl
  A parser generator for visibly pushdown languages.
  ☆750Updated last week
• justinethier / cyclone
  A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…
  ☆835Updated this week
• tweag / asterius
  DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
  ☆1,970Updated 2 years ago
• JohnEarnest / ok
  An open-source interpreter for the K5 programming language.
  ☆597Updated last year
• andyarvanitis / purescript-native
  A native compiler backend for PureScript (via C++ or Golang)
  ☆634Updated last year
• matijapretnar / eff
  A functional programming language based on algebraic effect handlers
  ☆867Updated 4 months ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆817Updated 2 years ago