KIM Taegyoon's starred repositories
JuliaByExample
Examples of Julia
fashion-mnist
A MNIST-like fashion product database. Benchmark :point_down:
pascalabcnet
The new generation Pascal programming language for .NET
proof-systems
The proof systems used by Mina
ChezScheme
Chez Scheme
ISLispHyperDraft
ISLisp Specification Draft
cascadia-code
This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.
InteractiveLogin
Live2D Interactive Login
building-lisp
Code from "Building Lisp"