3 results found Sort:

OCamlPro
owi OCamlPro
19
139
agpl-3.0
8
WebAssembly Swissknife & cross-language bugfinder
c afl owi smt rust wasm nlnet ocaml fuzzer solver parallel wasm2wat wat2wasm formatter optimizer constraints interpreter webassembly concolic-execution symbolic-execution
Created 2022-12-03
1,465 commits to main branch, last one 3 days ago
ngi-nix
summer-of-nix ngi-nix
3
105
unknown
17
Summer of Nix is a coordinated effort to support selected free and open source software projects, by making them available as Nix packages or NixOS service modules.
nix nixos nlnet nixpkgs
Created 2023-01-25
120 commits to main branch, last one 16 days ago
ngi-nix
ngipkgs ngi-nix
20
37
mit
12
Nix packages and services for projects supported through the NGI program
ngi nix nixos nlnet build-with-buildbot
Created 2023-02-14
773 commits to main branch, last one 5 days ago