Pinned

1. Formalisation of L1 operational sema... Formalisation of L1 operational semantics, with various proofs

   1

   {-

   2

       This is a formalisation of the operational semantics and typing rules of L1, a 

   3

       small language introduced in the Semantics of Programming Languages module in

   4

       Part 1B of the Uni of Cambridge Computer Science course (2022-2023)

   5

2. semantic_pdf_search semantic_pdf_search Public

   Python

3. venanzio/monster venanzio/monster Public

   Haskell library on Monadic Streams

   Haskell 1

4. ksp_2d ksp_2d Public

   CW4 for CPP module

   C++ 1

5. isaacphysics/isaac-script-dispatcher isaacphysics/isaac-script-dispatcher Public

   Python

6. isaacphysics/isaac-react-app isaacphysics/isaac-react-app Public

   Isaac Physics front-end project, built with React

   TypeScript 9 4