pitukg's repositories
algorithms
Demonstration of some algorithms and data structures.
Language:Java000
bdd
Binary Decision Diagrams
Language:C000
cheribsd-rtld-sandbox
CheriBSD with library sandboxing in the run-time linker for dissertation project
Language:CNOASSERTION000
Language:CApache-2.0000
Language:PythonApache-2.0000
freebsd-rtld-sandbox
Experimentation with dlopen_sandbox() for CHERI library sandboxing dissertation project
Language:CNOASSERTION000
ImageMagick
🧙♂️ ImageMagick 7 fork for CheriBSD using sandboxed libpng
Language:CNOASSERTION000
libpng
Libpng fork for cheribuild, configuring an easy-to-sandbox minimal version and bundling zlib
Language:CNOASSERTION000
numerical-optimisation-snippets
Numerical Snippets for Gradient Descent in OCaml
Language:OCaml000
supersonicalculator
Simple arithmetics lexer parser and evaluator in OCaml.
Language:OCaml000