partial-evaluators
There are 16 repositories under partial-evaluators topic.
michaelb/sniprun
A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languages
anydream/il2cpp
A MSIL/C# to C++ converter. Faster than CoreCLR with low memory overhead.(已弃坑.C#是个好语言,然而.NET不是一个干净的平台)
blitzpp/blitz
Blitz++ Multi-Dimensional Array Library for C++
HackerFoo/poprc
A Compiler for the Popr Language
AnyDSL/impala
An imperative and functional programming language
SRI-CSL/OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
AnyDSL/impala2-experiment
Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.
JacquesCarette/Retrodictive
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
Wilfred/peval
partial evaluator for elisp
imuli/candid-wanderings
dependently typed programming language with timeless referential transparently
caballa/llpe
LLPE - Smowton's partial evaluator on LLVM bitcode
mikekucera/PartialEval-Scala
Scala implementation of partial evaluators from the book "Partial Evaluation and Automatic Program Generation"
mikekucera/MapleMIX
MapleMIX is an online partial evaluator for the programming language Maple.
Circiter/quine-kleene-generator
A simple quine generator (for sed).
Ekdohibs/partial
My attempt at coding a partial evaluator. Written for TIPE in "classes prépa".
mks-m/reductio
Small library to partially evaluate a subset of Clojure given a set of bindings.