-
quills Public
A tool for depth-optimal layout synthesis on quantum circuits.
-
qtest Public archive
For testing and comparing qt (QuilLS, q-synth, olsq2, tb-olsq2 and sabre
-
rust-service-library Public
Forked from jaschdoc/merrymake-rust-service-libraryRust UpdatedMar 17, 2024 -
-
-
-
optifuzz Public
A tool for fuzzing random optimized C programs and detect side-channel vulnerabilities.
-
cp Public
A repository containing my solutions to various competitive programming problems in my favorite languages.
F# UpdatedJun 8, 2022 -
adiar Public
Forked from ssoelvsten/adiarAn I/O-efficient implementation of (Binary) Decision Diagrams
C++ MIT License UpdatedJun 6, 2022 -
A lambda calculus interpreter project, written in Nim.
-
2d-typescript-game-engine Public archive
This is a simple 2D game engine written in TypeScript.
TypeScript MIT License UpdatedOct 2, 2020 -
-
optimus-switch-gdm Public archive
Forked from dglt1/optimus-switch-gdmmodified version to work with gdm/gnome. includes install script. made for manjaro linux.
Shell UpdatedMay 20, 2020 -
gpu-indicator-gnome-extension Public archive
This GNOME extension adds a small icon in the top bar indicating which GPU you're currently using.
{{ message }}