Vlaaaaaaad / FMI-public-materialsLinks
Materials for Computer Science students at University of Bucharest
☆15Updated 6 years ago
Alternatives and similar repositories for FMI-public-materials
Users that are interested in FMI-public-materials are comparing it to the libraries listed below
Sorting:
- secure emojihash map☆46Updated 2 years ago
- Github Action for integrating Security Alerts with JIRA☆54Updated last week
- Learning Cryptography, math and programming with Cryptol (and maybe some Python)☆95Updated 7 years ago
- 📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications☆60Updated 4 years ago
- LaunchDarkly Server-Side SDK for Haskell☆15Updated last week
- Takes the top videos of the day from Reddit and turns them into a YouTube playlist☆11Updated 9 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- ☆17Updated last year
- Create a system tray menu from a YAML file with shell commands☆10Updated last month
- Nix Docker base images for fast and minimal builds.☆22Updated 2 years ago
- Public tables and other research that can accept PRs. Please visit the web link.☆44Updated 6 years ago
- Tools for interacting with Boogie☆54Updated 10 months ago
- iCalendar data types, parser, and printer.☆39Updated last year
- A command-line password manager☆32Updated 9 years ago
- Self-hosted email subscriptions list using serverless AWS stack☆11Updated 5 years ago
- Tiling window manager for Mac OS X.☆59Updated 7 years ago
- Some experiments are more experimental than others.☆27Updated 3 months ago
- A Python CLI tool and library for finding unused CIDR blocks in AWS VPCs.☆29Updated 2 months ago
- ☆51Updated 5 years ago
- vscode extension for tfsec☆30Updated 3 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 3 months ago
- Write consistent git commit messages based on a custom template☆189Updated 5 years ago
- Resources for making sense of topology and its concepts☆18Updated 5 years ago
- Conflict is a small esoteric language giving semantics to git merge conflicts☆14Updated 5 years ago
- Modeling DNS with Alloy☆37Updated 4 years ago
- Open addressing hash table on C++☆13Updated 11 years ago
- CLI tool for providing AWS credentials to a container from the host☆24Updated 2 years ago
- ⚡ OpenSSH + AWS SSM + EC2 Instance Connect + sshuttle.☆19Updated 2 years ago
- Clipboard synchronization tool☆12Updated last month
- Securely store hashed, salted passwords☆20Updated 9 years ago