Pinned Repositories
fdia_simulation
:flight_departure: Air traffic controller simulator using simulated planes/radars. Objective - impact of a compromised radar and FDI attack on state estimators
gigue
🕺 Interpretation loop and JIT code generator to benchmark RISC-V isolation mechanisms
jitdomain-tests
Assembly tests following the JITDomain instruction-level domain isolation principle
lectern
💡 Notes and bib manager (articles are mostly related to language virtual machines or runtime engines)
LLVM-C
🏆 Tutorial on the LLVM C bindings
LLVMBindings
LLVM C bindings from Pharo
mitos
:film_strip: Python-based lexer and parser generator from an EBNF grammar.
nn_benchmark
🧠 Benchmark facility to train networks on different datasets for PyTorch/Brevitas
opensmalltalk-vm
This is the VM used by Pharo
womc
🇨 undergraduate C project for teachers
QDucasse's Repositories
QDucasse/nn_benchmark
🧠 Benchmark facility to train networks on different datasets for PyTorch/Brevitas
QDucasse/lectern
💡 Notes and bib manager (articles are mostly related to language virtual machines or runtime engines)
QDucasse/gigue
🕺 Interpretation loop and JIT code generator to benchmark RISC-V isolation mechanisms
QDucasse/mitos
:film_strip: Python-based lexer and parser generator from an EBNF grammar.
QDucasse/cva6
The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux
QDucasse/pmpoke
👉 ASM tests around the PMP unit
QDucasse/sdvc
🍞 Simplified DiVinE Compiler to a custom ISA
QDucasse/sdvu
💻 Simple DiVinE custom ISA processing unit
QDucasse/womc
🇨 undergraduate C project for teachers
QDucasse/jitdomain-tests
Assembly tests following the JITDomain instruction-level domain isolation principle
QDucasse/opensmalltalk-vm
This is the VM used by Pharo
QDucasse/bloggy
📚 Sources for my blog https://qducasse.github.io
QDucasse/chimi
🏭 Chisel implementation of simple RIMI verifications
QDucasse/foundry
🔨 Base for an ACM/IEEE article
QDucasse/MiniBowser
💻 Mini browser performing HTTP requests and displaying site content
QDucasse/pharo-llvmDisassembler
Pharo bindings to the LLVM disassembler
QDucasse/pharo-unicorn
Pharo bindings to the Unicorn machine code simulation library
QDucasse/QDucasse
QDucasse/QDucasse.github.io
Sources of my blog https://qducasse.github.io
QDucasse/riscv-gnu-toolchain
GNU toolchain for RISC-V, including GCC - adding JITDomain instructions
QDucasse/riscv-tools
RISC-V Tools (ISA Simulator and Tests)
QDucasse/rocket-chip
Rocket Chip Generator
QDucasse/rocket-tools
Software tools that support rocket-chip (GNU toolchain, ISA simulator, tests)
QDucasse/Ropper
Display information about files in different file formats and find gadgets to build rop chains for different architectures (x86/x86_64, ARM/ARM64, MIPS, PowerPC, SPARC64). For disassembly ropper uses the awesome Capstone Framework.
QDucasse/sdve-beem-benchmark
📈 BEEM Benchmark translation for Simple DiVinE
QDucasse/sdvs
⚙️ Simple DiVinE binary execution simulator
QDucasse/smol
👶 small lexer/parser/ast over a toy language
QDucasse/spike-lib
📙 Extension of Spike as a library with a simple API
QDucasse/SpikeRISCVSimulator
🚨 Pharo bindings to the Spike RISC-V simulator
QDucasse/unicorn
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)