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