3 results found Sort:

ngi-nix
summer-of-nix ngi-nix
4
143
unknown
16
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
132 commits to main branch, last one 6 hours ago
OCamlPro
owi OCamlPro
22
143
agpl-3.0
9
Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife
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,540 commits to main branch, last one 3 days ago
ngi-nix
ngipkgs ngi-nix
24
45
mit
14
Nix packages and services for projects supported through the NGI program
ngi nix nixos nlnet build-with-buildbot
Created 2023-02-14
793 commits to main branch, last one a day ago