awkure's Stars
seanmonstar/warp
A super-easy, composable, web server framework for warp speeds.
RPISEC/MBE
Course materials for Modern Binary Exploitation by RPISEC
saschagrunert/webapp.rs
A web application completely written in Rust. 🌍
lettre/lettre
a mailer library for Rust
simh/simh
The Computer History Simulation Project
MinhasKamal/TrojanCockroach
A Stealthy Trojan Spyware
CyberGrandChallenge/samples
DARPA Cyber Grand Challenge Sample Challenges
jedisct1/libpuzzle
A library to quickly find visually similar images
HigherOrderCO/kind
Temporary repository for Kind2's refactor based on HVM2
emintham/Papers
Collection of papers read
nomeata/ghc-proofs
Let GHC prove program equations for you
pigworker/MetaprogAgda
being the materials for Summer 2013's course
jldodds/coq-lean-cheatsheet
A quick reference for mapping Coq tactics to Lean tactics
alanz/machines-play
Playing with https://github.com/ekmett/machines
felixwellen/DCHoTT-Agda
Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
gjoncas/Artificial-Philosophy
m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̝̆͊͑͝
HoTT/M-types
A formalization of M-types in Agda
dylnb/esslli2015-monads
materials for ESSLLI 2015 course: Monads and Natural Language
mietek/formal-logic
TODO
nathanmyee/SVNDigger
Wordlists for Wfuzz or Dirbuster
mietek/imla2017
Agda formalisation of NbE for λ□
coq-contribs/ltl
Linear Temporal Logic
IanOrton/cubical-topos-experiments
Agda code for experimenting with internal models of cubical type theory
guillaumebrunerie/JamesConstruction
Formalization of the James construction in Agda
nau/depc
Simple Dependent Type Checker
alex-eg/rt2
Toy real-time ray tracer
guspopje/agda-qelim
guillaumebrunerie/DualNetHack
Prototype
oisdk/generic-church
tlehman/taocp-exercises
Exercises (mostly MIX assembly language) from Knuth's 'The Art of Computer Programming'