vsiles Goto Github PK

2d-test

Random 2D programming tests, mostly based on SDL2.

chip8-emulator

quick attempt at a CHIP8 Emulator in rust... not very polished

code-sitter

Totally ad-hoc continuous integration system for my own needs

config

some config files (.vimrc/.bashrc/...)

coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

dune

A composable build system for OCaml.

dune-debug-test

Minimal project to test dune debug + c code linking

dune-enabled-if

toying with dune 1.10.0 and the enabled_if stanza

dune-pkg-config-test

Small test project to toy with dune and PKG_CONFIG_PATH

dune-sandbox

toying with dune's self_build_stubs_archive

dune_opt_copy

sandbox to test dune optional copy

elf_layout

Pie-Chart display of ELF memory footprint

ggez-rust-projects

Toy projects to learn about ggez/rust

hab4_parser

Parser for the binary header from NXP, for secure boot on i.MX boards (CSF)

hhvm

A virtual machine for executing programs written in Hack.

learnopengl

some SDL2/OpenGL code based on learnopengl.com, to learn about new OpenGL design

loutreblocks

Old student project based on the game Denki Blocks: enjoy the neat gfx !

lua_sandbox

Sandbox to learn lua & Löve2D

merlin

Context sensitive completion for OCaml in Vim and Emacs

nix-playground

Random nix files that I write to learn stuff

nix-tooling

ad-hoc tooling to edit nix files more easily

ocaml-mod-test

Minimal code to test ocaml build issue between 4.05 and 4.07.1

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

opencl-tests

Random attempt at using OpenCL.

photonr

Learning about Raytracer and Rust at the same time

pyre-check

Performant type-checking for python.

qemu-trustzone

Experimental version of QEMU with basic support for ARM TrustZone (security extensions)

random_coq_stuff

Random coq scripts

rayengine

Homemade Raytracing Engine

rust-client-server