KiJeong-Lim

I am a student at Chonnam National University, majoring in mechanical engineering.

Gwangju, Republic of Korea

Pinned Repositories

Capstone
Language:C++1 1 00
cxxs
C++ srcs
Language:C++00
DschingisKhan
He Reiter, Ho Reiter, He Reiter, Immer weiter!
Language:Coq9 1 10
Homeworks
Language:Haskell2 0 00
KWON
Language:Haskell1 0 00
LogicStudy
my notes for mathematical logic
Language:TeX2 0 00
LoL
Language:Coq00
portfolio
My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.
13 0 20
ppap
Project Putting All Power!
Language:Haskell4 0 11

KiJeong-Lim's Repositories

KiJeong-Lim/portfolio
My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.
13 0 20
KiJeong-Lim/DschingisKhan
He Reiter, Ho Reiter, He Reiter, Immer weiter!
Language:Coq9 1 10
KiJeong-Lim/ppap
Project Putting All Power!
Language:Haskell4 0 11
KiJeong-Lim/Homeworks
Language:Haskell2 0 00
KiJeong-Lim/LogicStudy
my notes for mathematical logic
Language:TeX2 0 00
KiJeong-Lim/Capstone
Language:C++1 1 00
KiJeong-Lim/KWON
Language:Haskell1 0 00
KiJeong-Lim/PlanHol
a Programming LANguage with Higher-Order Logic
Language:Haskell1 1 00
KiJeong-Lim/proof
Language:Coq1 0 00
KiJeong-Lim/V9
capstone
Language:C++10
KiJeong-Lim/cxxs
C++ srcs
Language:C++00
KiJeong-Lim/LoL
Language:Coq00
KiJeong-Lim/A0
Language:C++
KiJeong-Lim/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
KiJeong-Lim/KiJeong-Lim.github.io
Language:HTML1 0
KiJeong-Lim/Ordinal
Language:Coq0 0
KiJeong-Lim/petitsql
Language:Coq0 0
KiJeong-Lim/scripts
My script
Language:Haskell0 0
KiJeong-Lim/substitution
A study on subsitution
KiJeong-Lim/vermillion
Language:OCaml0 0
KiJeong-Lim/yapb
YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)
Language:Haskell0 0