-
-
-
-
-
-
proof-logging Public
Exploring proof logging of solvers and trying to make a MSci dissertation out of it.
-
-
okrs Public template
Forked from AnandChowdhary/okrs🧭 My personal Objectives and Key Results (OKRs), tracked on GitHub
-
-
-
-
gym Public
Forked from openai/gymA toolkit for developing and comparing reinforcement learning algorithms.
-
-
2021-THI-Internship Public
Files and Notes from THI Internship Summer 2021
-
SafeRL_Infinity Public
Forked from phate09/SafeRL_InfinityRepository for the paper "Verifying Reinforcement Learning up to Inifinity"
-
-
-
SafeDRL Public
Forked from phate09/SafeDRLRepository for the paper "Probabilistic Guarantees for Safe Deep Reinforcement Learning" (https://arxiv.org/abs/2005.07073)
-
nobelium Public
Forked from craigary/nobeliumA static blog build on top of Notion and NextJS, deployed on Vercel.
-
voter-preference-templates Public
A library for generating voter patterns to study different social welfare functions.
-
cppy Public
Forked from CPMpy/cpmpyA numpy-based layer on top of Constraint Programming systems (minizinc/gecode/chuffed, or-tools, ...)
-
-
-
guts_2021_hackathon Public
Forked from nathanwelsh8/guts_2021_hackathonHYGTGUTS 2021 Hackathon
-
file-transfer-cli Public
A barebone file transfer protocol written on Python.
-
or-tools Public
Forked from google/or-toolsGoogle's Operations Research tools:
-
30-seconds-of-python Public
Forked from Chalarangelo/30-seconds-of-pythonShort Python code snippets for all your development needs
-
covid19india-react Public
Forked from covid19india/covid19india-reactTracking the impact of COVID-19 in India
-
-
cs228-notes Public
Forked from ermongroup/cs228-notesCourse notes for CS228: Probabilistic Graphical Models.
{{ message }}