dakaidan

dakaidan's Stars

• ReX-XAI/ReX

  Causal Responsibility EXplanations for Image Classifiers and Tabular Data

  Language:Python2

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.5k395

• FreyaHolmer/Mathfs

  Expanded Math Functionality for Unity

  Language:C#2.5k175

• malb/lattice-estimator

  An attempt at a new LWE estimator

  Language:Python21548

• ocornoc/metronome32

  A Pendulum ISA virtual machine in C++14.

  Language:C++2

• xoreaxeaxeax/sandsifter

  The x86 processor fuzzer

  Language:Python4.9k350

• srg-imperial/GrayC

  GrayC: Greybox Fuzzing of Compilers and Analysers for C

  Language:C++531

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k226

• hdg7/mlighter

  MLighter: The holistic tool for security evaluations of machine learning systems. http://mlighter.freedevelop.org/

  Language:Jupyter Notebook51

• SaschaWillems/Vulkan-glTF-PBR

  Physical based rendering with Vulkan using glTF 2.0 models

  Language:C++967131

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown304k28.5k

• PacktPublishing/Mastering-Graphics-Programming-with-Vulkan

  Language:C++54273

• practical-tutorials/project-based-learning

  Curated list of project-based tutorials

  200k26.1k

• jassics/security-study-plan

  Complete Practical Study Plan to become a successful cybersecurity engineer based on roles like Pentest, AppSec, Cloud Security, DevSecOps and so on...

  4.4k541

• alibaba/MNN

  MNN is a blazing fast, lightweight deep learning framework, battle-tested by business-critical use cases in Alibaba

  Language:C++8.6k1.7k

• vesoft-inc/nebula

  A distributed, fast open-source graph database featuring horizontal scalability and high availability

  Language:C++10.7k1.2k

• hexops/vecty

  Vecty lets you build responsive and dynamic web frontends in Go using WebAssembly, competing with modern web frameworks like React & VueJS.

  Language:Go2.8k144

• mitmath/computational-thinking

  Course 18.S191 at MIT, Fall 2022 - Introduction to computational thinking with Julia

  Language:Julia2.6k478