Beast code in Giters

Victor Gomes's repositories

loxvm

Lox VM - A bytecode virtual machine for Lox

Language:CMIT200

oopc

MVP Out of process Compilation

Language:CMIT200

RL-Framework

Reinforcement Learning Framework

Language:Java2 20

v8-gn-example

Example of a V8 embedder built with GN

Language:PythonMIT100

veritas

Verification tool built on top of Isabelle/HOL proof assistant

Language:IsabelleMIT1 20

clang

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

Language:C++NOASSERTION000

dotfiles

Language:Vim Script020

itc-benchmarks

static analysis benchmarks from Toyota ITC

Language:CNOASSERTION000

kapcc

KA-based program correctness components

Language:IsabelleMIT000

libevent

Event notification library

Language:CNOASSERTION000

musl

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

NOASSERTION000

node

Node.js JavaScript runtime ✨🐢🚀✨

NOASSERTION000

ocaml-conduit

Dereference URIs into communication channels for Async or Lwt

Language:OCamlISC000

pprint

A pretty-printing combinator library for OCaml

Language:OCamlNOASSERTION020

semantics

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

Language:IsabelleMIT000

sep-logic

A verification tool based on separation logic in Isabelle/HOL

Language:IsabelleMIT000

Sophia-OS

Educational operating system.

Language:CGPL-3.0000

umascan

Instrumentation tool for FreeBSD's Unified Memory Allocation

Language:C000