kwanghoon Goto Github PK

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

messagepassinginjava

CML style concurrent programming in Java

metalambdacalculus

An Implementation of the Meta Lambda Calculus

miso

:ramen: A tasty Haskell front-end framework

ml4se

A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering

mlsr

A functional programming language with polymorphic algebraic effects, handlers, and signature restriction

myrealhotel

🏨 Side project cloning hotel web site

myrottenpotatoes

mysmallbasic

An Open-source Software for SmallBasic Interpreter and Debugger written in Java

nans_project_for_android

neural-network-studio-front

GUI로 인공지능 모델을 만들어 학습까지 해주는 애플리케이션

neuralverification.jl

Methods to soundly verify deep neural networks

nfc-script

nns-code-converter

에디터에서 만든 그래프를 파이썬코드로 변환

nns-fe

에디터를 제외한 나머지 프론트엔드

nns-train

GPUServer

nns_back

nnv

nussknacker

A visual tool to define and run real-time decision algorithms. Brings agility to business teams, liberates developers to focus on technology.

openssd

A mirror of the openssd project

oss_git_example

ostep-translations

Various translations of OSTEP can be found here. Help the cause and contribute!

owasp-fstm

The Firmware Security Testing Methodology (FSTM) is composed of nine stages tailored to enable security researchers, software developers, consultants, and Information Security professionals with conducting firmware security assessments.