vastopol

vastopol's Stars

• sbilly/awesome-security

  A collection of awesome software, libraries, documents, books, resources and cools stuffs about security.

  12.5k1.9k

• ossu/computer-science

  🎓 Path to a free self-taught education in Computer Science!

  173k21.8k

• DoctorWkt/SubC

  A Tour Through the SubC Compiler

  Language:C8514

• tysolov/CS220-dmfb-synthesis-skeleton

  A skeleton for implementing scheduling/placement/routing algorithms for digital microfluidic biochips, derived from UCR's microfluidics simulation engine (https://github.com/UCRMicrofluidics/MFSimStatic)

  Language:C++23

• xiaoxiaoleo/pentest-script

  Script for pentest

  Language:PHP3928

• DominicBreuker/pspy

  Monitor linux processes without root permissions

  Language:Go5k515

• cyberheartmi9/PayloadsAllTheThings

  Language:HTML330110

• diego-treitos/linux-smart-enumeration

  Linux enumeration tool for pentesting and CTFs with verbosity levels

  Language:Shell3.5k574

• radareorg/radare2

  UNIX-like reverse engineering framework and command-line toolset

  Language:C20.8k3k

• fay59/interpiler

  Turn an interpreter into a code generator

  Language:C++30

• fay59/fcd

  An optimizing decompiler

  Language:C++70670

• tulip-lang/tulip

  Language:Lua20710

• passy/awesome-recursion-schemes

  Resources for learning and using recursion schemes.

  1.2k56

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k644

• yaxu/tidal-workshop

  Workshop materials for TidalCycles

  Language:Haskell366

• pd3v/Tidalcycles-Workshop

  Contents of an intro level workshop on Tidacyles I've been teaching. Includes markdown file, patterns tidal file and a pdf version.

  41

• tidalcycles/Tidal

  Pattern language

  Language:C++2.3k255

• rmmh/whomp

  reverse engineering branch predictors

  Language:C173

• compiler-explorer/compiler-explorer

  Run compilers interactively from your web browser and interact with the assembly

  Language:TypeScript16.5k1.8k

• aidansteele/osx-abi-macho-file-format-reference

  Mirror of OS X ABI Mach-O File Format Reference

  796157

• chrislgarry/Apollo-11

  Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

  Language:Assembly59.7k7k

• sdiehl/write-you-a-haskell

  Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

  Language:Haskell3.4k255

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.5k1.1k

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k656

• Hackplayers/hackthebox-writeups

  Writeups for HacktheBox 'boot2root' machines

  1.9k499

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k233

• OPLSS/oplss-notes-2019

  Notes and handouts from OPLSS 2019

  Language:TeX3416

• lilott8/BioScript

  The BioScript compiler, ChemStor storage, and Application Binder.

  Language:Python5416

• NationalSecurityAgency/ghidra

  Ghidra is a software reverse engineering (SRE) framework

  Language:Java52.2k5.9k

• Dyalog/pynapl

  Dyalog APL ←→ Python interface

  Language:Python7612