imp

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

New implementation of an Arpanet IMP

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

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

Course codes for CS303 Artificial Intelligence in SUSTech, fall 2017

This is the CS303A AI course projects repo in SUSTech.

SUSTech CS course artificial intelligence, including 4 seperated project

VUTBR - FIT: IMP 2017/2018

Minimal linting example with tree-sitter

VUT FIT BIT projects

Compiler for a variant of the "IMP" programming language

Imp grammar for tree-sitter

Projekty VUT FIT

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

Tiny virtual machine for integer arithmetic

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

Interpreter for the IMP Programming Language.

Some examples for working with electric imp

VUT FIT projekty a domáce úlohy