Popular repositories Loading

1. freebsd-ports freebsd-ports Public

   Forked from freebsd/freebsd-ports

   arrowd's FreeBSD ports tree

   Makefile 2 2

2. rizin rizin Public

   Forked from rizinorg/rizin

   UNIX-like reverse engineering framework and command-line toolset.

   C 1

3. cryptominisat cryptominisat Public

   Forked from msoos/cryptominisat

   An advanced SAT Solver

   C++

4. cabal cabal Public

   Forked from haskell/cabal

   Official upstream development repository for Cabal and cabal-install

   Haskell

5. stack stack Public

   Forked from commercialhaskell/stack

   The Haskell Tool Stack

   Haskell

6. metaSMT Public

   Forked from hoangmle/metaSMT

   C++