lucas-rami

Lucas Ramirez's repositories

Language:Python3 20

A C++ Vulkan API aiming to provide high-level primitives to facilitate development of Vulkan code.

Language:C++GPL-3.02 10

Cellular Automata Simulator

Language:Rust2 10

From scratch implementation of a kernel for x86 architecture

Language:C1 1 5

Language:TeXGPL-3.01 20

Operating Systems Design and Implementarion - Project 2

Language:C100

Circuit IR Compilers and Tools

Language:C++NOASSERTION000

GPL-3.0000

Language:C++MIT000

Unlicense000

Language:Go000

Research prototype tool for modular formal verification of C and Java programs

Language:OCamlNOASSERTION000