atrosinenko

qemujs

Qemu.js source code with proof-of-concept machine-code-to-WASM JIT.

kbdysch

A collection of user-space Linux kernel specific guided fuzzers based on LKL

qemujs-demo

Demo for the qemu.js

qinst

Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code

afl-dr

Experiment in implementation of an instrumentation for American Fuzzy Lop using DynamoRIO

qemujs-builder

Build scripts for Qemu.js

memtest86-plus-riscv

Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)

composite-video-generator

Example of composite video generation with Chisel (B/W for now)

graalvm-llvm-example

Example of loading and executing LLVM IR into GraalVM

simpleinst

Make writing trivial inst{ruction,rumentation}s for RocketChip as simple as writing the C code

lecture-notes-compiler

This is a script for compilation of PDF and DjVu files from scanned lecture notes.

bpfinst-spec

Generic API for different eBPF-based instrumenter engines

fpga-shells

freedom

Source files for SiFive's Freedom platforms (port to Zeowaa board with Cyclone 4 chip: see intel-zeowaa branch)

om-lsp-draft

[abandoned] Drafty and kludgy PoC implementation of Modelica Language Server in Scala.

pmd

An extensible multilanguage static code analyzer.

OpenModelica

OpenModelica is an open-source Modelica-based modeling and simulation environment intended for industrial and academic usage.

acle

Arm C Language Extensions (ACLE)

atrosinenko.github.io

My home page

emscripten

Emscripten: An LLVM-to-JavaScript Compiler

freedom-u-sdk

Freedom Unleashed Software Development Kit

glib

GLib

HiFive_U-Boot

HiFIve Unleashed U-Boot

libffi

A portable foreign-function interface library.

lkl-linux

Linux kernel source tree

llinst

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

ModelicaStandardLibrary

Free (standard conform) library from the Modelica Association to model mechanical (1D/3D), electrical (analog, digital, machines), magnetic, thermal, fluid, control systems and hierarchical state machines. Also numerical functions and functions for strings, files and streams are included.

rocket-chip

Fork of Rocket Chip Generator: turn RoCC-0 accelerator into per-instruction instrumenter baked into the design

SDL2