imp
There are 44 repositories under imp topic.
qhd/ANYMethodLog
Log any method call of object in Objective-C
iwilare/formal-methods
Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language
imp-language/imp
Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
Spacebody/CS303-Artificial-Intelligence
Course codes for CS303 Artificial Intelligence in SUSTech, fall 2017
larsbrinkhoff/imp
New implementation of an Arpanet IMP
lethal233/CS303A-projects
This is the CS303A AI course projects repo in SUSTech.
lifesaver0129/CS303-Artificial-Intelligence
SUSTech CS course artificial intelligence, including 4 seperated project
mareksipos93/FIT-VUT
Školní projekty – Fakulta informačních technologií Vysokého učení technického v Brně
europ/VUTBR-FIT-IMP
VUTBR - FIT: IMP 2017/2018
marusak/School
VUT FIT BIT projects
siraben/ts-lint-example
Minimal linting example with tree-sitter
contificate/imp-compiler
Compiler for a variant of the "IMP" programming language
siraben/tree-sitter-imp
Imp grammar for tree-sitter
miricinka/VUT_FIT
Projekty VUT FIT
mjiggidy/imflib
A library for parsing SMPTE Interoperable Media Format (IMF) packages
carriots/electricimp_examples
Some examples for working with electric imp
ferhaterata/vc-gen
Verification Condition Generator for a Simple Imperative Language and a Guarded Command Language
jfklorenz/Bridge-Scoring-Package
Javascript package for Contract Bridge Scoring: Matchpoitns, IMPs and Victory Points.
mandriota/impvm
Tiny virtual machine for math calculations
AraBlocks/AIPs
Ara Improvement Proposals (AIPs) - Specifications, proposals, drafts, and other documentation for the improvement of the Ara project
astrigac/VUT-FIT
This repository serves as a compilation of my BUT FIT shool projects.
Bihanojko/School-Projects
Projects created during my studies at FIT BUT
fxdpntthm/imp-model
modeling imp in z3
grierforensics/Great-DANE-Horde-Webmail
Great DANE for Horde Webmail
jfletcher76/CiscoDEVUC
A place to share my Cisco UC python scripts. Join the discord here if you have questions for me or just want to find a place to talk about Cisco UC stuff. https://discord.gg/buxvfQRwdP
smittytone/generic-squirrel
Cross-project generic Squirrel code
elmw/extra-boolean
Boolean data type has two possible truth values to represent logic.
onegentig/VUT-FIT-IMP2023-cvicenia
Laboratorní cvičení z předmětu Mikroprocesorové a vestavěné systémy (IMP), třetí semestr bakalářského studia BIT na FIT VUT/BUT, ak.rok 2023/2024
harmim/vut-imp-labs
Mikroprocesorové a vestavěné systémy - Cvičení
harmim/vut-imp-project
Mikroprocesorové a vestavěné systémy - Projekt - Měření srdečního tepu
javaf/extra-boolean
Boolean data type has two possible truth values to represent logic.
JiriFurda/IMP-proj
[IMP] Mini-Tetris Game on Matrix Display
smittytone/ThermalForecastWorld
A simple visual weather forecast based on the Electric Imp Platform
TetraKa7/VUT-FIT-IMP
Školní projekt do předmětu Mikroprocesorové a vestavěné systémy
xstupi00/Morse-Code-Encoder
Morse Code Encoder at development board FITkit3 with an external keyboard. The application was developed in MCUXpresso IDE v10.2.1.
zagoli/ImpCoq
An implementation of the IMP language in Coq with two proofs.