Airtnp

LR.X's repositories

Sparkpp

A na(t)ive proof-of-concept implementation of Apache Spark in C++.

Language:C++26 40

Notes

Just save my record on github...

Language:Haskell23 30

IFE-2016SP

Language:HTML9 40

ACppLib

A cpp lib

Language:C++MIT6 30

collection_traits

Language:RustMIT4 2 3

AHaskellLib

A haskell lib

Language:HaskellMIT2 20

jreduce-extra

Language:Java2 20

Canvas_Cache

Cache slow Canvas

Language:Python1 4 2

EECS470-group4w19-final-report

Language:TeX1 20

Snippets

Write and collect useful snippets

Language:C++1 20

Airtnp.github.io

A blog?

Language:HTMLApache-2.002 1

angr

A powerful and user-friendly binary analysis platform!

Language:PythonBSD-2-Clause020

bilibili-user

Bilibili用户爬虫

Language:Python010

CheggDownloader

Download the books solutions from Chegg

Language:Java020

components

React components for Cloudscape Design System

Language:TypeScriptApache-2.0000

ffi-navigator-gem5

Language:PythonApache-2.0010

hase

Timeless debugging with symbolic execution and processor trace

Language:Python020

huxpro.github.io

My Blog / Jekyll Themes

Language:HTMLApache-2.0010

JOS6828

Language:C020

jvm-binary

A library for reading and writing Java class-files in Haskell

Language:HaskellNOASSERTION010

Kubernetes-verification

Network verification over kubernete cluster

Language:Python010

linux

Linux kernel source tree

Language:CNOASSERTION010

lua

reading and understanding the lua source code

Language:C020

PyStruct

Language:PythonMIT020

semantic

Parsing, analyzing, and comparing source code across many languages

Language:HaskellMIT010

Test

010

utils-rs

Language:Rust020