sergei-romanenko

spsc

SPSC: A Small Positive Supercompiler

staged-mrsc-agda

Staged multi-result supercompilation (a model in Agda)

spsc-scala

A Small Positive Supercompiler in Scala

spinalhdl-samples

Some experiments with SpinalHDL

spsc-idris

A Small Positive Supercompiler in Idris

idris-samples

A collection of samples in Idris

mrsct

A variation of mrsc based on traits + self-types

scp-notes-ru

Notes on supercompilation (in Russian). The sources for the site

sergei-romanenko.github.io

The sources for the site

staged-mrsc-idris2

Staged multi-result supercompilation (in Idris2)

chisel3-samples

Some experiments with Chisel3

diff-zoo-romanenko

Differentiation for Hackers

Halide-HLS

HLS branch of Halide

idris2-Higman-lemma

Constructive proofs of Higman’s lemma formalized in Idris 2

idris2-Pythagoras

Pythagorean theorem (sqrt 2 is not rational). Rewritten in Idris 2 from the original proof by Thierry Coquand.

idris2-samples

A collection of samples in Idris 2

jsai-romanenko

Clone of JSAI static analysis framework

julia-samples

openacc-samples

Sample projects in OpenACC

QuantumComputing

This is an implementation of IBM's Quantum Experience in simulation; a 5-qubit quantum computer with a limited set of gates. Please cite me if you end up using this academically.

rigel

Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FPGAs, and also can compile to fast x86 test code using Terra.

SATExperiments.jl

Julia - Experiments with SAT solvers

sc-mini

SC Mini is a "minimal" positive supercompiler

sc-mini-scala

sc-mini: A Minimalistic Supercompiler written in Scala

scala-lms-samples

Experiments with Scala LMS

scsc-romanenko

staged-mrsc-python

Staged multi-result supercompilation (in Python)

staged-mrsc-rust

staged-mrsc-scala

Staged multi-result supercompilation (in Scala)

StagedMRSC.jl