KiJeong-Lim / portfolioView external linksLinks
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.
☆14Updated this week
Alternatives and similar repositories for portfolio
Users that are interested in portfolio are comparing it to the libraries listed below
Sorting:
- 📝 A Rocq library written by members of PnV Discord Server☆18Feb 9, 2026Updated last week
- A Lambda expression compiler targeting web assembly.☆20Aug 7, 2024Updated last year
- ☆36Nov 7, 2025Updated 3 months ago
- Colored pencil or highlighter to use in Neovim☆10Feb 8, 2025Updated last year
- 📚 (WIP) Formal proofs of "An Infinitely Large Napkin"☆20Updated this week
- ☆10Nov 20, 2023Updated 2 years ago
- ☆14Feb 26, 2024Updated last year
- JSON Web Token (JWT) decoding and encoding☆21Sep 9, 2024Updated last year
- 📚 (WIP) Rewriting Software Foundations in Lean 4☆29Oct 24, 2025Updated 3 months ago
- WebAssembly interpreter in a Header (WAH)☆31Oct 6, 2025Updated 4 months ago
- A simple Rust and WebAssembly example implementing the Game of Life☆15Aug 4, 2021Updated 4 years ago
- Generated migrations for beam databases☆23Dec 25, 2025Updated last month
- Example of using Yampa and GHC Wasm backend to create a simple web app.☆19Dec 10, 2023Updated 2 years ago
- 🍁 Compiler Compiler based on CSharp with GUI Program☆21Oct 21, 2022Updated 3 years ago
- 📝 Solutions of "An Infinitely Large Napkin"☆38Feb 9, 2026Updated last week
- 컴파일러 만들기 [컴퓨터 프로그램의 구조와 원리]☆58Nov 12, 2024Updated last year
- A Java Entity-Component-System game engine.☆11Dec 24, 2019Updated 6 years ago
- upbit-api on rust☆10May 28, 2025Updated 8 months ago
- Implementation for the book <Implementing functional languages: a tutorial>☆33Apr 15, 2019Updated 6 years ago
- A Playwright MCP package in Nix☆17Jan 16, 2026Updated last month
- Exercises for EOPL in Haskell☆10Apr 1, 2025Updated 10 months ago
- Merge sort correctness proof☆11May 21, 2015Updated 10 years ago
- multi-logic proof generator☆11Sep 18, 2023Updated 2 years ago
- Compositional and declarative user interface library for Clojure and Clojurescript☆13Sep 25, 2025Updated 4 months ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- An educational SAT solver written in Rust☆13Sep 23, 2023Updated 2 years ago
- Bot for Runescape NXT client (non functional currently)☆12Mar 23, 2021Updated 4 years ago
- ☆15May 15, 2025Updated 9 months ago
- Binary Ninja plugin for automated refactoring of the RuneScape NXT client☆12Nov 17, 2022Updated 3 years ago
- Functional heterogeneous list (hlist) library for Rust☆11Jun 28, 2020Updated 5 years ago
- Relay support for Zed☆10Sep 25, 2025Updated 4 months ago
- ☆28Dec 28, 2025Updated last month
- 로버트 나이스트롬의 인터프리터 in Java, C / CRAFTING INTERPRETERS☆11Nov 15, 2023Updated 2 years ago
- 📦 Initialize JSON data according to type schema☆11May 10, 2021Updated 4 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Nexss PROGRAMMER 2.x - innovative and evolutionary programming tool - over 50 programming languages☆15Sep 19, 2025Updated 4 months ago
- An extendable powerline plugin for clink☆10Apr 10, 2019Updated 6 years ago
- Sample code for ret2usr (and ret2dir) kernel attacks☆10Nov 23, 2016Updated 9 years ago
- Build your own AI-powered automation tools in the terminal with this extensible agent framework☆22Jan 5, 2026Updated last month