gsfyrakis's Stars
manlius/muxViz
Analysis and Visualization of Interconnected Multilayer Networks
wingillis/hammerspoon-vim-bindings
modal keybindings to give vim-like navigation for anything with a cursor
tink-crypto/tink
Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, and hard(er) to misuse.
prakhar1989/awesome-courses
:books: List of awesome university courses for learning Computer Science!
libtom/libtomcrypt
LibTomCrypt is a fairly comprehensive, modular and portable cryptographic toolkit that provides developers with a vast array of well known published block ciphers, one-way hash functions, chaining modes, pseudo-random number generators, public key cryptography and a plethora of other routines.
hallvard/plantuml
Embed UML diagrams in files and view them in Eclipse
AMDESE/AMDSEV
AMD Secure Encrypted Virtualization
dinfuehr/dora
Dora VM
mcanini/SysML-reading-list
Systems for ML/AI & ML/AI for Systems paper reading list: A curated reading list of computer science research for work at the intersection of machine learning and systems. PR are welcome.
eclipse-archived/golo-lang
Golo - a lightweight dynamic language for the JVM.
OpenJML/OpenJML
This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:
phil-opp/blog_os
Writing an OS in Rust
hermit-os/kernel
A Rust-based, lightweight unikernel.
rajiv256/huckle
This is my Undergraduate thesis at IITM. A Unikernel Web server written completely in Rust.
nccgroup/xendbg
A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermichaels/xendbg.
Toxblh/MTMR
🌟 [My TouchBar My rules]. The Touch Bar Customisation App for your MacBook Pro
ivoronin/TomatoBar
🍅 World's neatest Pomodoro timer for macOS menu bar
TImada/mirage_pingpong
A ping-pong latency measurement tool on MirageOS
zbentley/dbus-osx-examples
Examples and tutorials for setting up and using D-Bus via various client libraries, oriented towards OSX users
vv-vim/vv
Neovim client for macOS
rich-iannone/DiagrammeR
Graph and network visualization using tabular data in R
rek7/mXtract
mXtract - Memory Extractor & Analyzer
firecracker-microvm/firecracker-demo
A demo running 4000 Firecracker microVMs.
firecracker-microvm/firecracker
Secure and fast microVMs for serverless computing.
ranger/ranger
A VIM-inspired filemanager for the console
kovidgoyal/kitty
Cross-platform, fast, feature-rich, GPU based terminal
async-profiler/async-profiler
Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events
aragozin/jvm-tools
Small set of tools for JVM troublshooting, monitoring and profiling.
AdoptOpenJDK/jitwatch
Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in the JavaFX user interface.
starlab-io/docker-tpm-emulator
TPM 1.2 emulator