๐ฐ๐ท Made in South Korea
Discover South Korea's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of South Korea.
TOP OCaml Projects
green-labs/ppx_spice
ReScript PPX which generates the JSON (de)serializers
daangn/advent-of-code-2021
์๋ก์ด ํ๋ก๊ทธ๋๋ฐ ์ธ์ด์ ํจ๊ป ๊ฒจ์ธ๋๊ธฐ
prosyslab/tracer
Signature-based Static Analysis for Detecting Recurring Vulnerabilities
green-labs/ppx_ts
ReScript PPX helps the binding to typescript modules
sangkilc/ofuzz
Fuzzing framework written in OCaml
simnalamburt/snucse.pl
4190.310 Programming Languages (Fall 2015)
Jhuni0123/pl-checker
2017F Programming Language Homework Checker
green-labs/res_tailwindcss
ReScript PPX which validates the tailwindcss class names
sangkilc/ocaml-exploit
A collection of useful functions to write an exploit in OCaml
prosyslab-classroom/hardcore-ocaml
sangkilc/libbil
libBIL: an intermediate language for binary derived from BAP
green-labs/ppx_react_hook_form
ReScript PPX for the react hook form bindings
sangwoo-joh/ocaml-ps
๐ซ Problem solving with OCaml
LimitEpsilon/reanalyze-ropas
ReScript static analysis tool, from https://github.com/rescript-association/reanalyze and extended upon by ROPAS@SNU
m-spitfire/house_builder_ocaml
kseo/tapl
Typechecker Implementations of Types and Programming Languages
qkrgud55/ocamlmulti
Multi-runtime reentrant OCaml
Zeta611/L
๐ณ๏ธ Prospect analysis
sangkilc/ocloud
oCloud: controlling cloud nodes via command lines (written in OCaml)
sjmini/justgen
Zeta611/ReacttRace
โ๏ธ React components analysis
prosyslab/turbo-tv
Translation Validation for TurboFan
SunghoLee/c-summary
kgwangrae/2014-2-Programming-Language
Homework for 2014 fall PL, SNUCSE
prosyslab/dude
mununki/spice-compiler
A compiler implementing the type inference of HindleyโMilner type system
kanigsson/who
Why Higher Order
lifthrasiir/dcputhings
Assorted Tools for DCPU-16 Development
sangkilc/bddset
BddSet: BDD-based set representation
sangkilc/libinput
Program Input Representation in OCaml
Rainist/galley-recipes
core recipes for Galley
sainthkh/graphql-reason
Port of GraphQL-js in ReasonML/OCaml
prosyslab/logger
calofmijuck/pl-checker-2023
SNU Programming Languages Assignment Checker 2023
Zeta611/abstracting-definitional-interpreters
Zeta611/fun-king-functors
Playing around with OCaml functors
Zeta611/effect_based_interpreter
A modular interpreter using effects and effect handlers
kwanghoon/tapl
{TAPL Book] Types and programming languages: type checkers
prosyslab-classroom/random-program-generator
Zeta611/algorithms
Algorithm implementations
Hhro/patch-synthesizer
oojahooo/COSE212
COSE212 - Programming Language Codes
miniprime1/plus
The + Programming Language.
sainthkh/space-client
yongjip/instagram-web-crawler-python
loput12ouj35/2016-PL-Ocamal-Assignments
My assignments from "Programming Language" class
ljb7977/aoc_ocaml
LimitEpsilon/exception-test
Test out exception analysis
jungwookim/ocaml101
SoftSec-KAIST/MeanDiff-LifterBAP
Lift instruction to BIL, using BAP, and translate to MeanDiff's UIR
Zeta611/rs
SoftSec-KAIST/MeanDiff-LifterBINSEC
Lift instruction to DBA, using BINSEC, and translate to MeanDiff's UIR
kyagrd/bedwyr
MarsMan13/interpreter_built_with_ocaml
After studying PL, I made a toy interpreter made of ocaml
LimitEpsilon/modular-analysis
A framework for separate & modular program analysis
pacokwon/tapl
TAPL
Zeta611/advent_of_code_2023
Advent of Code 2023
jen6/k--language
k- ์ธ์ด ์ค๊ณ
Zeta611/123
๐ข Programming Language Semantics: It's Easy As 1,2,3 by Graham Hutton
Zeta611/definitional-interpreters
โ Definitional Interpreters for Higher-Order Programming Languages by John C. Reynolds
scjung/mlsh
shell script language inspired by ML
hjshin/camlidl_modified
let camlidl handle bitfield
thdtjsdn/haxe
Haxe compiler sources (mirrored from SVN) and all dependencies in one git repository [unofficial]
sangwoo-joh/ocaml-data-structure
๐ซ ๐
oojahooo/COSE312
COSE312 - Compilers 2020 HWs
pacokwon/cs448-intro-information-security
sangwoo-joh/infer_parallel
The core parallel task runner used by Facebook Infer
prosyslab/sparrow