Hyunjoon-Kim (d01c2)

d01c2

Geek Repo

Company:@ku-plrg

Location:Seoul, South Korea

Home Page:bento.me/d01c2

Twitter:@d01c2Public

Github PK Tool:Github PK Tool


Organizations
HaskellSchoolKR
ku-plrg

Hyunjoon-Kim's starred repositories

rescript-bindings

💚 rescript bindings

Language:ReScriptStargazers:49Issues:0Issues:0

awesome-rescript

A collection of materials about the ReScript programming language and toolchain.

Stargazers:181Issues:0Issues:0

rescript-compiler

The compiler for ReScript.

Language:ReScriptLicense:NOASSERTIONStargazers:6668Issues:0Issues:0

tonbo

A portable embedded database using Arrow.

Language:RustLicense:Apache-2.0Stargazers:630Issues:0Issues:0

codeql-codifying-security-knowledge

Codifying security knowledge: going from security advisory to CodeQL query

Language:CodeQLStargazers:8Issues:0Issues:0

react-trace

🛤️ React-tRace

Language:OCamlStargazers:15Issues:0Issues:0

prospect-analyzer

🕳️ Prospect analysis

Language:OCamlStargazers:6Issues:0Issues:0

admin

Administrative space for policies of the TSC

Language:JavaScriptStargazers:154Issues:0Issues:0

go-backend-clean-architecture

A Go (Golang) Backend Clean Architecture project with Gin, MongoDB, JWT Authentication Middleware, Test, and Docker.

Language:GoLicense:Apache-2.0Stargazers:4533Issues:0Issues:0

gpu.js

GPU Accelerated JavaScript

Language:JavaScriptLicense:MITStargazers:15111Issues:0Issues:0

go-functional

go-functional is a library of iterators to augment the standard library

Language:GoLicense:MITStargazers:429Issues:0Issues:0

Go

Algorithms and Data Structures implemented in Go for beginners, following best practices.

Language:GoLicense:MITStargazers:15911Issues:0Issues:0

pglite

Lightweight WASM Postgres with real-time, reactive bindings.

Language:TypeScriptLicense:Apache-2.0Stargazers:8322Issues:0Issues:0

ky

🌳 Tiny & elegant JavaScript HTTP client based on the Fetch API

Language:TypeScriptLicense:MITStargazers:13599Issues:0Issues:0

awesomeMLSys

An ML Systems Onboarding list

Stargazers:516Issues:0Issues:0

servo

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

Language:RustLicense:MPL-2.0Stargazers:27986Issues:0Issues:0

logos

Create ridiculously fast Lexers

Language:RustLicense:Apache-2.0Stargazers:2849Issues:0Issues:0

until

Gracefully handle Promises using async/await without try/catch.

Language:TypeScriptLicense:MITStargazers:525Issues:0Issues:0
Language:TypeScriptLicense:MITStargazers:53Issues:0Issues:0

rolldown

Fast Rust bundler for JavaScript/TypeScript with Rollup-compatible API.

Language:RustLicense:MITStargazers:8064Issues:0Issues:0

flix

The Flix Programming Language

Language:ScalaLicense:NOASSERTIONStargazers:2151Issues:0Issues:0

datalog-flix

Code to accompany An Introduction to Datalog in Flix

License:MITStargazers:2Issues:0Issues:0

icecream

Distributed compiler with a central scheduler to share build load

Language:C++License:GPL-2.0Stargazers:1586Issues:0Issues:0

pueue

:stars: Manage your shell commands.

Language:RustLicense:MITStargazers:4895Issues:0Issues:0

esone

Acropolis, where you can experience very first version of ECMAScript.

Language:TypeScriptLicense:MITStargazers:29Issues:0Issues:0

secretive

Store SSH keys in the Secure Enclave

Language:SwiftLicense:MITStargazers:7157Issues:0Issues:0

cargo-llvm-cov

Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).

Language:RustLicense:Apache-2.0Stargazers:916Issues:0Issues:0

WasmOS

A proof-of-concept microkernel that runs WebAssembly natively.

Language:CLicense:MITStargazers:61Issues:0Issues:0

execa

Process execution for humans

Language:JavaScriptLicense:MITStargazers:6788Issues:0Issues:0

jscomp

Ahead of time JavaScript compiler

Language:CLicense:Apache-2.0Stargazers:254Issues:0Issues:0