KiJeong-Lim

임기정's repositories

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.

1302

DschingisKhan

He Reiter, Ho Reiter, He Reiter, Immer weiter!

Language:Coq9 1 1

ppap

Project Putting All Power!

Language:HaskellBSD-3-Clause401

Homeworks

Language:Haskell200

LogicStudy

my notes for mathematical logic

Language:TeX200

Capstone

Language:C++1 10

KWON

Language:Haskell100

PlanHol

a Programming LANguage with Higher-Order Logic

Language:HaskellBSD-3-Clause1 10

proof

Language:Coq100

V9

capstone

Language:C++100

cxxs

C++ srcs

Language:C++MIT000

A0

Language:C++000

InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT000

KiJeong-Lim.github.io

Language:HTML010

Ordinal

Language:CoqMIT000

petitsql

Language:CoqBSD-3-Clause000

scripts

My script

Language:HaskellNOASSERTION000

substitution

A study on subsitution

BSD-3-Clause000

vermillion

Language:OCamlBSD-3-Clause000

yapb

YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)

Language:HaskellBSD-3-Clause000