kevorr Goto Github PK

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

4-4-4-led-cube

6-k

6°K attempts to find the highest Bacon Number(s) in existence

advent-of-code

angr

A powerful and user-friendly binary analysis platform!

angr-dev

Some helper scripts to set up an environment for angr development.

binaryninja-api

Public API, examples, documentation and issues for Binary Ninja

binaryninja-docker

Docker image for Binary Ninja

bltaveres-actions

Collection of linters and fixers as Github Actions - Alpha

catalan-pro

Crunch a lot of numbers quickly

ceplscope

chroma

cl-blapack

cl-blapack is a set of common lisp bindings to blas and lapack. This particular repo tracks modifications of Evan Monroig's modifications of rif's cl-blapack library.

cl-pwn

A Common Lisp port of pwntools

classes

Normal ol' assignments

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.

coq-intro

cpp--

C++ to C transpiler

ctf-training

Supplementary Materials for weekly WCSC CTF training meetings

ctf-writeups

Writeups to CTF challenges I solve

datasets

dgraph

Fast, Distributed Graph DB

dnlib

Reads and writes .NET assemblies and modules

docker

doom-emacs

An Emacs configuration for the stubborn martian vimmer

dotfiles

emacs-modules

Dynamic modules for emacs

evil-iedit-state

Slick Evil states for iedit.

flycheck

On the fly syntax checking for GNU Emacs

fourmolu

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!