hydrastro

hydrastro's Stars

• stanislaw/awesome-safety-critical

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

  Language:Python1.5k87

• Xilinx/hls-llvm-project

  Language:C++256

• fcarsten/tic-tac-toe

  Teaching a machine to play tic-tac-toe

  Language:HTML5637

• gabrielzschmitz/Tomato.C

  A pomodoro timer written in pure C.

  Language:C30019

• joennlae/halutmatmul

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

  Language:Python20512

• vprover/vampire

  The Vampire Theorem Prover

  Language:C++27049

• ivmai/bdwgc

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

  Language:C2.9k397

• stylewarning/computable-reals

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

  Language:Common Lisp283

• skullchap/neverflow

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

  Language:C1262

• uclid-org/uclid

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

  Language:Scala13531

• dankamongmen/notcurses

  blingful character graphics/TUI library. definitely not curses.

  Language:C3.4k112

• jocap/repl.c

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

  Language:C162

• OpenLogicProject/OpenLogic

  An open-source, customizable intermediate logic textbook

  Language:TeX1k232

• paragonie/awesome-appsec

  A curated list of resources for learning about application security

  Language:PHP6.2k728

• inspircd/inspircd

  A modular C++ IRC server (ircd).

  Language:C++1.1k266

• google/eng-practices

  Google's Engineering Practices documentation

  19.8k1.9k

• hydrastro/con4

  bash online connect 4, using netcat

  Language:Shell1

• google-research/tuning_playbook

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

  25.7k2.1k

• Droogans/unmaintainable-code

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

  9.9k358

• HugoMatilla/Effective-JAVA-Summary

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

  1.4k401

• donnemartin/system-design-primer

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

  Language:Python262k44.5k

• vincent-peugnet/wcms

  ⧉ light-weight, experimental CMS where you use link to think and publish ideas by creating poly-form site

  Language:PHP183

• wg/wrk

  Modern HTTP benchmarking tool

  Language:C37.1k2.9k

• practical-tutorials/project-based-learning

  Curated list of project-based tutorials

  180k23.6k

• igbinary/igbinary

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

  Language:PHP75765

• KhronosGroup/OpenCL-Guide

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

  Language:CMake48757

• inpla/inpla

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

  Language:Yacc2688

• dbanay/Smalltalk

  By the Bluebook implementation of Smalltalk-80

  Language:C81763

• BowDown097/TalkToGod

  Communicate with God through the power of undefined behavior.

  Language:C5

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.3k387