Alternatives and similar repositories for lore:

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

• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• sborrazas / shen-erl
  Erlang port of the Shen programming language
  ☆26Updated 5 years ago
• reactiveml / rml
  ReactiveML: a programming language for implementing interactive systems.
  ☆20Updated 2 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 10 months ago
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 3 years ago
• Mathnerd314 / stroscot
  The Stroscot Programming Language
  ☆13Updated last year
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆17Updated 3 years ago
• slfritchie / wide-world-of-actors
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆13Updated 7 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated last month
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• michallepicki / tibe
  Ahnfelt's Type Inference by Example but implemented in Gleam
  ☆12Updated last year
• jacylang / jacy
  Jacy programming language
  ☆13Updated 2 years ago
• plaidgroup / plaid-lang
  The Plaid Programming Language Tools
  ☆12Updated 10 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 3 months ago
• imp-language / imp
  Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
  ☆11Updated 2 years ago
• ponylang / pony-language-server
  Language server for Pony
  ☆21Updated 4 months ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆24Updated 4 months ago
• jzwood / portcullis
  A minimalist / functional / dataflow programming language
  ☆13Updated 11 months ago
• joakim / kay
  A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology
  ☆21Updated 4 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated last year
• acorrenson / owl
  A mini language for logic programming
  ☆24Updated 4 years ago
• xieyuheng / logic-db
  Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
  ☆18Updated last year
• wdamron / poly
  Hindley-Milner type system with extensible records and variants, implemented in Go
  ☆21Updated 4 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆23Updated 2 years ago
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆33Updated this week
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated 10 months ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆39Updated 3 months ago