A little bit about a linux kernel

Python sample codes for robotics algorithms.

pix2tex: Using a ViT to convert images of equations into LaTeX code.

Free (as in freedom) open source clone of the Age of Empires II engine 🚀

instant coding answers via the command line

Implementation of Nougat Neural Optical Understanding for Academic Documents

A powerful and user-friendly binary analysis platform!

GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux

A hacky debugger UI for hackers

🌠 Dark powered asynchronous completion framework for neovim/Vim8

🐉 Dark powered asynchronous unite all interfaces for Neovim/Vim8

Display information about files in different file formats and find gadgets to build rop chains for different architectures (x86/x86_64, ARM/ARM64, MIPS, PowerPC, SPARC64). For disassembly ropper us…

Another piece of your extended mind

Simple OpenGL core profile loading

HTML representation of the Intel x86 instructions documentation.

A leading-edge control system for quantum information experiments

A Cytoscape Jupyter widget

plasTeX plugin to build formalization blueprints.

Collecting examples and information to help design a memory model for Rust.

A simple-stupid self-hostable continuous integration service. 🙈

A Lean file formatter

Theorem proving in Lean

Anaconda Rust offers auto completion, auto formatting and linting for Rust language that will never freeze your Sublime Text 3

Development tools for https://github.com/leanprover-community/mathlib

Generate HTML documentation for mathlib and Lean

Load your graph of bookmarks and tags into a neo4j database and explore it

3 (k,n)-threshold secret sharing implementations