hydrastro

hydrastro's Stars

• donnemartin/system-design-primer

  Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

  Language:Python274k6.5k30146.1k

• practical-tutorials/project-based-learning

  Curated list of project-based tutorials

  203k3.1k17826.5k

• wg/wrk

  Modern HTTP benchmarking tool

  Language:C38k7524022.9k

• google-research/tuning_playbook

  A playbook for systematically maximizing the performance of deep learning models.

  27k287422.2k

• google/eng-practices

  Google's Engineering Practices documentation

  20k656162k

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.5k98190399

• Droogans/unmaintainable-code

  A more maintainable, easier to share version of the infamous http://mindprod.com/jgloss/unmain.html

  10k20710357

• paragonie/awesome-appsec

  A curated list of resources for learning about application security

  Language:PHP6.3k31535732

• dankamongmen/notcurses

  blingful character graphics/TUI library. definitely not curses.

  Language:C3.6k342.1k113

• ivmai/bdwgc

  The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

  Language:C3k100505407

• stanislaw/awesome-safety-critical

  List of resources about programming practices for writing safety-critical software.

  Language:Python1.5k62488

• HugoMatilla/Effective-JAVA-Summary

  Summary of the book Effective Java 2nd Edition by Joshua Bloch

  1.5k463407

• inspircd/inspircd

  A modular C++ IRC server (ircd).

  Language:C++1.2k871k268

• OpenLogicProject/OpenLogic

  An open-source, customizable intermediate logic textbook

  Language:TeX1.1k98169241

• dbanay/Smalltalk

  By the Bluebook implementation of Smalltalk-80

  Language:C82937863

• igbinary/igbinary

  Igbinary is a drop in replacement for the standard php serializer.

  Language:PHP7604215966

• KhronosGroup/OpenCL-Guide

  A guide to help developers get up and running quickly with the OpenCL programming framework

  Language:CMake535311259

• gabrielzschmitz/Tomato.C

  A pomodoro timer written in pure C.

  Language:C31743320

• vprover/vampire

  The Vampire Theorem Prover

  Language:C++2962315151

• inpla/inpla

  Inpla: Interaction nets as a programming language (the current version)

  Language:Yacc2771218

• joennlae/halutmatmul

  Hashed Lookup Table based Matrix Multiplication (halutmatmul) - Stella Nera accelerator

  Language:Python20710412

• uclid-org/uclid

  UCLID5: formal modeling, verification, and synthesis of computational systems

  Language:Scala136136232

• skullchap/neverflow

  Set of macros that guard against buffer overflows. Based on C99 VLA feature.

  Language:C127202

• fcarsten/tic-tac-toe

  Teaching a machine to play tic-tac-toe

  Language:HTML555437

• stylewarning/computable-reals

  Arbitrary precision, automatic re-computing real numbers in Common Lisp.

  Language:Common Lisp31483

• Xilinx/hls-llvm-project

  Language:C++29437

• vincent-peugnet/wcms

  ⧉ light-weight wiki tool.

  Language:PHP2023245

• jocap/repl.c

  create a read-eval-print loop out of any command

  Language:C16402

• BowDown097/TalkToGod

  Communicate with God through the power of undefined behavior.

  Language:C5100

• hydrastro/con4

  bash online connect 4, using netcat

  Language:Shell1100