Alternatives and similar repositories for wcpl

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

• deech / LeftPad
  ☆23Updated 8 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 10 years ago
• robertkleffner / CaKe
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Updated 11 years ago
• disconcision / spyshare
  a tiny tool for visualising substructual sharing in data structures 🕵️‍♀️
  ☆17Updated 6 years ago
• gfour / gic
  The generalized intensional compiler for a Haskell-like language.
  ☆14Updated 8 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 5 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆36Updated last year
• bobatkey / foveran
  A Dependently Typed Programming Language
  ☆27Updated 5 years ago
• VictorTaelin / Elementary-Affine-Core-legacy
  A simple, untyped, terminating functional language that is fully compatible with optimal reductions.
  ☆17Updated 6 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• deech / shen-rust
  ☆35Updated 6 years ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 6 years ago
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 7 years ago
• kthielen / stlcc
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Updated 12 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• adinapoli / threads-supervisor
  Simple, IO-based Haskell library for Erlang-inspired thread supervisors
  ☆29Updated 3 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 13 years ago
• deech / ATSPresentation
  ☆21Updated 10 years ago
• ISANobody / sill
  ☆29Updated 10 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 7 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆29Updated last year
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated last year
• VictorTaelin / ultimate-calculus
  ☆36Updated 4 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• VictorTaelin / absal-rs
  ☆35Updated 7 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆35Updated 2 years ago