Victor Gomes Claim this profile

Leiksveinn GameBoy

Lox VM - A bytecode virtual machine for Lox

Reinforcement Learning Framework

MVP Out of process Compilation

Buganizer External CLI

Example of a V8 embedder built with GN

Verification tool built on top of Isabelle/HOL proof assistant

Tooling for V8 developers

No description.

Rethinking of CPU profile analysis

A simple terminal-based Tetris game written in C.

A VS Code extension to visualize deoptimizations in your JavaScript and TypeScript code running in V8 (i.e., NodeJS, Edge, Chrome, etc.).

WebAssembly for Proxies (C++ host implementation)

Node.js JavaScript runtime ✨🐢🚀✨

A verification tool based on separation logic in Isabelle/HOL

Instrumentation tool for FreeBSD's Unified Memory Allocation

unofficial musl mirror git://git.musl-libc.org/musl

Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.

Dereference URIs into communication channels for Async or Lwt

Event notification library

static analysis benchmarks from Toyota ITC

A pretty-printing combinator library for OCaml

Formalisation of the languages developed in the 'Semantics of Programming Languages' course at the Computer Laboratory in Cambridge.

Educational operating system.

KA-based program correctness components