lucas-rami

Senior Software Development Engineer @ AMD

EPFLLausanne, Switzerland

Pinned Repositories

dynamatic
DHLS (Dynamic High-Level Synthesis) compiler based on MLIR
Language:C++61 9 6819
circt
Circuit IR Compilers and Tools
Language:C++00
down-to-cook
0 1 00
dynamatic-utils
Language:Python3 2 01
High-Level-Vulkan
A C++ Vulkan API aiming to provide high-level primitives to facilitate development of Vulkan code.
Language:C++2 1 00
Kernel
From scratch implementation of a kernel for x86 architecture
Language:C1 1 50
legacy-dynamatic
Language:C++0 0 00
MachineLearningProjects
Language:TeX1 2 01
RNA
Cellular Automata Simulator
Language:Rust2 1 00
ThreadLibrary
Operating Systems Design and Implementarion - Project 2
Language:C11

lucas-rami's Repositories

lucas-rami/dynamatic-utils
Language:Python3 2 01
lucas-rami/High-Level-Vulkan
A C++ Vulkan API aiming to provide high-level primitives to facilitate development of Vulkan code.
Language:C++2 1 00
lucas-rami/RNA
Cellular Automata Simulator
Language:Rust2 1 00
lucas-rami/Kernel
From scratch implementation of a kernel for x86 architecture
Language:C1 1 50
lucas-rami/MachineLearningProjects
Language:TeX1 2 01
lucas-rami/ThreadLibrary
Operating Systems Design and Implementarion - Project 2
Language:C11
lucas-rami/circt
Circuit IR Compilers and Tools
Language:C++00
lucas-rami/down-to-cook
0 1 00
lucas-rami/legacy-dynamatic
Language:C++0 0 00
lucas-rami/lucas-rami
lucas-rami/Peerster
Language:Go1
lucas-rami/verifast
Research prototype tool for modular formal verification of C and Java programs
Language:OCaml