partial-evaluators topic

Blitz++ Multi-Dimensional Array Library for C++

blitzpp

A Compiler for the Popr Language

HackerFoo

An imperative and functional programming language

AnyDSL

A MSIL/C# to C++ converter. Faster than CoreCLR with low memory overhead.(已弃坑.C#是个好语言,然而.NET不是一个干净的平台)

anydream

A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languages

michaelb

OCCAM: Object Culling and Concretization for Assurance Maximization

SRI-CSL