Pinned Repositories
dblib
Coq library for working with de Bruijn indices [maintainer=@KevOrr]
advent-of-code
binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
binaryninja-docker
Docker image for Binary Ninja
Cpp--
C++ to C transpiler
ctf-training
Supplementary Materials for weekly WCSC CTF training meetings
ctf-writeups
Writeups to CTF challenges I solve
dotfiles
memetop
Like htop, but displays MEME% instead of MEM%. Only supported branch is master
blaze-platform
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
KevOrr's Repositories
KevOrr/Cpp--
C++ to C transpiler
KevOrr/binaryninja-docker
Docker image for Binary Ninja
KevOrr/ctf-writeups
Writeups to CTF challenges I solve
KevOrr/dotfiles
KevOrr/memetop
Like htop, but displays MEME% instead of MEM%. Only supported branch is master
KevOrr/advent-of-code
KevOrr/binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
KevOrr/coq-intro
KevOrr/KevOrr.github.io
My GitHub Pages repository
KevOrr/poetry.el
Python dependency management and packaging in Emacs
KevOrr/tools
Things that don't fit in other repos
KevOrr/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
KevOrr/bltaveres-actions
Collection of linters and fixers as Github Actions - Alpha
KevOrr/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.
KevOrr/doom-emacs
An Emacs configuration for the stubborn martian vimmer
KevOrr/emacs-modules
Dynamic modules for emacs
KevOrr/flycheck
On the fly syntax checking for GNU Emacs
KevOrr/fourmolu
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
KevOrr/git-merge-diff-example
KevOrr/github-workflow-testing
KevOrr/icc-brightness
Control OLED display brightness by applying ICC color profiles.
KevOrr/mathbot
Discord bot for mathematics
KevOrr/minecraft-scripts
KevOrr/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
KevOrr/programming-challenges
My solutions to various programming challenges
KevOrr/semantic
Parsing, analyzing, and comparing source code across many languages
KevOrr/stack-rpath-test
KevOrr/TensorFlow.NET
.NET Standard bindings for Google's TensorFlow for developing, training and deploying Machine Learning models in C#.
KevOrr/tree-sitter-php
PHP grammar for tree-sitter
KevOrr/xlc