Alexander Tarasikov (astarasikov)

astarasikov

Geek Repo

Location:Berlin

Home Page:https://allsoftwaresucks.blogspot.com

Github PK Tool:Github PK Tool


Organizations
kovskyDevs
Ksys-labs

Alexander Tarasikov's starred repositories

serenity

The Serenity Operating System 🐞

Language:C++License:BSD-2-ClauseStargazers:29819Issues:348Issues:4162

ZLUDA

CUDA on AMD GPUs

Language:RustLicense:Apache-2.0Stargazers:8390Issues:119Issues:150

re3

GTA III, Vice City

Language:C++Stargazers:6845Issues:0Issues:0

XiangShan

Open-source high-performance RISC-V processor

Language:ScalaLicense:NOASSERTIONStargazers:4486Issues:91Issues:350

fuzzing

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

Language:C++License:Apache-2.0Stargazers:3401Issues:113Issues:29

PongoOS

pongoOS

Language:CLicense:NOASSERTIONStargazers:2469Issues:263Issues:90

circle

The compiler is available for download. Get it!

mrustc

Alternative rust compiler (re-implementation)

Language:C++License:MITStargazers:2106Issues:45Issues:183

MacVM

macOS VM for Apple Silicon using Virtualization API

Language:SwiftLicense:Apache-2.0Stargazers:1310Issues:40Issues:42

Rudra

Rust Memory Safety & Undefined Behavior Detection

Language:RustLicense:Apache-2.0Stargazers:1306Issues:29Issues:20

Enzyme

High-performance automatic differentiation of LLVM and MLIR.

Language:LLVMLicense:NOASSERTIONStargazers:1203Issues:32Issues:361

linux-m1

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:879Issues:52Issues:0

gdrcopy

A fast GPU memory copy library based on NVIDIA GPUDirect RDMA technology

Language:C++License:MITStargazers:816Issues:56Issues:178

practical-fm

A gently curated list of companies using verification formal methods in industry

bladeRF-wiphy

bladeRF-wiphy is an open-source IEEE 802.11 compatible software defined radio VHDL modem

Language:VHDLLicense:GPL-2.0Stargazers:377Issues:24Issues:13

io_uring-by-example

A companion repository for the io_uring by Example article series

D3D9On12

The Direct3D9-On-12 mapping layer

Language:C++License:MITStargazers:336Issues:18Issues:32

ghidra_kernelcache

a Ghidra framework for iOS kernelcache reverse engineering

Language:PythonLicense:Apache-2.0Stargazers:333Issues:12Issues:8

virtual

Linux Virtual Machines on macOS

Language:SwiftLicense:NOASSERTIONStargazers:262Issues:12Issues:2

img4tool

A tool for manipulating IMG4, IM4M and IM4P files

Language:C++License:LGPL-3.0Stargazers:253Issues:26Issues:37

linear-algebra-done-right-solutions

Solutions to Linear Algebra Done Right, Third Edition

fairplay_research

Some RE work on Apple's Fairplay DRM

monocular-depth-unity

Depth from Monocular Image using the MiDaS v2 library with Unity's Barracuda inference framework

Language:C#License:MITStargazers:114Issues:5Issues:2

preloader-m1

Preloader for Linux on M1

Language:CLicense:BSD-3-ClauseStargazers:100Issues:13Issues:6

isosurface

Rust algorithms for isosurface extraction

Language:RustLicense:Apache-2.0Stargazers:66Issues:5Issues:3

opengl-radiosity-tutorial

Source code and tutorial for a progressive radiosity renderer written in C++ using OpenGL 4.5

Language:C++Stargazers:60Issues:0Issues:1

AFLplusplus-protobuf-mutator

AFLplusplus + libprotobuf-mutator

Language:C++License:Apache-2.0Stargazers:52Issues:5Issues:2
Language:JavaScriptLicense:MITStargazers:39Issues:8Issues:0

iOS-device-tree-dump

Dump non-encrypted iOS device tree extracted from im4p

Language:CLicense:BSD-3-ClauseStargazers:38Issues:5Issues:1