Like IntelliSense, but for shells

An arctic, north-bluish clean and elegant Emacs theme.

markxiv - markdown arxiv papers

Proving leftpad correct two-dozen different ways

A list of useful payloads and bypass for Web Application Security and Pentest/CTF

Embedded drawing tool for Emacs

Browse target page on github/bitbucket from emacs buffers

A minimal development of SSA theory

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Emacs minor mode for automatic clang-format application

Mini audio library

An Emacs web feeds client

Generate PlantUML class diagrams to document your Python application.

2020 Autumn 1st place winners, O'Reilly Software Architecture Kata

An easy-to-learn/use static analysis framework for Java

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

simplejson is a simple, fast, extensible JSON encoder/decoder for Python

Document conversion and processing engine

Readme for The Kata Log

Globstar is a fast, feature-rich, and open-source static analysis toolkit for writing and running code checkers. Based on tree-sitter.

Odds and ends, collected together for convenience

A feature-rich Hacker News client.

make a game like tetris by flutter

Mobilen Dergi

A curated list of awesome Clojure libraries and resources. Inspired by awesome-... stuff

This is a space where I express my thoughts and opinions on mostly technical things

Library to read, write, analyze, and process java bytecode

a hack way to communication d3.js with rust (WASM) for spike