Skip to content
View sangkilc's full-sized avatar
🎗️
🎗️
169 followers · 0 following

Achievements

Achievement: Galaxy Brainx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Shark

Achievements

Achievement: Galaxy Brainx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Shark

Highlights

  • Pro

Organizations

@SoftSec-KAIST @B2R2-org

Block or report sangkilc

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

  • binutils-gdb Public

    Forked from bminor/binutils-gdb

    Unofficial mirror of sourceware binutils-gdb repository. Updated daily.

    C Other Updated Oct 16, 2022

  • TestDictionary Public

    C# Updated Mar 4, 2021

  • fslang-design Public

    Forked from fsharp/fslang-design

    RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas

    Updated Jan 20, 2021

  • ICSE-2020-SV-Handbook Public

    ICSE 2020 Student Volunteer Handbook

    1 2 Updated Jul 8, 2020

  • whyfsharp Public

    F# meetup presentation material

    F# 10 1 Updated Jan 13, 2020

  • ofuzz Public

    Fuzzing framework written in OCaml

    OCaml 31 17 Updated Aug 23, 2016

  • shelleval Public

    ShellCode Evaluator for Linux

    C 2 5 GNU General Public License v2.0 Updated Feb 23, 2016

  • libbil Public

    libBIL: an intermediate language for binary derived from BAP

    OCaml 10 2 GNU General Public License v2.0 Updated Oct 22, 2015

  • libinput Public

    Program Input Representation in OCaml

    OCaml 2 Updated Apr 15, 2015

  • sangkilc.github.io Public

    personal web page

    Updated Nov 27, 2014

  • bddset Public

    BddSet: BDD-based set representation

    OCaml 2 1 Other Updated Nov 20, 2014

  • ocloud Public

    oCloud: controlling cloud nodes via command lines (written in OCaml)

    OCaml 4 GNU General Public License v2.0 Updated Nov 18, 2014

  • ocaml-magic Public

    file identification in OCaml

    C 1 Other Updated Nov 17, 2014

  • ocaml-exploit Public

    A collection of useful functions to write an exploit in OCaml

    OCaml 16 3 GNU General Public License v2.0 Updated Oct 11, 2014