Sergei Romanenko's repositories
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
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
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.
SATExperiments.jl
Julia - Experiments with SAT solvers
sc-mini-scala
sc-mini: A Minimalistic Supercompiler written in Scala
scala-lms-samples
Experiments with Scala LMS
staged-mrsc-python
Staged multi-result supercompilation (in Python)
staged-mrsc-scala
Staged multi-result supercompilation (in Scala)