4y8
I'm a high-school student particularly interested in compilers and type theory.
École normale supérieure - PSLMarseille/Paris
Pinned Repositories
.emacs.d
My emacs configuration
4y8
askeladd
combo
A simple parser combinator library for Ocaml
esoo
Like the Programming Languages Zoo but with esoteric languages.
hou-lang
init-scripts
Sinit init scripts for my LFS.
ski-in-asm
A SKI combinators interpreter written in assembly
Tiny-CHIP-8
Another Chip8 emulator but in Ocaml this time.
selene
A small statically type interpreted language [WIP]
4y8's Repositories
4y8/combo
A simple parser combinator library for Ocaml
4y8/ski-in-asm
A SKI combinators interpreter written in assembly
4y8/Tiny-CHIP-8
Another Chip8 emulator but in Ocaml this time.
4y8/askeladd
4y8/.emacs.d
My emacs configuration
4y8/4y8
4y8/hou-lang
4y8/init-scripts
Sinit init scripts for my LFS.
4y8/uevil
4y8/zdeta
Zdeta is high-level compiled programming language.
4y8/4y8.github.io
4y8/carbon
4y8/fp-benchmark-ocaml
A small benchmark to test benfits of floating point operations simplifications
4y8/krv
4y8/lamp
4y8/lazyx
A small OS written in assembly [WIP]
4y8/libconcord
A Discord library for the ESP32 microcontroller
4y8/magessl
4y8/monk
a firefox extension to stay focused
4y8/mussel
The shortest and fastest script to build working cross compilers targeting musl libc
4y8/ocaml
The core OCaml system: compilers, runtime system, base libraries
4y8/owl
Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz
4y8/plan9port
Plan 9 from User Space
4y8/plml
4y8/ps2sdk
Homebrew PS2 SDK
4y8/sowm
An itsy bitsy floating window manager (220~ sloc!).
4y8/tp
4y8/yahdl
4y8/YLFS
My version of Linux From Scratch based on https://github.com/dslm4515/Musl-LFS/
4y8/Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.