KevOrr

Cpp--

C++ to C transpiler

binaryninja-docker

Docker image for Binary Ninja

ctf-writeups

Writeups to CTF challenges I solve

dotfiles

memetop

Like htop, but displays MEME% instead of MEM%. Only supported branch is master

advent-of-code

binaryninja-api

Public API, examples, documentation and issues for Binary Ninja

coq-intro

KevOrr.github.io

My GitHub Pages repository

poetry.el

Python dependency management and packaging in Emacs

tools

Things that don't fit in other repos

1lab

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

bltaveres-actions

Collection of linters and fixers as Github Actions - Alpha

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.

doom-emacs

An Emacs configuration for the stubborn martian vimmer

emacs-modules

Dynamic modules for emacs

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!

git-merge-diff-example

github-workflow-testing

icc-brightness

Control OLED display brightness by applying ICC color profiles.

mathbot

Discord bot for mathematics

minecraft-scripts

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

programming-challenges

My solutions to various programming challenges

semantic

Parsing, analyzing, and comparing source code across many languages

stack-rpath-test

TensorFlow.NET

.NET Standard bindings for Google's TensorFlow for developing, training and deploying Machine Learning models in C#.

tree-sitter-php

PHP grammar for tree-sitter

xlc