rynxr

China

Pinned Repositories

9cc
A Small C Compiler
Language:C00
awesome-compilers
:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes.
00
awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
00
awk
:book: The AWK Programming Language (AWK 程序设计语言) 中文翻译, LaTeX 排版
Language:TeX00
BFWindow
This repo includes the implementation of BFWindow which is a comprehensive buffer overflow protection mechanism based on Compiler/Hardware.
Language:C0 2 00
ccured
hack around trying to resuscitate ancient ccured.
Language:OCaml00
cil
C Intermediate Language
Language:OCaml0 0 00
COSCUP2013_org-mode
My COSCUP 2013 topic: "Org-Mode: Emacs' Swiss Army Knife" resource and slide
Language:HTML00
crosstool-ng
A versatile (cross-)toolchain generator.
Language:Diff00
SCADL
Fast light weight DSL for cipher description based on algorithm data flow.
Language:C2 2 01

rynxr's Repositories

rynxr/SCADL
Fast light weight DSL for cipher description based on algorithm data flow.
Language:C2 2 01
rynxr/9cc
A Small C Compiler
Language:C00
rynxr/awesome-compilers
:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes.
00
rynxr/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
00
rynxr/awk
:book: The AWK Programming Language (AWK 程序设计语言) 中文翻译, LaTeX 排版
Language:TeX00
rynxr/BFWindow
This repo includes the implementation of BFWindow which is a comprehensive buffer overflow protection mechanism based on Compiler/Hardware.
Language:C0 2 00
rynxr/cil
C Intermediate Language
Language:OCaml0 0 00
rynxr/CS-Notes
:books: Computer Science Learning Notes
rynxr/drawio-desktop
Official electron build of draw.io
Language:JavaScript
rynxr/emacs-document
translate emacs documents to Chinese for convenient reference
rynxr/FreeForWenku
免费下载百度文库收费资料
Language:Python
rynxr/FrontC
An OCaml library providing a C parser and lexer
Language:OCaml0 0
rynxr/hacking_vim
Hacking Vim 7.2 中文翻译, 采用 LaTeX 排版
Language:TeX
rynxr/hustthesis
:notebook_with_decorative_cover: An Unofficial Thesis Template in LaTeX for Huazhong University of Science and Technology
rynxr/mdwiki
CMS/Wiki system using Javascript for 100% client side single page application using Markdown.
Language:JavaScript
rynxr/mdwiki-1
Simple static markdown wiki
Language:JavaScript
rynxr/Modern-Compiler-Implementation-in-C
book and codes for Modern Compiler Implementation in C
Language:C1 0
rynxr/monego
The beloved Monaco monospaced font, recreated with a bold and italic variant. Finally.
rynxr/MSRC-Security-Research
Security Research from the Microsoft Security Response Center (MSRC)
rynxr/pdfs
Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)
Language:HTML0 0
rynxr/phd_thesis_markdown
Template for writing a PhD thesis in Markdown
Language:HTML
rynxr/Programming_learning_resource
Language:CMake
rynxr/pubs
Your bibliography on the command line
Language:Python
rynxr/qflow
Qflow full end-to-end digital synthesis flow for ASIC designs
rynxr/SPExplorer
A source code analysis tool to explore Sensitive Pointers(SP) for Code Pointer Integrity(CPI) instrumentations in ARCE architecture.
Language:OCaml
rynxr/studyFiles
一些经典且高质量的电子书分享
Language:Python
rynxr/template-latex-paper-from-orgmode
Set of files to create a latex document from orgmode
rynxr/USTC-CS-Courses-Resource
:heart:**科学技术大学计算机学院课程资源(https://mbinary.xyz/ustc-cs/)
Language:C++
rynxr/verified-ifc
Coq formalization accompanying the paper: A Verified Information-Flow Architecture
rynxr/zju-icicles
浙江大学课程攻略共享计划