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

LLPE - Smowton's partial evaluator on LLVM bitcode

Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.

For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS

partial evaluator for elisp

dependently typed programming language with timeless referential transparently

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

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.

My attempt at coding a partial evaluator. Written for TIPE in "classes prépa".

A simple quine generator (for sed).