Repositories list

• cs524-program-analysis

  Public
  Python

  •18•60•1•0•Updated Jun 7, 2025Jun 7, 2025

• cs424-program-reasoning

  Public
  Python

  •21•44•1•0•Updated May 30, 2025May 30, 2025

• cs348-information-security

  Public
  Python

  •19•85•1•0•Updated May 30, 2025May 30, 2025

• llama.cpp

  Public
  LLM inference in C/C++

  C++

  •

  MIT License

  •12k•0•0•0•Updated May 13, 2025May 13, 2025

• BitNet

  Public
  Official inference framework for 1-bit LLMs

  C++

  •

  MIT License

  •1.5k•0•0•0•Updated May 13, 2025May 13, 2025

• llvm-primer

  Public
  5•11•0•0•Updated Apr 25, 2025Apr 25, 2025

• checkml

  Public
  OCaml

  •1•0•0•0•Updated Apr 21, 2025Apr 21, 2025

• hardcore-ocaml

  Public template
  OCaml

  •4•14•0•0•Updated Apr 15, 2025Apr 15, 2025

• llvmutils

  Public
  OCaml

  •7•0•0•0•Updated Apr 9, 2025Apr 9, 2025

• environment

  Public
  Shell

  •1•0•1•0•Updated Apr 5, 2025Apr 5, 2025

• is661-advanced-software-security

  Public
  Shell

  •9•11•7•0•Updated Jun 14, 2024Jun 14, 2024

• is593-language-based-security

  Public
  Shell

  •6•28•0•0•Updated Aug 14, 2023Aug 14, 2023

• .github

  Public
  0•0•0•0•Updated May 24, 2022May 24, 2022

• dragon-ball-z3

  Public
  OCaml

  •0•0•0•0•Updated Apr 11, 2022Apr 11, 2022

• is511-2021-spring

  Public
  Shell

  •2•0•8•0•Updated Mar 3, 2021Mar 3, 2021

• is893-2020-fall

  Public
  Shell

  •7•6•12•0•Updated Dec 19, 2020Dec 19, 2020

• random-program-generator

  Public
  OCaml

  •0•1•1•0•Updated Jun 24, 2020Jun 24, 2020