-
patterns-transformer Public
Experiment with minimal transformer
Jupyter Notebook The Unlicense UpdatedJul 28, 2025 -
bnn-msc Public
MSc Project on Bayesian Neural Networks
Jupyter Notebook Apache License 2.0 UpdatedApr 3, 2025 -
bnn_seq_vi Public
Forked from google-research/google-researchFork of codebase of Izmailov et al. (2021), extended with sequential retraining for VI
Jupyter Notebook Apache License 2.0 UpdatedMar 30, 2025 -
-
cheribsd-rtld-sandbox Public
Forked from CTSRD-CHERI/cheribsdCheriBSD with library sandboxing in the run-time linker for dissertation project
C Other UpdatedMay 13, 2022 -
libpng Public
Forked from CTSRD-CHERI/libpngLibpng fork for cheribuild, configuring an easy-to-sandbox minimal version and bundling zlib
-
ImageMagick Public
Forked from ImageMagick/ImageMagick🧙♂️ ImageMagick 7 fork for CheriBSD using sandboxed libpng
-
freebsd-rtld-sandbox Public
Forked from freebsd/freebsd-srcExperimentation with dlopen_sandbox() for CHERI library sandboxing dissertation project
C Other UpdatedJan 24, 2022 -
-
Numerical Snippets for Gradient Descent in OCaml
OCaml UpdatedAug 30, 2020 -
supersonicalculator Public
Simple arithmetics lexer parser and evaluator in OCaml.
OCaml UpdatedAug 29, 2020 -
-
-
{{ message }}