rgrig

rgrig's Stars

• NationalSecurityAgency/ghidra

  Ghidra is a software reverse engineering (SRE) framework

  Language:Java52.1k1k5k5.9k

• ibraheemdev/modern-unix

  A collection of modern/faster/saner alternatives to common unix commands.

  31.2k39580785

• google-research/tuning_playbook

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

  27.3k286422.3k

• norvig/pytudes

  Python programs, usually short, of considerable difficulty, to perfect particular skills.

  Language:Jupyter Notebook23.2k775392.4k

• Byron/gitoxide

  An idiomatic, lean, fast & safe pure Rust implementation of Git

  Language:Rust8.9k56516303

• pyro-ppl/pyro

  Deep universal probabilistic programming with Python and PyTorch

  Language:Python8.6k2001.1k987

• open-source-flash/open-source-flash

  Petition to open source Flash and Shockwave spec

  Language:ActionScript7.3k13771113

• bcpierce00/unison

  Unison file synchronizer

  Language:OCaml4.2k81572235

• microsoft/GW-BASIC

  The original source code of Microsoft GW-BASIC from 1983

  Language:C++3.2k1540482

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k802k234

• intelxed/xed

  The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions

  Language:Python1.4k60173148

• github-education-resources/classroom

  GitHub Classroom automates repository creation and access control, making it easy for teachers to distribute starter code and collect assignments on GitHub.

  Language:Ruby1.3k961.2k568

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1k372.6k234

• boazbk/tcs

  Book in preparation: introduction to theoretical computer science

  Language:TeX91634392185

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++849401.3k265

• mguessan/davmail

  DavMail POP/IMAP/SMTP/Caldav/Carddav/LDAP Exchange and Office 365 Gateway - Synced with main subversion repository at

  Language:Java5811831586

• ecnerwala/cp-book

  Book Code for Competitive Programming

  Language:C++57212970

• arminbiere/kissat

  Language:C468244786

• ImperialCollegeLondon/formalising-mathematics

  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

  Language:Lean30211022

• GregorR/rnnoise-models

  Trained neural networks and requisite information and data for rnnoise-nu

  Language:C2706845

• Yossioren/AttacksonImplementationsCourseBook

  Language:Jupyter Notebook22512080

• jeffreykegler/Marpa--R2

  Parse any language you can describe in BNF

  Language:Perl1571315623

• antoinemine/apron

  Apron Numerical Abstract Domain Library

  Language:C114116033

• vijay03/cs360v-f20

  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.

  Language:Python666025

• petablox/petablox

  Main distribution of Petablox

  Language:Java3612247

• edpowley/mcts.ai

  Language:HTML18512

• runtimeverification/rv-monitor

  RV-Monitor core system code

  Language:Java1615313

• kohler/peteramati

  Collect and grade programming problem sets with git

  Language:PHP106174

• qsphan/jpf-bmc

  A Concurrent Bounded Model Checker for Java bytecode

  Language:Java4400

• dixonary/kosaraju

  Haskell implementation of Kosaraju's decision procedure for reachability on Vector Addition Systems with States (VASS).

  Language:Haskell311