-
ForAllSecure, Inc
- Pittsburgh, PA
-
01:33
- 5h behind - bap.ece.cmu.edu
- https://github.com/BinaryAnalysisPlatform/bap
-
-
watchdog Public
Forked from gorakhargosh/watchdogPython library and shell utilities to monitor filesystem events.
Python Apache License 2.0 UpdatedJul 28, 2024 -
bap Public
Forked from BinaryAnalysisPlatform/bapBAP Core Library
-
-
owl Public
Forked from owlbarn/owlOwl - OCaml Scientific Computing @ http://ocaml.xyz
OCaml MIT License UpdatedJan 26, 2024 -
ocaml-inotify Public
Forked from whitequark/ocaml-inotifyOCaml bindings for inotify.
OCaml Other UpdatedAug 3, 2023 -
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedMar 7, 2023 -
setup-ocaml Public
Forked from ocaml/setup-ocamlGitHub Action for the OCaml programming language
TypeScript MIT License UpdatedJan 9, 2023 -
lwt-parallel Public
Lwt-enabled distributed computing library
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
piqi-ocaml Public
Forked from alavrik/piqi-ocamlProtocol Buffers, JSON, XML data serialization system for OCaml
OCaml Apache License 2.0 UpdatedAug 3, 2022 -
piqi Public
Forked from alavrik/piqiPiqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion
OCaml Apache License 2.0 UpdatedAug 3, 2022 -
merlin Public
Forked from ocaml/merlinContext sensitive completion for OCaml in Vim and Emacs
OCaml MIT License UpdatedMar 18, 2022 -
-
bap-mode Public
Forked from BinaryAnalysisPlatform/bap-modeAn Emacs major mode for BAP's intermediate language
Emacs Lisp MIT License UpdatedOct 26, 2021 -
-
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedSep 14, 2020 -
ocaml-radare2 Public
Forked from fxfactorial/ocaml-radare2OCaml interface to radare2, use r2 from within OCaml, much more fun
OCaml UpdatedAug 4, 2020 -
ocaml.org Public
Forked from ocaml/v2.ocaml.orgImplementation of the ocaml.org website.
HTML Other UpdatedJul 28, 2020 -
-
-
termtosvg Public
Forked from nbedos/termtosvgRecord terminal sessions as SVG animations
Python BSD 3-Clause "New" or "Revised" License UpdatedNov 5, 2019 -
utop Public
Forked from ocaml-community/utopUniversal toplevel for OCaml
OCaml Other UpdatedSep 18, 2019 -
-
awesome-ocaml Public
Forked from ocaml-community/awesome-ocamlA curated collection of awesome OCaml tools, frameworks, libraries and articles.
1 UpdatedMay 17, 2018 -
ocamlverse Public
Forked from OCamlverse/ocamlverse.github.ioDocumentation of everything relevant in the OCaml world
HTML Creative Commons Zero v1.0 Universal UpdatedMay 16, 2018 -
bap-server Public
Forked from BinaryAnalysisPlatform/bap-serverbap RPC server
-
core-lwt Public
Forked from BinaryAnalysisPlatform/core-lwtLwt in Janestreet's Core style
OCaml Other UpdatedJan 9, 2018 -
docs Public
Forked from coreos/docsDocumentation for CoreOS projects
Shell Apache License 2.0 UpdatedOct 10, 2017 -
bap-2017-workshop Public
Slides and code from the BAP 2017 workshop in Cylab's partners conference