Pinned Loading

1. Abstract-Syntax-Tree-Generator Abstract-Syntax-Tree-Generator Public

   Takes a program in C-like language and creates an AST out of it.

   C++

2. LiskovSubstitutionPrincipleDemo LiskovSubstitutionPrincipleDemo Public

   A C# dotnet application to demonstrate Liskov's Substitution Principle

   C#

3. myexpos myexpos Public

   Operating Systems Lab Assignments

   C

4. Model-Checking Model-Checking Public

   TlaPlus files used in Model Checking course

   TLA

5. ModelChecker ModelChecker Public

   A CTL Model Checker in Python

   Python

6. gamedevbootcamp2024 gamedevbootcamp2024 Public

   Fifth edition of Gamedev Bootcamp

   GDScript 1