Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: partial-evaluators
michaelb/sniprun
A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languages
Language: Rust - Size: 14 MB - Last synced: 27 days ago - Pushed: 28 days ago - Stars: 1,353 - Forks: 45
anydream/il2cpp
A MSIL/C# to C++ converter. Faster than CoreCLR with low memory overhead.(已弃坑.C#是个好语言,然而.NET不是一个干净的平台)
Language: C# - Size: 30.7 MB - Last synced: 29 days ago - Pushed: over 6 years ago - Stars: 548 - Forks: 99
blitzpp/blitz
Blitz++ Multi-Dimensional Array Library for C++
Language: C++ - Size: 19.6 MB - Last synced: 24 days ago - Pushed: 2 months ago - Stars: 397 - Forks: 83
SRI-CSL/OCCAM Fork of ashish-gehani/OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
Language: C++ - Size: 78.5 MB - Last synced: 30 days ago - Pushed: 11 months ago - Stars: 25 - Forks: 10
HackerFoo/poprc
A Compiler for the Popr Language
Language: C - Size: 4.66 MB - Last synced: 30 days ago - Pushed: over 3 years ago - Stars: 233 - Forks: 10
AnyDSL/impala
An imperative and functional programming language
Language: C++ - Size: 7.77 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 150 - Forks: 12
caballa/llpe
LLPE - Smowton's partial evaluator on LLVM bitcode
Language: C++ - Size: 304 KB - Last synced: 5 months ago - Pushed: about 6 years ago - Stars: 3 - Forks: 0
AnyDSL/impala2-experiment
Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.
Language: C++ - Size: 146 KB - Last synced: 9 months ago - Pushed: over 5 years ago - Stars: 6 - Forks: 0
mikekucera/MapleMIX
MapleMIX is an online partial evaluator for the programming language Maple.
Language: JetBrains MPS - Size: 1.88 MB - Last synced: 10 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0
JacquesCarette/Retrodictive
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
Language: TeX - Size: 49.6 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 7 - Forks: 0
Ekdohibs/partial
My attempt at coding a partial evaluator. Written for TIPE in "classes prépa".
Language: Python - Size: 129 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0
imuli/candid-wanderings
dependently typed programming language with timeless referential transparently
Language: Haskell - Size: 229 KB - Last synced: over 1 year ago - Pushed: almost 5 years ago - Stars: 5 - Forks: 0
Circiter/quine-kleene-generator
A simple quine generator (for sed).
Language: sed - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0
mks-m/reductio
Small library to partially evaluate a subset of Clojure given a set of bindings.
Language: Clojure - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0
Wilfred/peval
partial evaluator for elisp
Language: Emacs Lisp - Size: 41 KB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 6 - Forks: 1
mikekucera/PartialEval-Scala
Scala implementation of partial evaluators from the book "Partial Evaluation and Automatic Program Generation"
Language: Scala - Size: 215 KB - Last synced: 10 months ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0