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/inc
an incremental approach to compiler construction
namin/pink
Collapsing Towers of Interpreters (in Scheme)
namin/mk-on-smt
miniKanren for search, SMT for solving
namin/abi
namin/higher-rank
Practical type inference for arbitrary-rank types
namin/scala
The Scala programming language
namin/steps
open, extensible composition models
namin/refl-instr
reflective architectures that instrument and reify the computation steps
namin/scheme-mechanics
namin/collapsing-towers
Collapsing Towers of Interpreters
namin/selfopt
prototyping self-optimizing systems
namin/wip-scala-virtualized
make scala virtualized great again
namin/flix
The Flix Programming Language
namin/nfv-benchmark
namin/OpenDeep
Modular & extensible deep learning framework built on Theano.
namin/scheme2017
Website for Scheme Workshop 2017
namin/vagrant
Vagrant Script for CamFlow.
namin/world-proverbs
Proverbs from around the world and languages
namin/aop
Art of Prolog Code
namin/CodeMirror
In-browser code editor
namin/deep_learning_and_the_game_of_go
Code and other material for the book "Deep Learning and the Game of Go"
namin/halide-playground
namin/minisat
A minimalistic and high-performance SAT solver
namin/minisat-c-bindings
C-Bindings to MiniSat
namin/music21
music21 is a Toolkit for Computational Musicology
namin/prose
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
namin/prose-formative
A modified version of PROSE Tutorial used to support a formative user study
namin/relax-overveld
This is a library for "Overveld-style" constraint relaxation.
namin/selfcontrol
:skull: Mac app to block your own access to distracting websites etc for a predetermined period of time. It can not be undone by the app or by a restart – you must wait for the timer to run out.
namin/vehicles
Valentino Braitenberg