GitHunt

Ivan Gotovchits

ivg

ForAllSecure, Inc
Pittsburgh, PA

Organizations

Languages

OCaml79%Shell7%HTML7%Emacs Lisp7%

Repos

69

Stars

95

Forks

8

Top Language

OCaml

Loading contributions...

Top Repositories

Repositories

69
IV
ivg/socket

A High-level library dealing with low-level sockets.

OCaml151Updated 10 years ago
IV
ivg/lwt-parallel

Lwt-enabled distributed computing library

OCaml424Updated 3 years ago
lwtocamlparallel
IV
ivg/fuzzing-utilsFork

Header files for converting unit tests into fuzzing harnesses

00Updated 6 months ago
IV
ivg/oss-fuzzFork

OSS-Fuzz - continuous fuzzing for open source software.

00Updated 9 months ago
IV
ivg/randeval

A small instruction level fuzzer/differ

OCaml60Updated 6 years ago
IV
ivg/ci-siltest-demoFork

No description provided.

00Updated 1 year ago
IV
ivg/bapFork

BAP Core Library

OCaml40Updated 1 year ago
IV
ivg/fuzzersFork

No description provided.

00Updated 1 year ago
IV
ivg/owlFork

Owl - OCaml Scientific Computing @ http://ocaml.xyz

00Updated 2 years ago
IV
ivg/watchdogFork

Python library and shell utilities to monitor filesystem events.

00Updated 1 year ago
IV
ivg/ocaml-inotifyFork

OCaml bindings for inotify.

00Updated 2 years ago
IV
ivg/setup-ocamlFork

GitHub Action for the OCaml programming language

00Updated 3 years ago
IV
ivg/duneFork

A composable build system for OCaml.

00Updated 3 years ago
IV
ivg/piqiFork

Piqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion

OCaml00Updated 3 years ago
IV
ivg/piqi-ocamlFork

Protocol Buffers, JSON, XML data serialization system for OCaml

OCaml00Updated 3 years ago
IV
ivg/framespector

stack frame inspector

OCaml100Updated 4 years ago
IV
ivg/mack

A linear assignment problem solver using Mack's method

OCaml10Updated 12 years ago
IV
ivg/date-time

a simple library to handle dates and times in ocaml

OCaml41Updated 12 years ago
IV
ivg/merlinFork

Context sensitive completion for OCaml in Vim and Emacs

00Updated 4 years ago
IV
ivg/ocamlFork

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

00Updated 5 years ago
IV
ivg/ocaml-radare2Fork

OCaml interface to radare2, use r2 from within OCaml, much more fun

00Updated 5 years ago
IV
ivg/opam-repositoryFork

Main public package repository for OPAM, the source package manager of OCaml.

Shell10Updated 3 years ago
IV
ivg/ocaml.orgFork

Implementation of the ocaml.org website.

HTML00Updated 5 years ago
IV
ivg/argot

Enhanced HTML generator for ocamldoc [mirror]

OCaml30Updated 8 years ago
IV
ivg/bap-modeFork

An Emacs major mode for BAP's intermediate language

Emacs Lisp00Updated 4 years ago
IV
ivg/ocamlbuildFork

OCamlbuild

00Updated 6 years ago
IV
ivg/termtosvgFork

Record terminal sessions as SVG animations

00Updated 6 years ago
IV
ivg/utopFork

Universal toplevel for OCaml

00Updated 6 years ago
IV
ivg/x86-lifter

A tentative proposal for a new BAP x86 lifter

OCaml72Updated 10 years ago
IV
ivg/bap-2017-workshop

Slides and code from the BAP 2017 workshop in Cylab's partners conference

20Updated 8 years ago

Gists

Recent Activity

Ivan Gotovchits (ivg) | GitHunt