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
-
Updated
Jan 13, 2024 - C
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
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
Compiler for a variant of the "IMP" programming language
Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language
A library for parsing SMPTE Interoperable Media Format (IMF) packages
Log any method call of object in Objective-C
Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
Minimal linting example with tree-sitter
Morse Code Encoder at development board FITkit3 with an external keyboard. The application was developed in MCUXpresso IDE v10.2.1.
This is the CS303A AI course projects repo in SUSTech.
Simple environment data sensor based on Electric Imp Platform
Javascript package for Contract Bridge Scoring: Matchpoitns, IMPs and Victory Points.
Add a description, image, and links to the imp topic page so that developers can more easily learn about it.
To associate your repository with the imp topic, visit your repo's landing page and select "manage topics."