Alternatives and similar repositories for Sel

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

• sigrlami / haskellcosm
  Collecting information about Haskell ecosystem - companies, communities, media, etc.
  ☆137Updated last year
• Storyyeller / IntercalScript
  The IntercalScript programming language
  ☆139Updated 5 years ago
• clbx / Cosmic
  A 𝒔𝒕𝒆𝒍𝒍𝒂𝒓 simulated 8-bit computer architecture
  ☆109Updated 2 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 3 years ago
• alox-ai / alox-old
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated 2 years ago
• cell-lang / compiler
  Cell compiler
  ☆117Updated 2 years ago
• AdaPlusPlus / gcc
  Official Ada++ repository
  ☆99Updated 4 years ago
• willcipriano / Connery
  Connery is an experimental lisp themed after veteran actor Sean Connery.
  ☆34Updated 3 years ago
• yona-lang / yona
  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…
  ☆133Updated 3 years ago
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 5 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆227Updated 3 years ago
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆54Updated 8 years ago
• pointless-lang / pointless
  Pointless: a scripting language for learning and fun
  ☆123Updated 3 weeks ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆204Updated 3 years ago
• let-def / hotcaml
  Hotcaml: an interpreter with watching and reloading
  ☆145Updated 3 years ago
• mb64 / sel
  Sed Lisp -- a lisp interpreter in GNU sed
  ☆55Updated 5 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆283Updated 12 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 12 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆73Updated 9 years ago
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated 3 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆48Updated last year
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 3 years ago
• graydon / exhaustigen
  ☆11Updated 4 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆163Updated 3 years ago
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 6 years ago
• SOSML / SOSML
  The Online Interpreter for Standard ML, written in TypeScript.
  ☆178Updated 2 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆116Updated 11 months ago
• strtok / marwood
  An embeddable Scheme R7 Compiler & Runtime written in Rust
  ☆107Updated 8 months ago
• ashwin153 / caustic
  A transactional programming language.
  ☆34Updated 7 years ago
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago