Pinned Repositories
berkovich-spaces
Attempt to formalize Berkovich spaces in Lean theorem prover
Arduino-driving-server
A software created to control Arduinos from your web browser.
Catlib4
Lean 4 library heavily focused on category theory and theoretical computer science
flows
nixos-harden-systemd
Discover the Best Hardening Options for Systemd Services in NixOS
OCalme
playlean4
projets-2020
Verifier
thejohncrafter's Repositories
thejohncrafter/nixos-harden-systemd
Discover the Best Hardening Options for Systemd Services in NixOS
thejohncrafter/Catlib4
Lean 4 library heavily focused on category theory and theoretical computer science
thejohncrafter/playlean4
thejohncrafter/Arduino-driving-server
A software created to control Arduinos from your web browser.
thejohncrafter/flows
thejohncrafter/OCalme
thejohncrafter/projets-2020
thejohncrafter/Verifier
thejohncrafter/galois_2p8
Basic Arithmetic over all GF(2^8) fields
thejohncrafter/hs-msgpack-binary
Haskell implementation of MessagePack / msgpack.org
thejohncrafter/hs-msgpack-rpc-conduit
A MessagePack RPC implementation in Haskell
thejohncrafter/hydra
Hydra, the Nix-based continuous build system
thejohncrafter/JDSL
JDSL est un outil de script créé en Java spécialement pour l'écriture de DSL
thejohncrafter/JS-Interpreter
A sandboxed JavaScript interpreter in JavaScript.
thejohncrafter/Little-projects
thejohncrafter/mathlib
Lean mathematical components library
thejohncrafter/piskel
A simple web-based tool for Spriting and Pixel art.
thejohncrafter/research
R&D à Mangaki
thejohncrafter/SpongeCommon
Shared code between SpongeForge and SpongeVanilla
thejohncrafter/sysnum2020
Projet de sysnum 2020
thejohncrafter/thejohncrafter.github.io
thejohncrafter/Tile_Based_WebGL_DeferredShader
WebGL2 Deferred Shading Demo
thejohncrafter/UE4-DialogueSystem
Dialogue System source code
thejohncrafter/zero
Mangaki's recommendation algorithms