Popular repositories Loading

1. antconflictbeh antconflictbeh Public

   This program shall implement some rule systems for ants. Special interest is to do researches about the conflict behaviour. The project is written with the mason-library (page: http://cs.gmu.edu/~e…

   Scala 1

2. cryptominisat cryptominisat Public

   Forked from msoos/cryptominisat

   An advanced SAT Solver

   C++

3. routing-release routing-release Public

   Forked from cloudfoundry/routing-release

   This is the BOSH release for cloud foundry routers

   Ruby

4. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix

5. nix-templates nix-templates Public

   Templates for nix – in particular for flakes.

   Nix

6. nix-flake-examples nix-flake-examples Public

   Some examples about how flakes can be used.