Popular repositories Loading

1. Cam_Prearrival Cam_Prearrival Public

   Prearrival course for Cambridge computer science, both maths and programming

   TeX

2. University_Courses University_Courses Public

   Any documents for or about my University courses

3. ProjectEuler ProjectEuler Public

   Practice coding in different languages

   Python

4. StochasticCellularAutomata StochasticCellularAutomata Public

   Revisiting a high school project

   Python

5. Agda Agda Public

   Agda

6. connections connections Public

   Forked from fredrrom/connections

   Reinforcement learning environments for classical, intuitionistic, and modal first-order connection calculi.

   OpenEdge ABL