1dotd4

papers-we-love

Papers from the computer science community to read and discuss.

v

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

sympy

A computer algebra system written in pure Python

awesome-ctf

A curated list of CTF frameworks, libraries, resources and softwares

pwnagotchi

(⌐■_■) - Deep Reinforcement Learning instrumenting bettercap for WiFi pwning.

awesome-reMarkable

A curated list of projects related to the reMarkable tablet

fully-homomorphic-encryption

An FHE compiler for C++

ssh3

SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/

src

Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.

weggli

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

solo1

Solo 1 firmware in C

Coq-HoTT

A Coq library for Homotopy Type Theory

arxiv-style

A Latex style and template for paper preprints (based on NIPS style)

library--

The papers and books I've read or am about to read.

reStream

Stream your reMarkable screen over SSH.

ctf-writeups

Perfect Blue's CTF Writeups

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

exploits

A handy collection of my public exploits, all in one place.

CAC

A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.

C2SP

Community Cryptography Specification Project

islazy

A Go library containing a set of opinionated packages, objects, helpers and functions implemented with the KISS principle in mind.

pdiff

Binary Protocol Differ

reverse-me

This repository contains a docker container dedicated to reverse engineering

pasta

Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo

bit-scheme

BIT: A Very Compact Scheme System for Microcontrollers

credit-card-game

p0wn-box

vomitchan

*cheek pinch*

abca

a bad computer algebra system. Don't use it. It's bad. Very bad.

teamflow

Workflow-tracker service for Git repositories with Github and Gitlab integration, based on Maxelweb/workflow-tracker