Projects in Awesome Lists tagged with partial-evaluators
A curated list of projects in awesome lists tagged with partial-evaluators .
https://github.com/michaelb/sniprun
A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languages
code code-runner compiled-language hacktoberfest interpreted-language interpreter languages lua neovim neovim-plugin partial-evaluators plugin runner rust
Last synced: 14 May 2025
https://github.com/anydream/il2cpp
A MSIL/C# to C++ converter. Faster than CoreCLR with low memory overhead.(已弃坑.C#是个好语言,然而.NET不是一个干净的平台)
c-sharp code-generator cplusplus dotnet il2cpp msil partial-evaluators
Last synced: 16 Mar 2025
https://github.com/blitzpp/blitz
Blitz++ Multi-Dimensional Array Library for C++
array array-manipulations blitz cpp-library high-performance hpc multi-dimensional-array numerical-calculations numerical-computation numerics partial-evaluators scientific-computing template-metaprogramming tensor vector
Last synced: 21 Oct 2025
https://github.com/HackerFoo/poprc
A Compiler for the Popr Language
compiler concatenative dependent-types functional high-level-synthesis language linear-logic logic-programming non-deterministic partial-evaluators popr popr-compiler supercompiler verilog
Last synced: 22 Apr 2025
https://github.com/AnyDSL/impala
An imperative and functional programming language
compiler continuation-passing-style cpu domain-specific-language functional-language gpu imperative-programming-language partial-evaluators simd vectorization
Last synced: 29 Jul 2025
https://github.com/jacquescarette/retrodictive
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
partial-evaluators quantum-computing symbolic-execution
Last synced: 26 Feb 2026
https://github.com/caballa/llpe
LLPE - Smowton's partial evaluator on LLVM bitcode
Last synced: 02 May 2026
https://github.com/mikekucera/partialeval-scala
Scala implementation of partial evaluators from the book "Partial Evaluation and Automatic Program Generation"
Last synced: 25 Jul 2025
https://github.com/mks-m/reductio
Small library to partially evaluate a subset of Clojure given a set of bindings.
clojure lisp partial-evaluators
Last synced: 27 May 2026
https://github.com/mikekucera/maplemix
MapleMIX is an online partial evaluator for the programming language Maple.
Last synced: 21 Jan 2026
https://github.com/ekdohibs/partial
My attempt at coding a partial evaluator. Written for TIPE in "classes prépa".
Last synced: 12 Jul 2025
