Log any method call of object in Objective-C

• UpdatedJul 31, 2022
• Objective-C

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

• UpdatedAug 25, 2022
• Agda

Course codes for CS303 Artificial Intelligence in SUSTech, fall 2017

• UpdatedJan 20, 2018
• Python

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

• UpdatedJul 12, 2022
• Java

New implementation of an Arpanet IMP

• UpdatedMar 15, 2018
• C

This is the CS303A AI course projects repo in SUSTech.

• UpdatedJan 7, 2021
• Python

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

• UpdatedMar 18, 2020
• C

SUSTech CS course artificial intelligence, including 4 seperated project

• UpdatedJun 25, 2018
• Python

VUTBR - FIT: IMP 2017/2018

• UpdatedJan 6, 2018
• C

Minimal linting example with tree-sitter

• UpdatedMar 22, 2022
• JavaScript

VUT FIT BIT projects

• UpdatedJul 22, 2018
• Objective-C

Imp grammar for tree-sitter

• UpdatedMar 1, 2022
• C

Compiler for a variant of the "IMP" programming language

• UpdatedSep 28, 2022
• OCaml

Projekty VUT FIT

• UpdatedSep 27, 2022
• C

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

• UpdatedAug 22, 2022
• Python

Tiny virtual machine for math calculations

• UpdatedJul 1, 2022
• Go

Some examples for working with electric imp

• UpdatedJul 10, 2014
• Squirrel

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

• UpdatedNov 1, 2020
• JavaScript

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

• UpdatedNov 17, 2019
• C++

Cross-project generic Squirrel code

• UpdatedOct 26, 2020
• Squirrel