Pinned Repositories
api_spec
Specification for the REST-API
enochecker_cli
enochecker_test
Automatically test services/checker using the enochecker API
enowars-service-example
Example project structure for ENOWARS services
frontend
Frontend für WWI16AMA mit Angular.
klee
KLEE Symbolic Execution Engine
nixpkgs
Nix Packages collection & NixOS
klee
KLEE Symbolic Execution Engine
home-manager
Manage a user environment using Nix [maintainer=@rycee]
nixpkgs
Nix Packages collection & NixOS
fwc's Repositories
fwc/api_spec
Specification for the REST-API
fwc/enochecker_cli
fwc/enochecker_test
Automatically test services/checker using the enochecker API
fwc/enowars-service-example
Example project structure for ENOWARS services
fwc/frontend
Frontend für WWI16AMA mit Angular.
fwc/klee
KLEE Symbolic Execution Engine
fwc/nixpkgs
Nix Packages collection & NixOS