Ivan Velickovic's repositories
camkes-vm
Virtual Machine built as a CAmkES component.
Language:CNOASSERTION000
Language:CNOASSERTION000
camkes-vm-images
Precompiled kernels etc. for use with camkes VMs.
Language:CMake000
crafting_interpreters
My implementation of the language (Lox) from the book Crafting Interpreters
Language:Zig000
NOASSERTION000
l4v
seL4 specification and proofs
NOASSERTION000
raylib-zig
Manually tweaked, auto generated raylib bindings for zig. https://github.com/raysan5/raylib
MIT000
Language:CNOASSERTION000
sel4test-manifest
Project to build and test seL4 for many different platforms
000
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
MIT000
zig-imgui
Zig bindings for ocornut/imgui, generated using cimgui/cimgui
MIT000