kwanghoon
Follow
-
-
-
-
-
-
-
Lecture_SAV Public
Haskell implementation of program analyses on the WHILE language
-
parconc-examples Public
Forked from simonmar/parconc-examplesSample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Haskell Other UpdatedNov 26, 2024 -
PolymorphicRpcCalculus Public
Forked from sgshmn/PolymorphicRpcCalculusHaskell UpdatedOct 14, 2024 -
min-caml Public
Forked from esumii/min-camlmoved from https://sourceforge.net/p/min-caml/code/
OCaml Other UpdatedOct 8, 2024 -
tree-sitter Public
Forked from tree-sitter/tree-sitterAn incremental parsing system for programming tools
Rust MIT License UpdatedOct 6, 2024 -
-
haskell-tree-sitter Public
Forked from tree-sitter/haskell-tree-sitterHaskell bindings for tree-sitter
Haskell UpdatedJul 22, 2024 -
Lecture_EOPL_Exercise Public
Exercises for EOPL in Haskell
-
auto_LiRPA Public
Forked from Verified-Intelligence/auto_LiRPAauto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
Python Other UpdatedJun 23, 2024 -
-
PaperSorter Public
Forked from ChangLabSNU/PaperSorterSends alerts to a Slack channel for potentially interesting new articles selected from RSS feeds.
Python MIT License UpdatedJun 2, 2024 -
vuddy Public
Forked from squizz617/vuddyVUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)
C MIT License UpdatedMay 28, 2024 -
vul-dbgen Public
Forked from neuvector/vul-dbgenGenerate vulnerability database
Go UpdatedApr 23, 2024 -
iso15118 Public
Forked from EcoG-io/iso15118Implementation of the ISO 15118 Communication Protocol (-2, -20, -8)
Python Apache License 2.0 UpdatedApr 22, 2024 -
-
-
-
yapb Public
YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)
-
-
-
HasChor Public
Forked from gshen42/HasChorFunctional choreographic programming in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 24, 2024 -
-
ml4se Public
Forked from saltudelft/ml4seA curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering
UpdatedJan 16, 2024 -
maeve-csms Public
Forked from thoughtworks/maeve-csmsMaEVe is an experimental EV Charge Station Management System (CSMS)
Go Apache License 2.0 UpdatedJan 2, 2024