victorgomes Goto Github PK

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

musl

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

node

Node.js JavaScript runtime ✨🐢🚀✨

ocaml-conduit

Dereference URIs into communication channels for Async or Lwt

oopc

MVP Out of process Compilation

pprint

A pretty-printing combinator library for OCaml

rl-framework

Reinforcement Learning Framework

semantics

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

sep-logic

A verification tool based on separation logic in Isabelle/HOL

sophia-os

Educational operating system.

umascan

Instrumentation tool for FreeBSD's Unified Memory Allocation

v8-gn-example

Example of a V8 embedder built with GN

veritas

Verification tool built on top of Isabelle/HOL proof assistant