zagol

zagol's Stars

• alangibson/awesome-crdt

  A collection of awesome CRDT resources

  1.2k48

• gdg-x/hoverboard

  Conference website template

  Language:TypeScript1.1k1.1k

• gdg-x/zeppelin

  Awesome conference website in 5 minutes.

  Language:HTML673932

• yishanhe/jekyll-conference-template

  A jekyll-built conference website template

  Language:HTML1720

• mikepierce/conference-website-template

  Simple HTML/CSS website template for an academic/tech conference

  Language:HTML7796

• evanwill/workshop-template

  Jekyll template for a simple workshop website

  Language:SCSS718

• kheradmand/replaymop

  Deterministic replay of concurrent Java programs using monitoring oriented programming

  Language:Java33

• jubalh/awesome-os

  A list of operating systems and stuff

  1.5k156

• klange/toaruos

  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.

  Language:C6.1k475

• jwjwyoung/DUPChecker

  Language:Python62

• reHackable/awesome-reMarkable

  A curated list of projects related to the reMarkable tablet

  6k202

• desktop/desktop

  Focus on what matters instead of fighting with Git.

  Language:TypeScript19.5k9.3k

• paperwm/PaperWM

  Tiled scrollable window management for Gnome Shell

  Language:JavaScript2.8k121

• JonathanSalwan/Triton

  Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

  Language:C++3.4k525

• Graspan/graspan-cpp

  This is a C++ implementation of Graspan.

  Language:C++3216

• Graspan/graspan-java

  This is java implementation of Graspan.

  Language:Java198

• plast-lab/sound-modulo-analysis-openjdk-8

  This repository contains a modified `sound-modulo-analysis` version of the Java OpenJDK 8 as described in the PLDI 2020 paper "Static Analysis of Java Enterprise Applications: Frameworks and Caches, The Elephants in the Room"

  Language:Java82

• riscv/sail-riscv

  Sail RISC-V model

  Language:Coq409150

• rems-project/sail

  Sail architecture definition language

  Language:Isabelle57595

• sickcodes/Docker-OSX

  Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

  Language:Shell36.3k1.8k

• gdevic/minix1

  Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.

  Language:C329141

• Netflix/chaosmonkey

  Chaos Monkey is a resiliency tool that helps applications tolerate random instance failures.

  Language:Go14.8k1.1k

• jasonmayes/Real-Time-Person-Removal

  Removing people from complex backgrounds in real time using TensorFlow.js in the web browser

  Language:JavaScript5.2k652

• teivah/algodeck

  An Open-Source Collection of 200+ Flash Cards to Help You Preparing Your Algorithms & Data Structures Interview 💯

  5.6k563

• SwiftLaTeX/SwiftLaTeX

  SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor

  Language:C2.1k108

• logpai/awesome-log-analysis

  A list of awesome research on log analysis, anomaly detection, fault localization, and AIOps

  689129

• mechboxes/mech

  Easy command line virtual machines for VMWare

  Language:Python30850

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python60.9k5.7k

• unconed/mathbox

  Presentation-quality WebGL math graphing

  Language:JavaScript1.3k105

• jhuangtw/xg2xg

  by ex-googlers, for ex-googlers - a lookup table of similar tech & services

  14.4k1k