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

partial evaluator for elisp

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

LLPE - Smowton's partial evaluator on LLVM bitcode

Scala implementation of partial evaluators from the book "Partial Evaluation and Automatic Program Generation"

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.

A simple quine generator (for sed).