Topic: "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: 15 MB - Last synced at: 11 days ago - Pushed at: about 2 months ago - Stars: 1,568 - Forks: 49
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 at: about 1 month ago - Pushed at: over 7 years ago - Stars: 581 - Forks: 104
blitzpp/blitz
Blitz++ Multi-Dimensional Array Library for C++
Language: C++ - Size: 19.6 MB - Last synced at: 13 minutes ago - Pushed at: 9 months ago - Stars: 413 - Forks: 83
HackerFoo/poprc
A Compiler for the Popr Language
Language: C - Size: 4.66 MB - Last synced at: 1 day ago - Pushed at: over 4 years ago - Stars: 246 - Forks: 11
AnyDSL/impala
An imperative and functional programming language
Language: C++ - Size: 7.91 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 153 - Forks: 13
SRI-CSL/OCCAM Fork of ashish-gehani/OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
Language: C++ - Size: 78.5 MB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 26 - Forks: 10
JacquesCarette/Retrodictive
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
Language: TeX - Size: 49.6 MB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 0
AnyDSL/impala2-experiment
Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.
Language: C++ - Size: 146 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 0
Wilfred/peval
partial evaluator for elisp
Language: Emacs Lisp - Size: 41 KB - Last synced at: 1 day ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 1
imuli/candid-wanderings
dependently typed programming language with timeless referential transparently
Language: Haskell - Size: 229 KB - Last synced at: 6 months ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0
caballa/llpe
LLPE - Smowton's partial evaluator on LLVM bitcode
Language: C++ - Size: 304 KB - Last synced at: 9 days ago - Pushed at: almost 7 years ago - Stars: 3 - Forks: 0
mikekucera/PartialEval-Scala
Scala implementation of partial evaluators from the book "Partial Evaluation and Automatic Program Generation"
Language: Scala - Size: 215 KB - Last synced at: 14 days ago - Pushed at: about 11 years ago - Stars: 1 - Forks: 0
mikekucera/MapleMIX
MapleMIX is an online partial evaluator for the programming language Maple.
Language: JetBrains MPS - Size: 1.88 MB - Last synced at: 14 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
Circiter/quine-kleene-generator
A simple quine generator (for sed).
Language: sed - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: almost 5 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 at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - 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 at: 17 days ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0
R6/Popr
A Compiler for the Popr Language
Language: C - Size: 3.8 MB - Last synced at: 10 months ago - Stars: 0 - Forks: 0
