Pinned Repositories
angelix
Semantic program repair system for C programs
bazel
a fast, scalable, multi-language and extensible build system
cryptocoding
Guidelines for low-level cryptography software
Darjeeling
Language-independent, search-based program repair -- just your cup of tea! ☕
dudect
dude, is my code constant time?
Hands-On-GPU-Programming-with-Python-and-CUDA
Hands-On GPU Programming with Python and CUDA, published by Packt
hash_extender
llvm-clang-samples
UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
luz-cpu
Educational open-source CPU suite (with assembler, linker and simulator)
ardaunal's Repositories
ardaunal/angelix
Semantic program repair system for C programs
ardaunal/bazel
a fast, scalable, multi-language and extensible build system
ardaunal/cryptocoding
Guidelines for low-level cryptography software
ardaunal/Darjeeling
Language-independent, search-based program repair -- just your cup of tea! ☕
ardaunal/dudect
dude, is my code constant time?
ardaunal/Hands-On-GPU-Programming-with-Python-and-CUDA
Hands-On GPU Programming with Python and CUDA, published by Packt
ardaunal/hash_extender
ardaunal/llvm-clang-samples
UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools
ardaunal/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
ardaunal/luz-cpu
Educational open-source CPU suite (with assembler, linker and simulator)
ardaunal/mooc-software-testing
ardaunal/saw-script
The SAW scripting language.
ardaunal/symbiflow-docs
Documentation for SymbiFlow
ardaunal/vtr-verilog-to-routing
SymbiFlow WIP changes for Verilog to Routing -- Open Source CAD Flow for FPGA Research
ardaunal/z3_notebooks