Popular repositories Loading

1. why3-sat-dpll why3-sat-dpll Public

   why3 basic verified dpll sat solver (homework lmao)

   TeX

2. mitre_attack_neo4j_kg mitre_attack_neo4j_kg Public

   Proof of concept - neo4j for threat intelligence (homework lmao)

   Jupyter Notebook

3. somali somali Public

   Some very basic somali morphophonology on verbs/nouns using foma (homework)

4. fcfg fcfg Public

   Playing around with fcfg (homework)

   Jupyter Notebook

5. gd gd Public

   A planning document for something.

   CSS

6. personal-website personal-website Public

   my personal website

   CSS