A MSIL/C# to C++ converter. Faster than CoreCLR with low memory overhead.(已弃坑.C#是个好语言,然而.NET不是一个干净的平台)
-
Updated
Jan 19, 2018 - C#
A MSIL/C# to C++ converter. Faster than CoreCLR with low memory overhead.(已弃坑.C#是个好语言,然而.NET不是一个干净的平台)
Blitz++ Multi-Dimensional Array Library for C++
A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languages
An imperative and functional programming language
OCCAM: Object Culling and Concretization for Assurance Maximization
A Compiler for the Popr Language
My attempt at coding a partial evaluator. Written for TIPE in "classes prépa".
Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.
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.
A simple quine generator (for sed).
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"
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."