cyruliu

cyruliu's Stars

• ulab-uiuc/AGI-survey

  31920

• cyruliu/Sensitive_API_Monitor

  Android Dynamic Monitor

  Language:Java255

• cyruliu/darksea

  LTL verification on lifted binaries.

  Language:LLVM6

• snvastaffing/spring-interview-guide

  200+ Questions and Answers on Spring, Spring Boot and Spring MVC

  11

• utopia-group/SmartPulseTool

  Language:C99

• NethermindEth/horus-checker

  Horus, a formal verification tool for StarkNet smart contracts.

  Language:Haskell717

• llsoftsec/llsoftsecbook

  Low-Level Software Security for Compiler Developers

  Language:TeX52250

• MintedWithLovelace/MintedWithLovelace

  Language:JavaScript205

• usagitoneko97/klara

  Automatic test case generation for python and static analysis library

  Language:Python25915

• Cardano-Fans/crfa-public-webapp

  CRFA branded website that can be used as an example of Cardano / wallet integration.

  Language:TypeScript184

• stellar/stellar-core

  Reference implementation for the peer-to-peer agent that manages the Stellar network.

  Language:C3.1k969

• sdasgup3/validating-binary-decompilation

  Scalable Validator for Binary Lifters

  Language:LLVM548

• letonchanh/cinstr

  Language:OCaml1

• sqlmapproject/sqlmap

  Automatic SQL injection and database takeover tool

  Language:Python32.1k5.7k

• knotical/knotical

  Knotical: An Inference System of Trace Refinement Relations

  Language:HTML32

• jaungiers/LSTM-Neural-Network-for-Time-Series-Prediction

  LSTM built using Keras Python package to predict time series steps and sequences. Includes sin wave and stock market data

  Language:Python4.8k2k

• pythonstock/stock

  stock，股票系统。使用python进行开发。

  Language:Python6.6k2.2k

• AccelerateHS/accelerate

  Embedded language for high-performance array computations

  Language:Haskell896117

• azharzahin/Wine-Festival-Schedule-In-Html

  Create a Wine Festival Schedule using of html and make a table...!!!

  Language:HTML1

• s-falke/llvm2kittel

  llvm2KITTeL

  Language:C++1912

• alloy-js/sterling

  Alloy with browser-based visualizations

  Language:Java271

• jkinder/jakstab

  The Jakstab static analysis platform for binaries

  Language:Java15524

• draperlaboratory/cbat_tools

  Program analysis tools developed at Draper on the CBAT project.

  Language:OCaml10214

• JuliaHubOSS/llvm-cbe

  resurrected LLVM "C Backend", with improvements

  Language:C++837144

• GrammaTech/gtirb

  Intermediate Representation for Binary analysis and transformation

  Language:C++30335

• dyninst/dyninst

  DyninstAPI: Tools for binary instrumentation, analysis, and modification.

  Language:C726153

• Beerkay/IoTResearch

  IoT Reading List (IoT research papers from 2016 to 2019)

  8339

• algorithm-visualizer/algorithm-visualizer

  :fireworks:Interactive Online Platform that Visualizes Algorithms from Code

  Language:JavaScript46.6k7.3k

• ifding/radare2-tutorial

  Reverse Engineering using Radare2

  Language:C30556

• smackers/smack

  SMACK Software Verifier and Verification Toolchain

  Language:C42782