Skip to content
View cyruliu's full-sized avatar

Organizations

@OPLSS

Block or report cyruliu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Android Dynamic Monitor

Java 25 5 Updated Feb 6, 2023

LTL verification on lifted binaries.

LLVM 6 Updated Jun 11, 2024

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

JavaScript 1 1 Updated Jul 31, 2022

Horus, a formal verification tool for StarkNet smart contracts.

Haskell 72 7 Updated Mar 31, 2023

Low-Level Software Security for Compiler Developers

TeX 530 50 Updated Jul 19, 2024

Automatic test case generation for python and static analysis library

Python 261 15 Updated Mar 28, 2022

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

TypeScript 18 4 Updated Oct 8, 2023

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

C 3,148 973 Updated Dec 17, 2024

Scalable Validator for Binary Lifters

LLVM 54 8 Updated Jun 28, 2020
OCaml 1 Updated Feb 3, 2021

Automatic SQL injection and database takeover tool

Python 32,855 5,747 Updated Dec 10, 2024

Knotical: An Inference System of Trace Refinement Relations

HTML 3 2 Updated Nov 23, 2021

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

Python 4,861 1,963 Updated Mar 24, 2023

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

Python 6,729 2,236 Updated Jun 2, 2023

Embedded language for high-performance array computations

Haskell 909 119 Updated Dec 10, 2024

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

HTML 1 Updated Apr 12, 2020

llvm2KITTeL

C++ 19 12 Updated Feb 16, 2017

Alloy with browser-based visualizations

Java 27 1 Updated Jun 16, 2021

The Jakstab static analysis platform for binaries

Java 158 24 Updated Dec 10, 2019

Program analysis tools developed at Draper on the CBAT project.

OCaml 102 14 Updated Apr 13, 2023

resurrected LLVM "C Backend", with improvements

C++ 859 146 Updated Oct 19, 2024

Intermediate Representation for Binary analysis and transformation

C++ 311 38 Updated Sep 19, 2024

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

C 747 157 Updated Dec 16, 2024

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

84 39 Updated Jan 1, 2019

🎆Interactive Online Platform that Visualizes Algorithms from Code

JavaScript 46,878 7,313 Updated Jun 9, 2024

Reverse Engineering using Radare2

C 308 56 Updated Dec 25, 2021

SMACK Software Verifier and Verification Toolchain

C 431 82 Updated Oct 21, 2024
Next