imp
Here are 71 public repositories matching this topic...
Language:All
Sort:Most stars
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
- Updated
Mar 15, 2018 - C
This is the CS303A AI course projects repo in SUSTech.
- Updated
Jan 7, 2021 - Python
SUSTech CS course artificial intelligence, including 4 seperated project
- Updated
Jun 25, 2018 - Python
Compiler for a variant of the "IMP" programming language
- Updated
Sep 28, 2022 - OCaml
A library for parsing SMPTE Interoperable Media Format (IMF) packages
- Updated
Aug 22, 2022 - Python
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
- Updated
Nov 17, 2019 - C++
Improve this page
Add a description, image, and links to theimp topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theimp topic, visit your repo's landing page and select "manage topics."