Pinned Repositories
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
ggez-rust-projects
Toy projects to learn about ggez/rust
learnopengl
some SDL2/OpenGL code based on learnopengl.com, to learn about new OpenGL design
nix-tooling
ad-hoc tooling to edit nix files more easily
RayEngine
Homemade Raytracing Engine
rust-client-server
tiger
Toy compiler based on Andrew Appel "Tiger book"
vsiles's Repositories
vsiles/tiger
Toy compiler based on Andrew Appel "Tiger book"
vsiles/ggez-rust-projects
Toy projects to learn about ggez/rust
vsiles/nix-tooling
ad-hoc tooling to edit nix files more easily
vsiles/rust-client-server
vsiles/chip8-emulator
quick attempt at a CHIP8 Emulator in rust... not very polished
vsiles/config
some config files (.vimrc/.bashrc/...)
vsiles/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
vsiles/dune
A composable build system for OCaml.
vsiles/dune-debug-test
Minimal project to test dune debug + c code linking
vsiles/dune-enabled-if
toying with dune 1.10.0 and the enabled_if stanza
vsiles/dune-pkg-config-test
Small test project to toy with dune and PKG_CONFIG_PATH
vsiles/dune-sandbox
toying with dune's self_build_stubs_archive
vsiles/dune_opt_copy
sandbox to test dune optional copy
vsiles/hhvm
A virtual machine for executing programs written in Hack.
vsiles/home.nix
Programs and Configurations for my Home-Manager/Nix config
vsiles/merlin
Context sensitive completion for OCaml in Vim and Emacs
vsiles/nix-playground
Random nix files that I write to learn stuff
vsiles/ocaml-mod-test
Minimal code to test ocaml build issue between 4.05 and 4.07.1
vsiles/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
vsiles/opencl-tests
Random attempt at using OpenCL.
vsiles/photonr
Learning about Raytracer and Rust at the same time
vsiles/pyre-check
Performant type-checking for python.
vsiles/random_coq_stuff
Random coq scripts
vsiles/snes-emu
toy snes emulator, for fun
vsiles/sokobad-js
Port of my sokobad project into javascript, for learning purpose
vsiles/STLC_Ref
Formalization of "Strong Normalisation in λ-calculi with References" by Romain Demangeon, Daniel Hirschkoff, and Davide Sangiorgi
vsiles/tondeuse
Text-based lawn-mowing.
vsiles/user-documentation
Documentation for those that use HHVM and write Hack code.
vsiles/yane
yet another NES emulator
vsiles/yane2
Just another attempt at a Nes emulator