Log any method call of object in Objective-C

Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language

Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.

Course codes for CS303 Artificial Intelligence in SUSTech, fall 2017

New implementation of an Arpanet IMP

SUSTech CS course artificial intelligence, including 4 seperated project

This is the CS303A AI course projects repo in SUSTech.

Školní projekty – Fakulta informačních technologií Vysokého učení technického v Brně

Minimal linting example with tree-sitter

VUTBR - FIT: IMP 2017/2018

VUT FIT BIT projects

Imp grammar for tree-sitter

Compiler for a variant of the "IMP" programming language

A library for parsing SMPTE Interoperable Media Format (IMF) packages

Projekty VUT FIT

Tiny virtual machine for math calculations

Some examples for working with electric imp

Javascript package for Contract Bridge Scoring: Matchpoitns, IMPs and Victory Points.

Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language

Cross-project generic Squirrel code