Alternatives and similar repositories for Some-Papers-I-Really-Liked:

Users that are interested in Some-Papers-I-Really-Liked are comparing it to the libraries listed below

• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆95Updated last week
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated 4 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆28Updated 7 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆107Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆41Updated 2 years ago
• nikodemus / foolang
  A toy programming language.
  ☆37Updated last year
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆165Updated 2 months ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆89Updated last year
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 4 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 3 years ago
• wolfgangj / wok
  Compiler that has been integrated into Okami now
  ☆24Updated 2 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆61Updated 3 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 4 months ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆73Updated last year
• jkoppel / ecta
  ☆33Updated 9 months ago
• lambduli / minilog
  A small logic programming language.
  ☆15Updated 8 months ago
• dmbarbour / glas
  Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.
  ☆20Updated last week
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated this week
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• sparist / Om
  The Om programming language.
  ☆172Updated 3 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 3 months ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆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 7 months ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆53Updated last year
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 3 years ago
• lokedhs / array
  Simple array language written in kotlin
  ☆47Updated last year
• vmchale / apple
  Apple array system
  ☆60Updated this week
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆95Updated 10 months ago