cpressey / Some-Papers-I-Really-Liked

Related projects: ⓘ

• Little-Languages / reading-club
  A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.
  ☆47Updated 3 weeks ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆87Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆39Updated 2 years ago
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆77Updated 11 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆127Updated this week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆162Updated 2 weeks ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆67Updated last week
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• robsimmons / dusa
  A petrifyingly good logic programming language
  ☆26Updated last week
• contrast-zone / rewrite.js
  ☆21Updated this week
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆64Updated 7 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆32Updated last month
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆19Updated 2 years 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 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 3 months ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆45Updated 6 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 2 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 3 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆61Updated 3 months ago
• contrast-zone / t-rewriter.js
  ☆28Updated this week
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆30Updated 4 years ago
• jkoppel / ecta
  ☆33Updated 5 months ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆69Updated 11 months ago
• mthom / scryer-shen
  ☆37Updated last month
• shriram / mystery-languages
  Mystery Languages
  ☆34Updated last year
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆94Updated 5 months ago
• JonathanMEdwards / subtext10
  ☆96Updated 2 years ago
• lokedhs / array
  Simple array language written in kotlin
  ☆46Updated last year