#

partial-evaluation

Here are 16 public repositories matching this topic...

mimir

mimir / mimir

MimIR is my Intermediate Representation

programming-language dependent-types compiler functional-programming optimizer ssa compilers cps intermediate-representation continuation-passing-style static-single-assignment compiler-construction functional-programming-language partial-evaluation partial-evaluator

Updated Sep 26, 2026
C++

AnyDSL / rodent

Renderer and BVH traversal library

rendering ray-tracing partial-evaluation

Updated Mar 30, 2026
C++

ilya-klyuchnikov / mrsc

A toolkit for building multi-result supercompilers

partial-evaluation supercompilation

Updated Oct 23, 2021
Scala

AnyDSL / artic

The AlteRnaTive Impala Compiler

compiler parallel-computing simd gpu-computing vectorization imperative-programming-language functional-programming-language partial-evaluation domain-specific-languages

Updated Sep 26, 2026
C++

jharrilim / duckstruct

A strongly-typed duck-typed language. Solves type constraints on polymorphic functions and performs best-as-possible constant expression evaluation

rust compiler partial-evaluation constant-folding duckstruct

Updated May 4, 2026
Rust

Void3110 / spring-boot-starter-opa-abac

Production-grade Spring Boot starter for ABAC authorization with Open Policy Agent

java spring-boot authorization spring-security spring-boot-starter opa access-control abac open-policy-agent partial-evaluation policy-as-code rego ai-assisted-development ai-engineering agentic-workflows claude-code

Updated Sep 11, 2026
Java

AnyDSL / regex

Regular Expression Matcher generator using Just-In-Time Compilation

regular-expression partial-evaluation jit-compilation

Updated May 6, 2019
C++

acuarica / hsc

The Haskell Supercompiler Project aims to bring back supercompilation to Haskell.

haskell optimization static-analysis theorem-proving partial partial-evaluation supercompilation

Updated Feb 12, 2023
Haskell

hcschuetz / pegeal

Generate code for geometric-algebra expressions by partial evaluation

code-generator code-generation geometric-algebra partial-evaluation partial-evaluator

Updated Oct 24, 2024
TypeScript

oddurs / nether-c

A C dialect in which nothing runs. Programs are buried, not executed; what ships is the trace and the holes the world still owes an answer to. An inversion of HolyC.

programming-language rust compiler language-design templeos holyc content-addressed reproducible-builds partial-evaluation effect-system

Updated Sep 24, 2026
Rust

JordyAaldering / paper-patterns

Type Patterns: Pattern Matching on Shape-Carrying Array Types

dependent-types pattern-matching partial-evaluation rank-polymorphism array-programming type-pattern shape-pattern type-constraints single-assignment-c hybrid-types

Updated Mar 31, 2026
TeX

scottmas / typed-cel

A fully statically typed CEL dialect in Rust: type-checked programs, demand extraction, partial evaluation, and a typed register-VM backend (fork of cel-rust)

rust policy type-checker cel partial-evaluation

Updated Sep 26, 2026
Rust

hu-dwim / hu.dwim.partial-eval

Customizable partial evaluation for Common Lisp

common-lisp metaprogramming partial-evaluation

Updated Feb 9, 2021
Common Lisp

sloboegen / metacomputations-course

Metacomputations course (2021)

racket flow-chart partial-evaluation

Updated Mar 16, 2022
Racket

slowlime / stitch

A partial evaluator for WebAssembly

interpreter som webassembly partial-evaluation

Updated Jun 8, 2024
Rust

chrisszeliga / fuzzylang-dsl

A Scala DSL for fuzzy logic operations, partial evaluation, and object-oriented class modeling.

scala dsl oop fuzzy-logic partial-evaluation

Updated Oct 12, 2025
Scala

Add this topic to your repo

To associate your repository with the partial-evaluation topic, visit your repo's landing page and select "manage topics."