Vlaaaaaaad / FMI-public-materials
Materials for Computer Science students at University of Bucharest
☆15Updated 4 years ago
Related projects: ⓘ
- Learning Cryptography, math and programming with Cryptol (and maybe some Python)☆93Updated 6 years ago
- The Nix base snap for distributing Nix-built software via the Snap store.☆13Updated 5 years ago
- Experiments with Nix and Open Policy Agent☆27Updated 8 months ago
- NixOps Google Cloud Backend☆25Updated last year
- Nix Docker base images for fast and minimal builds.☆22Updated last year
- ☆53Updated 6 months ago
- Serokell Nix infrastructure library☆24Updated 2 months ago
- On-demand provisioning tool for Hydra☆29Updated 5 years ago
- My NixOS configuration☆24Updated 9 months ago
- Build minimal ACI containers using the Nix package manager☆16Updated 7 years ago
- I like to work inside nix-shell and I'd like to git track my .nix files for projects but I don't want to push my .nix files upstream. Her…☆30Updated 5 years ago
- CLI string generator based on regex-like operations☆37Updated 4 years ago
- Docker image for nix [maintainer=@zimbatm] [status=deprecated]☆39Updated 4 years ago
- ☆10Updated 5 years ago
- A Haskell library and command-line tool to create, inspect, and alter master boot records.☆11Updated 8 years ago
- NixtOS, the next-generation NixOS that builds on both GuixSD concepts on steroids and nixpkgs.☆11Updated 4 years ago
- ☆30Updated last week
- ☆16Updated 5 years ago
- NixOS modules for faasd☆20Updated last month
- My ZeroTier DNS modules☆29Updated 4 years ago
- A tool for managing multiple git repositories☆25Updated 2 years ago
- ☆12Updated this week
- Clipboard synchronization tool☆12Updated 9 months ago
- ☆20Updated last week
- ☆14Updated 5 years ago
- I just can't stay away...☆8Updated 3 years ago
- find git commits that matter☆49Updated last year
- Filesystem access tracer☆78Updated 3 weeks ago
- ☆15Updated 6 months ago
- ☆25Updated 2 years ago
- Kustomize dhall generator plugin☆11Updated 5 years ago