- Germany
Block or Report
Block or report Dr-Deep
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (1)
Sort Name ascending (A-Z)
Stars
Language
Sort by: Recently starred
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more
Gorgonia is a library that helps facilitate machine learning in Go.
Source for the Termux build on Google Play.
Implementation in Go of the post-quantum algorithms CRYSTALS-Kyber and -Dilithium
A mod to make and play Terraria mods. Supports Terraria 1.4 (and earlier) installations
Modular in-buffer completion framework for Emacs
A use-package declaration for simplifying your .emacs
An example of a fully custom Emacs configuration developed live on YouTube!
F# language server using Language Server Protocol
Defines a common protocol for language servers.
A client for Language Server Protocol servers
🗺 MapSCII is a Braille & ASCII world map renderer for your console - enter => telnet mapscii.me <= on Mac (brew install telnet) and Linux, connect with PuTTY on Windows
kenmcmil / ivy
Forked from microsoft/ivyIVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…