partial-evaluation

There are 0 repository under partial-evaluation topic.

AnyDSL / rodent
Renderer and BVH traversal library
ray-tracing rendering partial-evaluation
Language:C++ 57
AnyDSL / thorin2
The Higher ORder INtermediate representation - next gen
compiler compilers compiler-construction partial-evaluation partial-evaluator dependent-types intermediate-representation optimizer ssa static-single-assignment cps continuation-passing-style functional-programming functional-programming-language programming-language
Language:C++ 44
ilya-klyuchnikov / mrsc
A toolkit for building multi-result supercompilers
supercompilation partial-evaluation
Language:Scala 31
AnyDSL / artic
The AlteRnaTive Impala Compiler
compiler imperative-programming-language functional-programming-language domain-specific-languages partial-evaluation gpu-computing parallel-computing vectorization simd
Language:C++ 25
jharrilim / duckstruct
A strongly-typed duck-typed language. Solves type constraints on polymorphic functions and performs best-as-possible constant expression evaluation
compiler constant-folding duckstruct rust partial-evaluation
Language:Rust 4
acuarica / hsc
The Haskell Supercompiler Project aims to bring back supercompilation to Haskell.
supercompilation haskell optimization partial partial-evaluation static-analysis theorem-proving
Language:Haskell 1
AnyDSL / regex
Regular Expression Matcher generator using Just-In-Time Compilation
partial-evaluation jit-compilation regular-expression
Language:C++ 1
sloboegen / metacomputations-course
Metacomputations course (2021)
racket flow-chart partial-evaluation
Language:Racket 0
hu-dwim / hu.dwim.partial-eval
Customizable partial evaluation for Common Lisp
common-lisp metaprogramming partial-evaluation
Language:Common Lisp