machenity

followers

following

stars

Seongnam, Republic of Korea

Jeongmin Yu's starred repositories

sniffnet

Comfortably monitor your Internet traffic 🕵️‍♂️

Language:RustApache-2.017700 83 185

codon

A high-performance, zero-overhead, extensible Python compiler using LLVM

Language:C++NOASSERTION14312 139 407

rust-raspberrypi-OS-tutorials

:books: Learn to write an embedded OS in Rust :crab:

Language:RustApache-2.013483 241 89

acwj

A Compiler Writing Journey

Language:CGPL-3.010406 215 50

lunatic

Lunatic is an Erlang-inspired runtime for WebAssembly

Language:RustApache-2.04609 72 79

HelloSilicon

An introduction to ARM64 assembly on Apple Silicon Macs

Language:AssemblyMIT4313 53 16

napkin-math

Techniques and numbers for estimating system's performance from first-principles

Language:RustMIT3480 92 15

asm_book

A book teaching assembly language programming on the ARM 64 bit ISA. Along the way, good programming practices and insights into code development are offered which apply directly to higher level languages.

Language:AssemblyNOASSERTION2485 35 19

tilck

A Tiny Linux-Compatible Kernel

Language:CBSD-2-Clause2353 42 41

distributed-consensus-reading-list

A list of papers about distributed consensus.

vista.vim

:cactus: Viewer & Finder for LSP symbols and tags

Language:Vim ScriptMIT1882 19 324

hermit-rs

Hermit for Rust.

Language:RustApache-2.01659 18 109

polysemy

:gemini: higher-order, no-boilerplate monads

Language:HaskellBSD-3-Clause1033 29 248

examples

Example code and files from "Kubernetes: Up and Running"

Language:ShellApache-2.0927 54 12

Junior-Backend-Developer-Concepts

Java & Kotlin Spring Backend 신입 개발자를 위한 저장소입니다.

live-plugin

IntelliJ plugin for writing IntelliJ plugins at runtime ⚡️

Language:KotlinApache-2.0838 24 162

haskell-tools.nvim

🦥 Supercharge your Haskell experience in neovim!

Language:LuaGPL-2.0450 4 109

luna

🌙 A really tiny WebAssembly compiler for demonstration and educational purposes. Written in Go and built as one of my quests to conquer the WebAssembly dungeon

Language:GoMIT310 3 6

cqrs-journey-guide-korean

🚘 CQRS Journey 의 한글 번역본 (Korean version translation of Microsoft's CQRS Journey)

Language:JavaApache-2.0305 4 9

escargot

Escargot is a lightweight JavaScript engine designed specifically for resource-constrained environments.

Language:C++LGPL-2.1257 13 122

cpython-book-samples

Sample scripts and examples for my CPython Internals book

Language:PythonCC0-1.0237 16 3

PolysemyCleanArchitecture

Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.

Language:HaskellApache-2.0191 11 2

autodocodec

self(auto)- documenting encoders and decoders

Language:HaskellMIT120 6 21

lean-type-theory

LaTeX code for a paper on lean's type theory

Language:TeX113 6 1

AlgorithmW

Example implementation of Algorithm W for Hindley-Milner type inference

Language:TeXBSD-3-Clause77 4 1

kotlin-test-boilerplate

Auto create boilerplate code for test code in kotlin

Language:KotlinNOASSERTION60 1 17

Get-Your-Hands-Dirty-on-Clean-Architecture

📔 만들면서 배우는 클린 아키텍처 : 자바 코드로 구현하는 클린 웹 애플리케이션 책 스터디

hdx4vsc

Haskell Debugger Extension for Visual Studio Code.

Language:TypeScriptBSD-3-Clause50 7 28

Resurgence

The Resurgence VM, a register virtual machine designed for simplicity and ease of use, based on the old Rendor VM

Language:RustMIT14 2 11

ml-w

Minimal ML language to to demonstrate the W type infererence algorithm

Language:Haskell11 40