A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languages
-
Updated
May 4, 2024 - Rust
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++
An imperative and functional programming language
OCCAM: Object Culling and Concretization for Assurance Maximization
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
MapleMIX is an online partial evaluator for the programming language Maple.
A Compiler for the Popr Language
A simple quine generator (for sed).
Small library to partially evaluate a subset of Clojure given a set of bindings.
dependently typed programming language with timeless referential transparently
Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.
A MSIL/C# to C++ converter. Faster than CoreCLR with low memory overhead.(已弃坑.C#是个好语言,然而.NET不是一个干净的平台)
My attempt at coding a partial evaluator. Written for TIPE in "classes prépa".
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."