Pinned Repositories
dot
formalization of the Dependent Object Types (DOT) calculus
inc
an incremental approach to compiler construction
io.livecode.ch
interactive programming tutorials, powered by Github and Docker
llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
logically
explorations in core.logic
metaprogramming
Course on Metaprogramming
pink
Collapsing Towers of Interpreters (in Scheme)
propagators
the Art of the Propagator
staged-miniKanren
staged relational interpreters: running with holes, faster
unsound
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
namin's Repositories
namin/unsound
Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
namin/metaprogramming
Course on Metaprogramming
namin/metasolfeggio
computer-aided harmony and counterpoint
namin/scalogno
prototyping logic programming in Scala
namin/metamk
Meta-Interpreters in miniKanren
namin/lms-black
purple: compiling a reflective language
namin/lambdajam
Workshop on Program Transformations
namin/dafny-sandbox
Dafny for Metatheory of Programming Languages
namin/reflection-schemes
exploration of reflective architectures in Scheme
namin/minikanren-confo
core.logic.nominal at the minikanren confo 2013
namin/blond
the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
namin/black
Kenichi Asai's reflective programming language Black
namin/brown
the reflective language(s) Brown by Dan Friedman and Mitch Wand
namin/Communication-Bootstrapping-v1
appendix of Jake Beal's master thesis (2002)
namin/feel2
Feeling Wheel 2.0: analyze your mood
namin/mcts-for-llm
This is a pip package implementing Reinforcement Learning algorithms in non-stationary environments supported by the OpenAI Gym toolkit.
namin/SExp
a prose experiment in learning S-expression manipulations
namin/egg
egg is a flexible, high-performance e-graph library
namin/overtone
Collaborative Programmable Music
namin/chezscheme-socket
Fixing the ChezScheme Socket Example
namin/KG_RAG
About This repository holds the scripts that implement Knowledge Graph based Retrieval-Augmented Generation for Large Language Models
namin/koika
A core language for rule-based hardware design 🦑
namin/lms-clean
namin/metacoq
Metaprogramming in Coq
namin/twelf
The Twelf Programming Language (mirror of SVN repository)
namin/BUS
namin/DeepBach
code accompanying "DeepBach: a Steerable Model for Bach Chorales Generation" paper
namin/Igropyr
a async http server base on libuv for Chez Scheme
namin/paip-lisp
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
namin/trl
Train transformer language models with reinforcement learning.