Alternatives and similar repositories for lore

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

• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆23Updated 2 years ago
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 3 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 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
• reactiveml / rml
  ReactiveML: a programming language for implementing interactive systems.
  ☆20Updated 2 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• Mathnerd314 / stroscot
  The Stroscot Programming Language
  ☆13Updated last year
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 4 months ago
• Rhovas / Interpreter
  The interpreter for Rhovas, a programming language for API design and enforcement.
  ☆31Updated 8 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆17Updated 3 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 10 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• jacylang / jacy
  Jacy programming language
  ☆13Updated 3 years ago
• fsantanna / dceu
  ☆29Updated 3 weeks ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 8 months ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• KMahoney / kuljet
  The Kuljet language
  ☆25Updated 4 months ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆35Updated last year
• joelburget / lvca
  language verification, construction, and analysis
  ☆20Updated 3 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Updated last year
• gramlang / gram
  A programming language for distributed systems.
  ☆34Updated last month
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 5 months ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆14Updated 5 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 4 months ago