Pinned Repositories
clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
dotfiles
itc-benchmarks
static analysis benchmarks from Toyota ITC
kapcc
KA-based program correctness components
libevent
Event notification library
loxvm
Lox VM - A bytecode virtual machine for Lox
oopc
MVP Out of process Compilation
RL-Framework
Reinforcement Learning Framework
v8-gn-example
Example of a V8 embedder built with GN
veritas
Verification tool built on top of Isabelle/HOL proof assistant
victorgomes's Repositories
victorgomes/loxvm
Lox VM - A bytecode virtual machine for Lox
victorgomes/oopc
MVP Out of process Compilation
victorgomes/RL-Framework
Reinforcement Learning Framework
victorgomes/v8-gn-example
Example of a V8 embedder built with GN
victorgomes/veritas
Verification tool built on top of Isabelle/HOL proof assistant
victorgomes/clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
victorgomes/dotfiles
victorgomes/itc-benchmarks
static analysis benchmarks from Toyota ITC
victorgomes/kapcc
KA-based program correctness components
victorgomes/libevent
Event notification library
victorgomes/musl
unofficial musl mirror git://git.musl-libc.org/musl
victorgomes/node
Node.js JavaScript runtime ✨🐢🚀✨
victorgomes/ocaml-conduit
Dereference URIs into communication channels for Async or Lwt
victorgomes/pprint
A pretty-printing combinator library for OCaml
victorgomes/semantics
Formalisation of the languages developed in the 'Semantics of Programming Languages' course at the Computer Laboratory in Cambridge.
victorgomes/sep-logic
A verification tool based on separation logic in Isabelle/HOL
victorgomes/Sophia-OS
Educational operating system.
victorgomes/umascan
Instrumentation tool for FreeBSD's Unified Memory Allocation