A MSIL/C# to C++ converter. Faster than CoreCLR with low memory overhead.(已弃坑.C#是个好语言,然而.NET不是一个干净的平台)
-
Updated
Jan 19, 2018 - C#
#
partial-evaluators
Here are 15 public repositories matching this topic...
A neovim plugin to run lines/blocs of code (independently of the rest of the file), supporting multiples languages
plugin
rust
interpreter
lua
neovim
code
runner
languages
neovim-plugin
hacktoberfest
partial-evaluators
compiled-language
interpreted-language
code-runner
-
Updated
Oct 5, 2021 - Rust
Blitz++ Multi-Dimensional Array Library for C++
hpc
high-performance
vector
array
blitz
template-metaprogramming
numerical-calculations
scientific-computing
tensor
numerics
cpp-library
array-manipulations
partial-evaluators
numerical-computation
multi-dimensional-array
-
Updated
Feb 16, 2021 - C++
A Compiler for the Popr Language
language
dependent-types
functional
compiler
concatenative
verilog
logic-programming
non-deterministic
partial-evaluators
supercompiler
linear-logic
popr
popr-compiler
high-level-synthesis
-
Updated
Jan 7, 2021 - C
An imperative and functional programming language
cpu
compiler
gpu
simd
vectorization
functional-language
domain-specific-language
continuation-passing-style
imperative-programming-language
partial-evaluators
-
Updated
Oct 2, 2021 - C++
OCCAM: Object Culling and Concretization for Assurance Maximization
llvm
static-analysis
abstract-interpretation
pointer-analysis
partial-evaluators
debloating
delayering
-
Updated
Oct 1, 2021 - C++
Rewrite of Impala using dependent types and a PTS. Builds upon Thorin2.
programming-language
dependent-types
compiler
metaprogramming
cps
continuation-passing-style
partial-evaluators
-
Updated
Sep 21, 2018 - C++
dependently typed programming language with timeless referential transparently
programming-language
dependent-types
referentially-transparent
partial-evaluators
specialization
incremental-compilation
immutable-store
-
Updated
Aug 28, 2019 - Haskell
Scala implementation of partial evaluators from the book "Partial Evaluation and Automatic Program Generation"
-
Updated
Jan 30, 2014 - Scala
My attempt at coding a partial evaluator. Written for TIPE in "classes prépa".
-
Updated
Jul 18, 2015 - Python
A simple quine generator (for sed).
quine
esoteric
sed
fixed-point
theory-of-computation
partial-evaluators
kleene-recursion-theorem
smn-theorem
-
Updated
Jun 28, 2020 - sed
MapleMIX is an online partial evaluator for the programming language Maple.
-
Updated
Nov 28, 2014 - Scilab
Small library to partially evaluate a subset of Clojure given a set of bindings.
-
Updated
May 18, 2020 - Clojure
Improve this page
Add a description, image, and links to the partial-evaluators topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the partial-evaluators topic, visit your repo's landing page and select "manage topics."