jeongsoolee09

CodeQL @github

GitHubLos Angeles, CA

Pinned Repositories

codeql-coding-standards
This repository contains CodeQL queries and libraries which support various Coding Standards.
Language:CodeQL121 6 20748
Chulsooboard
배철수의 음악캠프 (91.9 MBC FM4U) 팬사이트
Language:Clojure00
chulsooboardv2
Version 2 of Chulsooboard, now with Luminus
Language:Clojure00
Coq-Things
Miscellaneous things written in Coq
Language:Coq00
InferenceEngine
The inferring component of SpecHunter.
Language:OCaml0 0 00
LLVM-Interval-Analyzer
An interval static analyzer targeting LLVM IR
Language:Haskell0 0 00
mermaid-scala
Embedded DSL to write mermaid.js diagrams in Scala
Language:Scala10
Stateless
Automatic Scala Code Refactorer. May the Lambda be with you
Language:Java0 0 00
Taint-Analysis
SpecHunter: Interactively Inferring Taint Specifications
Language:Java00

jeongsoolee09's Repositories

jeongsoolee09/mermaid-scala
Embedded DSL to write mermaid.js diagrams in Scala
Language:Scala10
jeongsoolee09/Chulsooboard
배철수의 음악캠프 (91.9 MBC FM4U) 팬사이트
Language:Clojure00
jeongsoolee09/chulsooboardv2
Version 2 of Chulsooboard, now with Luminus
Language:Clojure00
jeongsoolee09/cider
My fork of CIDER, the venerable environment for Clojure
Language:Emacs Lisp00
jeongsoolee09/InferenceEngine
The inferring component of SpecHunter.
Language:OCaml0 0 00
jeongsoolee09/Stateless
Automatic Scala Code Refactorer. May the Lambda be with you
Language:Java0 0 00
jeongsoolee09/Taint-Analysis
SpecHunter: Interactively Inferring Taint Specifications
Language:Java00
jeongsoolee09/codeql
My fork of CodeQL
jeongsoolee09/emacs-codeql
An emacs package for writing and testing CodeQL queries. (This is a fork)
Language:Emacs Lisp
jeongsoolee09/emacs-format-all-the-code
Auto-format source code in many languages with one command
Language:Emacs Lisp
jeongsoolee09/Emacs-Usage-Tracker
Track your daily/monthly/yearly Emacs addiction
Language:Emacs Lisp
jeongsoolee09/ghas-bootcamp
Fork of ghas-bootcamp
Language:Java
jeongsoolee09/Growing-Trees
ReScript port of https://velog.io/@heekang/Vanilla-JS-자라나는-나무-만들기-1
Language:Clojure0 0
jeongsoolee09/hy-mode
Hy mode for Emacs
jeongsoolee09/IdrisBook
My Solution to Exercises in the Book: Type-Driven Development with Idris
Language:Idris0 0
jeongsoolee09/korea-covid-19-remaining-vaccine-macro
잔여백신 조회 및 예약 매크로
Language:Python
jeongsoolee09/libplanet
Distributed ledger core in C#/.NET for decentralized online games. *This is a fork*
Language:C#0 0
jeongsoolee09/mermaid-clj
DSL in clojure to build mermaidjs diagrams (This is a fork)
Language:Clojure
jeongsoolee09/mermaid-cs
Embedded DSL to write mermaid.js diagrams in CSharp
Language:C#0 0
jeongsoolee09/mermaid-kt
Embedded DSL to write mermaid.js diagrams in Kotlin
Language:Kotlin0 0
jeongsoolee09/obb
Ad-hoc ClojureScript scripting of Mac applications via Apple's Open Scripting Architecture.
Language:Clojure0 0
jeongsoolee09/SampleOCR
F# Tesseract Demos (interoping with C#)
Language:F#0 0
jeongsoolee09/Scrape-Naver-Weather
Scrape Naver Weather and display the information on an org buffer.
Language:Emacs Lisp0 0
jeongsoolee09/SimpleCRUDv2
Simple CRUD Webapp, V2
Language:Kotlin
jeongsoolee09/sonic-pi.el
Emacs running SonicPi
Language:Emacs Lisp0 0
jeongsoolee09/Sync-with-Remote
Simple script that syncs a local directory with a remote directory
Language:Hy0 0
jeongsoolee09/Twitch-Cronjob
Cron script to record Twitch channels of choice.
Language:Hy
jeongsoolee09/UmaSupporter-Personal-Notes
Personal notes taken during developing Umasupporter
0 0
jeongsoolee09/UmaSupporter.Server
🏃🏽‍♀️ 우마무스메 육성 도우미인 '우마서포터'의 백엔드 서버입니다. 이건 내꺼라우
Language:Python0 0
jeongsoolee09/usermanager-reitit-example
A little demo web app in Clojure, using Integrant, Ring, Reitit, Selmer (and a database)
Language:Clojure0 0