Here are
43 public repositories
matching this topic...
Log any method call of object in Objective-C
-
Updated
Jul 31, 2022
-
Objective-C
Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language
-
Updated
Aug 25, 2022
-
Agda
Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
-
Updated
Jul 12, 2022
-
Java
New implementation of an Arpanet IMP
Course codes for CS303 Artificial Intelligence in SUSTech, fall 2017
-
Updated
Jan 20, 2018
-
Python
SUSTech CS course artificial intelligence, including 4 seperated project
-
Updated
Jun 25, 2018
-
Python
This is the CS303A AI course projects repo in SUSTech.
-
Updated
Jan 7, 2021
-
Python
?kolni projekty ? Fakulta informa?nich technologii Vysokeho u?eni technickeho v Brn?
Minimal linting example with tree-sitter
-
Updated
Mar 22, 2022
-
JavaScript
VUTBR - FIT: IMP 2017/2018
Imp grammar for tree-sitter
-
Updated
Jul 22, 2018
-
Objective-C
A library for parsing SMPTE Interoperable Media Format (IMF) packages
-
Updated
Aug 22, 2022
-
Python
Compiler for a variant of the "IMP" programming language
-
Updated
Sep 28, 2022
-
OCaml
Tiny virtual machine for math calculations
Some examples for working with electric imp
-
Updated
Jul 10, 2014
-
Squirrel
Javascript package for Contract Bridge Scoring: Matchpoitns, IMPs and Victory Points.
-
Updated
Nov 1, 2020
-
JavaScript
Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language
Cross-project generic Squirrel code
-
Updated
Oct 26, 2020
-
Squirrel
Improve this page
Add a description, image, and links to the
imp
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
imp
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.