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

• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago
• lambduli / minilog
  A small logic programming language.
  ☆16Updated last year
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆78Updated last year
• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated 3 months ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• justinmeiners / why-train-when-you-can-optimize
  Learn multi-variable optimization by creating a drawing assistant. No deep learning required!
  ☆28Updated 2 years ago
• tpetricek / tiny-boxer
  A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…
  ☆20Updated last week
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• jkoppel / ecta
  ☆35Updated last year
• jaked / programmable-matter
  A dynamic data-driven document development environment (DDDDDE)
  ☆83Updated 2 years ago
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• nikodemus / foolang
  A toy programming language.
  ☆40Updated last year
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆51Updated 3 months ago
• liam923 / remora
  A dependently-typed, array-polymorphic language that runs on parallel architectures
  ☆24Updated 8 months ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 weeks ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• micahcantor / comp-to-assembly-from-scratch-hs
  A toy JS to ARM assembly compiler, in Haskell
  ☆16Updated 3 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 9 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 8 months ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆117Updated last month
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated 2 weeks ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 3 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆33Updated 3 weeks ago
• 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 3 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• mikeaustin / kopi
  A simple, immutable, 100% asynchronous programming language
  ☆13Updated last year
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• vmchale / apple
  Apple array system
  ☆66Updated 3 weeks ago