Nada Amin

inc. an incremental approach to compiler construction

llm-verified-with-monte-carlo-tree-search. LLM verified with Monte Carlo Tree Search

dot. formalization of the Dependent Object Types (DOT) calculus

io.livecode.ch. interactive programming tutorials, powered by Github and Docker

staged-miniKanren. multi-stage relational programming for staged relational interpreters: running with holes, faster

logically. explorations in core.logic

metaprogramming. Course on Metaprogramming

unsound. Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

pink. Collapsing Towers of Interpreters (in Scheme)

propagators. the Art of the Propagator

biohacker. debugging biological networks to reach coherence, completeness and consistency

metasolfeggio. computer-aided harmony and counterpoint

scalogno. prototyping logic programming in Scala

clpsmt-miniKanren. CLP(SMT) on top of miniKanren

holey. Python library for program synthesis and symbolic execution combining constraint solving and LLMs

lms-verify. generative programming & verification

metamk. Prolog-Style Meta-Interpreters in miniKanren

purple. purple: compiling a reflective language

leanTAP. A Declarative Theorem Prover for First-Order Classical Logic

play-js-validation. Scala

dafny-sandbox. Dafny for Metatheory of Programming Languages

lambdajam. Workshop on Program Transformations

clpset-miniKanren. CLP(Set) in miniKanren

reflection-schemes. exploration of reflective architectures in Scheme

lms-sandbox. Graduated to js.scala: JavaScript as an embedded DSL in Scala

minikanren-confo. core.logic.nominal at the minikanren confo 2013

relaxed-machines. program synthesis with neuro-symbolic differentiable interpreters

paip. Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp

reflective-towers. software archaeology of reflective towers of interpreters

lua. reading and understanding the lua source code

blond. the reflective tower Blond by Olivier Danvy & Karoline Malmkjær

grk2clj. From Greek to Clojure, Clojure/conj 2013

linkrev. Scala

3-proto-lisp. Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.

rop. reflection-oriented programming

mk-on-smt. miniKanren for search, SMT for solving

spots. various code snippets in various languages

higher-rank. Practical type inference for arbitrary-rank types

scala-proxy. Scala reflection playground, which implements Scala proxies

steps. open, extensible composition models