JPenuchot/bdt-project

Stars
1
Language Isabelle
Created almost 6 years ago
Updated almost 6 years ago

JPenuchot/bdt-project

JPenuchot

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Binary Decision Trees - Isabelle project from Burkhart Wolff's course

constexpr-everything-reloaded

Clang-based tool to make all your function declarations constexpr. It relies on clang's semantic engine to check whether function declarations satisfy the requirements of a constexpr function definition.

ctbench

Compiler-assisted variable size benchmarking for the study of C++ metaprogram compile times.

AFKBot

Simple bot that stays AFK on a Minecraft server without disrupting other players

fast-asm-compare

Fast compiled code inspection.

poacher

poacher: C++ compile-time compiling experiments

rule-of-cheese

Proper study of the rule of Chiel

OCutTheRope

OCaml implementation of the Cut The Rope game developed by Théophile Walter and Jules Pénuchot

jpp

J++ - Fancy functional-flavored C++ snippets

MemeChecker

Checks whether or not a meme is already in my library.

cpp-makefile

Simple C++ project template; I got tired of CMake

cheatsheet-cpp-dev

Cheatsheet for C++ beginners on how to setup a proper development environment (IDE, editor, autocompletion, etc.)

project-templates

One repo to rule them all

MulticlassPerceptron

Java implementation of a multiclass linear classifier.

cuda-template

CUDA projet template (tested on Arch Linux)

these

PhD thesis document (submitted)

opengl-exp

Just a simple project that will grow bigger as I follow @opengl-tutorials's fantastic tutorials

openmpi-project

Base project for OpenMPI programming