imp

There are 0 repository under imp topic.

• qhd / ANYMethodLog

  Log any method call of object in Objective-C

  aspectsclass-addmethodclass-copymethodlistclass-loaderclass-replacemethodclassificationhackinghacking-toolhookimpiosloglog-any-methodmethodmethodswizzlingobjective-cruntime
  Language:Objective-C 423

• iwilare / formal-methods

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

  agdaformal-methodshoare-logicimpoperational-semanticsseparation-logic
  Language:Agda 14

• imp-language / imp

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

  impjvmlanguagecompilerproglangs-discord
  Language:Java 12

• larsbrinkhoff / imp

  New implementation of an Arpanet IMP

  arpanetimpncpcomputer-historyretrocomputingemulator
  Language:C 10

• lifesaver0129 / CS303-Artificial-Intelligence

  SUSTech CS course artificial intelligence, including 4 seperated project

  dfs-algorithmbfs-algorithmcarpmnistiseimp
  Language:Python 9

• Spacebody / CS303-Artificial-Intelligence

  Course codes for CS303 Artificial Intelligence in SUSTech, fall 2017

  aigocarpimp
  Language:Python 9

• Iwitrag / FIT-VUT

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

  fitvutialidsifjijcimpimsincinpiosipkippivsipsityizgizuisaiis
  Language:C 8

• lethal233 / CS303A-projects

  This is the CS303A AI course projects repo in SUSTech.

  sustechaiimpreversitext-classification
  Language:Python 8

• europ / VUTBR-FIT-IMP

  VUTBR - FIT: IMP 2017/2018

  vutvutbrfitimpfitkitfitkit3kinetis-k60mcu
  Language:C 6

• siraben / ts-lint-example

  Minimal linting example with tree-sitter

  rusttree-sitterlintingimp
  Language:JavaScript 6

• marusak / School

  VUT FIT BIT projects

  vutfitialidsijcimpincinpiosipkippisaissitopityiusizgizp
  Language:Objective-C 4

• siraben / tree-sitter-imp

  Imp grammar for tree-sitter

  tree-sitterimpparsergrammar
  Language:C 4

• contificate / imp-compiler

  Compiler for a variant of the "IMP" programming language

  compilercs311impstrathclyde
  Language:OCaml 3

• mjiggidy / imflib

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

  smpteinteroperablemediaformatimfcplpklassetmappackinglistcompositionplaylistcontentmasteringovvfoplscmsidecar-composition-mapimp
  Language:Python 3

• carriots / electricimp_examples

  Some examples for working with electric imp

  impsquirrelelectric-impcarriotsinternet-of-things
  Language:Squirrel 2

• ferhaterata / vc-gen

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

  vcverificationguarded-command-languaguecpp17bisonflexsmtlibimphoare-logic
  Language:C++ 2
• Bridge-Scoring-Package

  jfklorenz / Bridge-Scoring-Package

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

  javascriptcontract-bridgebridgematchpointsimpsimpvpvictory-points
  Language:JavaScript 2

• mandriota / impvm

  Tiny virtual machine for math calculations

  impvirtual-machinebytecode
  Language:Go 2

• miricinka / VUT_FIT

  Projekty VUT FIT

  vutfitprojektyiusizpinciositsisaimpitw
  Language:C 2

• AraBlocks / AIPs

  Ara Improvement Proposals (AIPs) - Specifications, proposals, drafts, and other documentation for the improvement of the Ara project

  araaipaipsimp
  1

• Bihanojko / School-Projects

  Projects created during my studies at FIT BUT

  izpialbisidsijcimpicpincinpiosippipkisaissitoityizgsfcvutfit
  Language:C++ 1

• fxdpntthm / imp-model

  modeling imp in z3

  haskellz3imp
  Language:Haskell 1

• grierforensics / Great-DANE-Horde-Webmail

  Great DANE for Horde Webmail

  danehordesmimewebmailimpemailprivacysecurity
  Language:PHP 1

• 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

  ciscounifiedcommunicationscucmunitypresenceimpjabber
  Language:Python 1

• smittytone / generic-squirrel

  Cross-project generic Squirrel code

  nutimpsquirrelslack
  Language:Squirrel 1

• elmw / extra-boolean

  Boolean data type has two possible truth values to represent logic.

  extrabooleanalgebralogicisparsexorimpeqv
  Language:Elm 0

• kandski / IMP

  fitvutimpfitkit
  Language:C 0

• 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

  cembeddedimpmkluartuniversity-coursevutvut-fitcortex-mmicrocontrollernxpintegrated-circuitsuniversity-labsgpiopulse-width-modulationpwmad-converterkinetis
  Language:C 0

• harmim / vut-imp-labs

  Mikroprocesorové a vestavěné systémy - Cvičení

  vutvutbrfitvutimpmicroprocessormcuarmc
  Language:C

• harmim / vut-imp-project

  Mikroprocesorové a vestavěné systémy - Projekt - Měření srdečního tepu

  vutvutbrfitvutimpmicroprocessormcuarmcfitkit3nxpheart-rate
  Language:C

• javaf / extra-boolean

  Boolean data type has two possible truth values to represent logic.

  extrabooleanalgebralogicparsexoreqvimp
  Language:Java

• JiriFurda / IMP-proj

  [IMP] Mini-Tetris Game on Matrix Display

  fitvutimpbutschool-projectcfitkitmsp430
  Language:C

• Kiara7777 / VUT-FIT-IMP

  Školní projekt do předmětu Mikroprocesorové a vestavěné systémy

  vutvut-fitcasmimp
  Language:C

• smittytone / ThermalForecastWorld

  A simple visual weather forecast based on the Electric Imp Platform

  squirrelimpweatherelectric-impiot
  Language:Squirrel

• 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.

  armcfitkit3impmcumcuexpressomicrocontrollermorse-codenxpvutvut-fit
  Language:C

• zagoli / ImpCoq

  An implementation of the IMP language in Coq with two proofs.

  coqimplanguageproof
  Language:Coq