Amir's repositories
50-coding-interview-questions
https://www.byte-by-byte.com/50-questions/
000
CoqPL19-paper
A paper submitted to CoqPL 2019 workshop
000
selinux-policy-contrib
Fedora Policy Contributions
000
www
Source files of the coq.inria.fr website (static part)
Language:HTML000
firebase-firestore-fundamentals-course
The final version of application created in the Pluralsight course "Firebase Firestore: Getting started" by Ervis Trupja
Language:JavaScript000
vnd-sdn-version
Visual Network Description
Language:ActionScriptNOASSERTION000
selinux-refpolicy-contrib
SELinux Reference Policy Contributions Submodule
000
playroom
This is my playroom to get used to a variety of languages and libraries
Language:Haskell000
software-foundations-coq-workshop
Materijal za radionicu Coq-a prema kursu "Software foundations" (CIS 500) Benjamina Piercea
Language:Coq000
000
conference_paper_outline
The basic starting outline for my academic conference papers using LaTeX
000