-
-
abt Public
Forked from ayberkt/abtOcaml port of CMU's ABT library (with various modifications).
OCaml UpdatedApr 19, 2024 -
alacritty Public
Forked from alacritty/alacrittyA cross-platform, GPU-accelerated terminal emulator
Rust Apache License 2.0 UpdatedOct 20, 2020 -
alt-ergo Public
Forked from OCamlPro/alt-ergoOCamlPro public development repository for Alt-Ergo
OCaml Other UpdatedJan 28, 2024 -
annotations Public
Forked from WebAssembly/annotationsProposal for Custom Annotation Syntax in the Text Format
WebAssembly Other UpdatedSep 14, 2024 -
-
ascii85 Public
Forked from lindig/ascii85Adobe's Ascii85 encoding as a module and a command line tool
OCaml BSD 2-Clause "Simplified" License UpdatedSep 9, 2019 -
awesome-binary-analysis Public
Forked from open-crs/awesome-binary-analysisList of helpful binary analysis tools and research materials
Python UpdatedJun 19, 2022 -
Awesome-Binary-Analysis-Automation Public
Forked from user1342/Awesome-Binary-Analysis-AutomationA curated list of awesome binary analysis automation training, resources, and tools.
MIT License UpdatedSep 18, 2024 -
awesome-c Public
Forked from oz123/awesome-cA curated list of awesome C frameworks, libraries, resources and other shiny things. Inspired by all the other awesome-... projects out there.
Creative Commons Attribution Share Alike 4.0 International UpdatedSep 18, 2024 -
awesome-rust-and-webassembly Public
Forked from rustwasm/awesome-rust-and-webassemblyAwesome Rust and WebAssembly projects, libraries, tools, and resources
Other UpdatedSep 18, 2024 -
awesome-symbolic-execution Public
Forked from ksluckow/awesome-symbolic-executionA curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Creative Commons Zero v1.0 Universal UpdatedSep 18, 2024 -
awesome-wasm Public
Forked from mbasso/awesome-wasm😎 Curated list of awesome things regarding WebAssembly (wasm) ecosystem.
Creative Commons Zero v1.0 Universal UpdatedSep 18, 2024 -
bap Public
Forked from BinaryAnalysisPlatform/bapBinary Analysis Platform
OCaml Other UpdatedSep 5, 2019 -
base16-pygments Public
Forked from mohd-akram/base16-pygmentsPython MIT License UpdatedMar 3, 2021 -
-
benchexec Public
Forked from sosy-lab/benchexecBenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Python Apache License 2.0 UpdatedNov 9, 2023 -
-
binaryen Public
Forked from WebAssembly/binaryenOptimizer and compiler/toolchain library for WebAssembly
WebAssembly Apache License 2.0 UpdatedMar 30, 2025 -
binbin Public
Forked from erwanor/binbinConvenient binary string manipulation module for OCaml
OCaml MIT License UpdatedAug 25, 2021 -
binsec Public
Forked from binsec/binsecBINSEC binary-level open-source platform
OCaml GNU Lesser General Public License v2.1 UpdatedJul 8, 2021 -
bisect-summary Public
Forked from lindig/bisect-summaryA simple tool to analyse coverage data created with bisect_ppx
OCaml MIT License UpdatedSep 8, 2019 -
bisect_ppx Public
Forked from aantron/bisect_ppxCode coverage for OCaml and Reason
OCaml MIT License UpdatedMar 21, 2020 -
-
bogue Public
Forked from sanette/bogueGUI library for ocaml based on SDL2
OCaml Other UpdatedJan 24, 2023 -
bos Public
Forked from dbuenzli/bosBasic OS interaction for OCaml
OCaml ISC License UpdatedDec 29, 2024 -
boulder-dash Public
Forked from rossberg/boulder-dashA Boulder Dash clone in OCaml
OCaml UpdatedNov 12, 2024 -
brozip Public
Forked from fxfactorial/brozip⚡ CLI to concurrently compress, decompress using Brotli algorithm
OCaml UpdatedSep 15, 2019 -
brr Public
Forked from dbuenzli/brrBrowser programming toolkit for OCaml
OCaml Other UpdatedAug 17, 2021 -
{{ message }}