Gergö Barany

gergo-

Oracle Labs

Organizations

Languages

C31%OCaml15%Prolog15%Java8%Coq8%TeX8%C++8%Ruby8%

Repos

Stars

403

Forks

Top Language

Loading contributions...

Top Repositories

missed-optimizations

Missed optimizations in C compilers

339

ldrgen

Liveness-driven random C code generator

43OCaml

pylibjit

pylibjit, a Python library for compiling Python functions

19C

hashtbl

Pure and impure hash tables in Prolog

2Prolog

jdk

JDK main-line development https://openjdk.org/projects/jdk

0Java

tinyc

Tiny-C compiler and VM in Prolog

0Prolog

Repositories

gergo-/ldrgen

Liveness-driven random C code generator

OCaml432Updated 7 months ago

gergo-/missed-optimizations

Missed optimizations in C compilers

33910Updated 7 years ago

gergo-/jdkFork

JDK main-line development https://openjdk.org/projects/jdk

Java00Updated 10 months ago

gergo-/pylibjit

pylibjit, a Python library for compiling Python functions

C190Updated 5 years ago

gergo-/tinyc

Tiny-C compiler and VM in Prolog

Prolog00Updated 2 years ago

gergo-/hashtbl

Pure and impure hash tables in Prolog

Prolog20Updated 9 years ago

gergo-/gcc

No description provided.

C00Updated 7 years ago

gergo-/CompCertFork

The CompCert formally-verified C compiler

Coq00Updated 7 years ago

gergo-/lopstr2017

LOPSTR 2017 paper "Liveness-Driven Random Code Generation" and related stuff

TeX01Updated 8 years ago

gergo-/CelloFork

Higher level programming in C

C00Updated 11 years ago

gergo-/ocamlFork

The core OCaml system: compilers, runtime system, base libraries

OCaml00Updated 8 years ago

gergo-/csmithFork

Csmith, a random generator of C programs

C++00Updated 8 years ago

gergo-/hyperpolyglotFork

hyperpolyglot.org

Ruby00Updated 9 years ago

gergo-/8ccFork

A Small C Compiler

C00Updated 10 years ago