partial-evaluators

There are 0 repository under partial-evaluators topic.

sniprun
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
Language:Rust 1333
anydream / il2cpp
A MSIL/C# to C++ converter. Faster than CoreCLR with low memory overhead.(已弃坑.C#是个好语言,然而.NET不是一个干净的平台)
il2cpp msil dotnet c-sharp cplusplus code-generator partial-evaluators
Language:C# 546
blitzpp / blitz
Blitz++ Multi-Dimensional Array Library for C++
blitz array-manipulations tensor array vector cpp-library scientific-computing high-performance hpc template-metaprogramming numerics numerical-calculations numerical-computation multi-dimensional-array partial-evaluators
Language:C++ 397
poprc
HackerFoo / poprc
A Compiler for the Popr Language
language popr popr-compiler compiler concatenative functional logic-programming non-deterministic partial-evaluators dependent-types supercompiler linear-logic verilog high-level-synthesis
Language:C 233
AnyDSL / impala
An imperative and functional programming language
compiler imperative-programming-language functional-language continuation-passing-style domain-specific-language partial-evaluators gpu cpu vectorization simd
Language:C++ 150
SRI-CSL / OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
llvm debloating delayering partial-evaluators static-analysis pointer-analysis abstract-interpretation
Language:C++ 25
AnyDSL / impala2-experiment
Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.
compiler continuation-passing-style cps dependent-types metaprogramming partial-evaluators programming-language
Language:C++ 6
JacquesCarette / Retrodictive
For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS
partial-evaluators quantum-computing symbolic-execution
Language:TeX 6
Wilfred / peval
partial evaluator for elisp
emacs-lisp partial-evaluators
Language:Emacs Lisp 6
imuli / candid-wanderings
dependently typed programming language with timeless referential transparently
dependent-types immutable-store incremental-compilation partial-evaluators programming-language referentially-transparent specialization
Language:Haskell 5
caballa / llpe
LLPE - Smowton's partial evaluator on LLVM bitcode
llvm partial-evaluators
Language:C++ 3
mikekucera / PartialEval-Scala
Scala implementation of partial evaluators from the book "Partial Evaluation and Automatic Program Generation"
scala partial-evaluators
Language:Scala 1
mikekucera / MapleMIX
MapleMIX is an online partial evaluator for the programming language Maple.
maple partial-evaluators
Language:JetBrains MPS 0
Circiter / quine-kleene-generator
A simple quine generator (for sed).
esoteric fixed-point kleene-recursion-theorem partial-evaluators quine sed smn-theorem theory-of-computation
Language:sed
Ekdohibs / partial
My attempt at coding a partial evaluator. Written for TIPE in "classes prépa".
partial-evaluators
Language:Python
mks-m / reductio
Small library to partially evaluate a subset of Clojure given a set of bindings.
clojure lisp partial-evaluators
Language:Clojure