A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languages
A MSIL/C# to C++ converter. Faster than CoreCLR with low memory overhead.(已弃坑.C#是个好语言,然而.NET不是一个干净的平台)
Blitz++ Multi-Dimensional Array Library for C++
A Compiler for the Popr Language
An imperative and functional programming language
OCCAM: Object Culling and Concretization for Assurance Maximization
Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
dependently typed programming language with timeless referential transparently
Scala implementation of partial evaluators from the book "Partial Evaluation and Automatic Program Generation"
MapleMIX is an online partial evaluator for the programming language Maple.
My attempt at coding a partial evaluator. Written for TIPE in "classes prépa".
Small library to partially evaluate a subset of Clojure given a set of bindings.
A simple quine generator (for sed).
To associate your repository with the partial-evaluators topic, visit your repo's landing page and select "manage topics."