10000 SunghoLee (Sungho Lee) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View SunghoLee's full-sized avatar
32 followers · 0 following

Achievements

Achievement: StarstruckAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Pull Shark

Block or report SunghoLee

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

Stars

Showing results

compiler-tree-technologies / cil

Generates CIL MLIR dialect from C/C++ source.

C++ 33 10 Updated Feb 10, 2021

cil-project / cil

C Intermediate Language

OCaml 374 94 Updated Sep 14, 2023

antonio-morales / Fuzzing101

An step by step fuzzing tutorial. A GitHub Security Lab initiative

3,484 375 Updated Jun 3, 2024

OpenSatKit / OpenSatKit

Core Flight System (cFS) Application Developer's Kit

C 259 56 Updated Mar 25, 2024

hunkim / es-gpt

HTML 212 31 Updated Jul 15, 2023

janestreet / incr_dom

A library for building dynamic webapps, using Js_of_ocaml.

OCaml 388 32 Updated May 9, 2025

hbr / fmlib

Functional Monadic Library for Ocaml

OCaml 54 5 Updated May 22, 2025

too4words / securibench-micro

Securibench Micro is a benchmark for static analysis tools for security.

Java 26 23 Updated Jul 26, 2018

secure-software-engineering / DroidBench

A micro-benchmark suite to assess the stability of taint-analysis tools for Android

Java 280 115 Updated Apr 17, 2023
0