Repositories list

• smtml

  Public
  An SMT solver frontend for OCaml

  ocamlwebassemblysymbolic-execution+ 7

  ocamlwebassemblysymbolic-executionz3smtsmt-libalt-ergocvc5colibri2bitwuzla

  OCaml

  •

  MIT License

  •1616 forks•7777 stars•4646 issues•66 pull requests•Updated May 4, 2026May 4, 2026

• explode-js

  Public
  Automated Exploit Generation for Node.js Packages

  OCaml

  •

  MIT License

  •22 forks•1919 stars•22 issues•00 pull requests•Updated May 1, 2026May 1, 2026

• ocaml-cvc5

  Public
  OCaml bindings for the cvc5 SMT solver

  ocamlcvc5

  ocamlcvc5

  C++

  •

  MIT License

  •33 forks•55 stars•11 issue•11 pull request•Updated Apr 14, 2026Apr 14, 2026

• images

  Public
  Dockerfile

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 9, 2026Apr 9, 2026

• ecmasl-vim

  Public
  C

  •

  MIT License

  •00 forks•00 stars•33 issues•00 pull requests•Updated Mar 24, 2026Mar 24, 2026

• sigh

  Public
  A notification tool to integrate into the team's slack

  OCaml

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 12, 2026Mar 12, 2026

• formalsec.github.io

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 11, 2026Mar 11, 2026

• smt-datasets

  Public
  Smtlib benchmarks collected during symbolic analysis of the Collections-C testsuite

  SMT

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 23, 2026Jan 23, 2026

• opam-repository

  Public
  Formalsec's internal opam-repository

  00 forks•00 stars•00 issues•00 pull requests•Updated Dec 22, 2025Dec 22, 2025

• ECMA-SL-pub

  Public
  JavaScript

  •

  GNU General Public License v3.0

  •00 forks•33 stars•00 issues•33 pull requests•Updated Dec 15, 2025Dec 15, 2025

• .github

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Dec 12, 2025Dec 12, 2025

• graphjs

  Public
  MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabilities.

  javascriptstatic-analysisvulnerability-detection

  javascriptstatic-analysisvulnerability-detection

  TypeScript

  •22 forks•2525 stars•22 issues•00 pull requests•Updated Dec 10, 2025Dec 10, 2025

• symbolic-js-dataset

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 28, 2025Nov 28, 2025

• whilloc

  Public
  A simple "while"-like programming language that includes memory allocation support.

  OCaml

  •

  GNU Affero General Public License v3.0

  •00 forks•77 stars•44 issues•00 pull requests•Updated Nov 21, 2025Nov 21, 2025

• explodejs-datasets

  Public
  JavaScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 11, 2025Nov 11, 2025

• ast-gen

  Public
  JavaScript

  •

  MIT License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Jul 6, 2025Jul 6, 2025

• explode-js_ng

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 9, 2025Jun 9, 2025

• test262

  Public
  JavaScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 10, 2025Feb 10, 2025

• MemoryModels

  Public
  OCaml

  •11 fork•22 stars•00 issues•00 pull requests•Updated Oct 24, 2024Oct 24, 2024

• smt-comp

  Public
  SMT

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 22, 2024Oct 22, 2024

• smt-testcomp23

  Public
  SMT

  •00 forks•00 stars•11 issue•00 pull requests•Updated Oct 22, 2024Oct 22, 2024

• vulcan-dataset

  Public
  A improved fork of the curated dataset used in the VulcaN study. Original repository: https://github.com/VulcaN-Study/Supplementary-Material

  JavaScript

  •

  Creative Commons Attribution Share Alike 4.0 International

  •11 fork•22 stars•22 issues•00 pull requests•Updated Sep 24, 2024Sep 24, 2024

• wasp

  Public
  WASP was superseded by: https://github.com/OCamlPro/owi

  ctestingwebassembly+ 2

  ctestingwebassemblysymbolic-executionprogram-analysis

  OCaml

  •

  MIT License

  •22 forks•1616 stars•33 issues•00 pull requests•Updated Aug 28, 2024Aug 28, 2024

• wasp-private

  Public archive
  WebAssembly Symbolic Processor (WASP) private

  WebAssembly

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 22, 2024Aug 22, 2024

• instrumentation2

  Public archive
  It's now part of explode-js: https://github.com/formalsec/explode-js

  OCaml

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 16, 2024Jul 16, 2024

• encoding

  Public archive
  This project was renamed to Smt.ml (link below)

  OCaml

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 22, 2024Apr 22, 2024

• Test-Comp

  Public
  Test-Comp benchmarking scripts for wasp-c

  Python

  •22 forks•00 stars•00 issues•00 pull requests•Updated Mar 13, 2024Mar 13, 2024

• Collections-C

  Public
  Gillian's Collections-C Symbolic Test Suite in Wasm

  C

  •

  Other

  •11 fork•00 stars•00 issues•00 pull requests•Updated Feb 6, 2024Feb 6, 2024

• memory-models

  Public
  OCaml

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 15, 2024Jan 15, 2024

• waspc

  Public archive
  OWI's C frontend now in https://github.com/OCamlPro/owi/pull/100

  ocamlwasmsymbolic-execution+ 1

  ocamlwasmsymbolic-executionowi

  C

  •

  Apache License 2.0

  •22 forks•00 stars•44 issues•00 pull requests•Updated Jan 5, 2024Jan 5, 2024