KiJeong-Lim/portfolio external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

KiJeong-Lim/portfolio

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/KiJeong-Lim/portfolio)

Close

KiJeong-Lim / portfolioView on GitHubMore

• External links
• Readme badge

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.

☆14Feb 18, 2026Updated 2 weeks ago

Alternatives and similar repositories for portfolio

Users that are interested in portfolio are comparing it to the libraries listed below

• PnVDiscord / PnVRocqLib

  View on GitHub
  📝 A Rocq library written by members of PnV Discord Server
  ☆19Mar 3, 2026Updated last week
• ENvironmentSet / lambda2wasm

  View on GitHub
  A Lambda expression compiler targeting web assembly.
  ☆20Aug 7, 2024Updated last year
• plwiki / plwiki.github.io

  View on GitHub
  ☆36Nov 7, 2025Updated 4 months ago
• lionhairdino / saekpen.nvim

  View on GitHub
  Colored pencil or highlighter to use in Neovim
  ☆10Feb 8, 2025Updated last year
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• napkin-community / proofs

  View on GitHub
  📚 (WIP) Formal proofs of "An Infinitely Large Napkin"
  ☆20Feb 18, 2026Updated 2 weeks ago
• puffnfresh / haskell-jwt

  View on GitHub
  JSON Web Token (JWT) decoding and encoding
  ☆22Sep 9, 2024Updated last year
• damhiya / MetaLambda

  View on GitHub
  ☆14Feb 26, 2024Updated 2 years ago
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆28Oct 24, 2025Updated 4 months ago
• utilForever / rust-wasm-game-of-life

  View on GitHub
  A simple Rust and WebAssembly example implementing the Game of Life
  ☆15Aug 4, 2021Updated 4 years ago
• lifthrasiir / wah

  View on GitHub
  WebAssembly interpreter in a Header (WAH)
  ☆31Oct 6, 2025Updated 5 months ago
• AntanasKal / yampa-wasm-example

  View on GitHub
  Example of using Yampa and GHC Wasm backend to create a simple web app.
  ☆19Dec 10, 2023Updated 2 years ago
• obsidiansystems / beam-automigrate

  View on GitHub
  Generated migrations for beam databases
  ☆23Feb 20, 2026Updated 2 weeks ago
• rollrat / compiler-compiler

  View on GitHub
  🍁 Compiler Compiler based on CSharp with GUI Program
  ☆21Oct 21, 2022Updated 3 years ago
• napkin-community / solutions

  View on GitHub
  📝 Solutions of "An Infinitely Large Napkin"
  ☆38Mar 2, 2026Updated last week
• AcornPublishing / crafting-compiler

  View on GitHub
  컴파일러 만들기 [컴퓨터 프로그램의 구조와 원리]
  ☆58Nov 12, 2024Updated last year
• klavinski / jecs

  View on GitHub
  A Java Entity-Component-System game engine.
  ☆11Dec 24, 2019Updated 6 years ago
• loldruger / upbit-rs

  View on GitHub
  upbit-api on rust
  ☆11May 28, 2025Updated 9 months ago
• Ailrun / core-lang-haskell

  View on GitHub
  Implementation for the book <Implementing functional languages: a tutorial>
  ☆33Apr 15, 2019Updated 6 years ago
• kwanghoon / Lecture_EOPL_Exercise

  View on GitHub
  Exercises for EOPL in Haskell
  ☆11Apr 1, 2025Updated 11 months ago
• ernius / mergesort

  View on GitHub
  Merge sort correctness proof
  ☆11May 21, 2015Updated 10 years ago
• owings1 / pytableaux

  View on GitHub
  multi-logic proof generator
  ☆11Sep 18, 2023Updated 2 years ago
• akirak / nix-playwright-mcp

  View on GitHub
  A Playwright MCP package in Nix
  ☆18Jan 16, 2026Updated last month
• mstksg / typelits-witnesses

  View on GitHub
  Existential witnesses, singletons, and classes for operations on GHC TypeLits
  ☆16Jul 25, 2024Updated last year
• AridTag / BinjaNxt

  View on GitHub
  Binary Ninja plugin for automated refactoring of the RuneScape NXT client
  ☆12Nov 17, 2022Updated 3 years ago
• dahlia / dojang

  View on GitHub
  A cross-platform dotfiles manager
  ☆14Jan 19, 2026Updated last month
• plausiblelabs / hlist-rs

  View on GitHub
  Functional heterogeneous list (hlist) library for Rust
  ☆11Jun 28, 2020Updated 5 years ago
• IsaacWoods / teensy_kbd

  View on GitHub
  A Rust firmware for mechanical keyboards using the Teensy 3.2
  ☆11Dec 15, 2018Updated 7 years ago
• Jarijaas / RS3Bot

  View on GitHub
  Bot for Runescape NXT client (non functional currently)
  ☆12Mar 23, 2021Updated 4 years ago
• hmmhmmhm / typescript-json

  View on GitHub
  📦 Initialize JSON data according to type schema
  ☆11May 10, 2021Updated 4 years ago
• serialx / vibecore

  View on GitHub
  Build your own AI-powered automation tools in the terminal with this extensible agent framework
  ☆23Jan 5, 2026Updated 2 months ago
• XiNiHa / relay-zed

  View on GitHub
  Relay support for Zed
  ☆10Sep 25, 2025Updated 5 months ago
• lewisbarber / public-chat-room

  View on GitHub
  A public chat room built using Java Spring Framework 4, Web Sockets and STOMP messaging.
  ☆10Feb 24, 2016Updated 10 years ago
• gilbutITbook / 080330

  View on GitHub
  로버트 나이스트롬의 인터프리터 in Java, C / CRAFTING INTERPRETERS
  ☆11Nov 15, 2023Updated 2 years ago
• alexmojaki / sync-message

  View on GitHub
  ☆13Sep 10, 2023Updated 2 years ago
• qwaz / satire

  View on GitHub
  An educational SAT solver written in Rust
  ☆13Sep 23, 2023Updated 2 years ago
• ita9naiwa / pyyjson

  View on GitHub
  Yet Another JSON Parser in Python
  ☆11Mar 1, 2023Updated 3 years ago
• Julian-Nash / cwe

  View on GitHub
  Common weakness enumeration library for Python
  ☆16Mar 17, 2024Updated last year
• ExcelsiorCJH / C-tutorials

  View on GitHub
  독하게 시작하는 C 프로그래밍
  ☆10Jul 10, 2018Updated 7 years ago