partial-evaluators
Here are 16 public repositories matching this topic...
Language:All
Sort:Most stars
A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languages
- Updated
Oct 19, 2025 - Rust
A MSIL/C# to C++ converter. Faster than CoreCLR with low memory overhead.(已弃坑.C#是个好语言,然而.NET不是一个干净的平台)
- Updated
Jan 19, 2018 - C#
Blitz++ Multi-Dimensional Array Library for C++
- Updated
Jul 13, 2024 - C++
A Compiler for the Popr Language
- Updated
Jan 7, 2021 - C
An imperative and functional programming language
- Updated
May 21, 2025 - C++
OCCAM: Object Culling and Concretization for Assurance Maximization
- Updated
Jun 22, 2023 - C++
Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.
- Updated
Sep 21, 2018 - C++
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
- Updated
Jun 10, 2023 - TeX
dependently typed programming language with timeless referential transparently
- Updated
Aug 28, 2019 - Haskell
Scala implementation of partial evaluators from the book "Partial Evaluation and Automatic Program Generation"
- Updated
Jan 30, 2014 - Scala
My attempt at coding a partial evaluator. Written for TIPE in "classes prépa".
- Updated
Jul 18, 2015 - Python
MapleMIX is an online partial evaluator for the programming language Maple.
- Updated
Jun 9, 2023 - JetBrains MPS
A simple quine generator (for sed).
- Updated
Jun 28, 2020 - sed
Small library to partially evaluate a subset of Clojure given a set of bindings.
- Updated
May 18, 2020 - Clojure
Improve this page
Add a description, image, and links to thepartial-evaluators topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thepartial-evaluators topic, visit your repo's landing page and select "manage topics."