kwanghoon Goto Github PK

hw-sinatra-saas-hangperson

infer

A static analyzer for Java, C and Objective-C

intellidroid

A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.

intentspec

intentspecbenchmark

invcon-tool

InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!

iota

IOTA in JAVA

iotacalculus

issues

Elixir example

java-logic

constructive logic framework in java

javaanalysis

A Type and Effect System for Activation Flow of Components in Android-like Programs

jmbyun.github.io

A personal academic website built on top of a Google Sheet document that is super easy to maintain.

jnu-online-judge

kiteco-public

Primary Kite repo — private bits replaced with XXXXXXX

kwanghoon.github.io

Personal website

langchain

⚡ Building applications with LLMs through composability ⚡

learninghaskell_exercises

Haskell exercises corresponding to the youtube tutorials series Learning Haskell

lecture-myrottenpotatoes

lecture_eopl_exercise

Exercises for EOPL in Haskell

lecture_haskell_mooc

lecture_introtocompiler

lecture_java

lecture_sav

Haskell implementation of program analyses on the WHILE language

lecture_smartcontract

links

Links: Linking Theory to Practice for the Web

linksrpc

llama-int8

Quantized inference code for LLaMA models

maejiri

LF type checker written in Haskell

maeve-csms

MaEVe is an experimental EV Charge Station Management System (CSMS)

mastermind

A mastermind game