Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
#

imp

Here are 71 public repositories matching this topic...

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

  • UpdatedAug 25, 2022
  • Agda

Course codes for CS303 Artificial Intelligence in SUSTech, fall 2017

  • UpdatedJan 20, 2018
  • Python

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

  • UpdatedJul 12, 2022
  • Java

New implementation of an Arpanet IMP

  • UpdatedMar 15, 2018
  • C

This is the CS303A AI course projects repo in SUSTech.

  • UpdatedJan 7, 2021
  • Python

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

  • UpdatedMar 18, 2020
  • C

SUSTech CS course artificial intelligence, including 4 seperated project

  • UpdatedJun 25, 2018
  • Python

VUTBR - FIT: IMP 2017/2018

  • UpdatedJan 6, 2018
  • C

Minimal linting example with tree-sitter

  • UpdatedMar 22, 2022
  • JavaScript

VUT FIT BIT projects

  • UpdatedJul 22, 2018
  • Objective-C

Imp grammar for tree-sitter

  • UpdatedMar 1, 2022
  • C

Compiler for a variant of the "IMP" programming language

  • UpdatedSep 28, 2022
  • OCaml

Projekty VUT FIT

  • UpdatedSep 27, 2022
  • C

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

  • UpdatedAug 22, 2022
  • Python

Tiny virtual machine for math calculations

  • UpdatedJul 1, 2022
  • Go

Some examples for working with electric imp

  • UpdatedJul 10, 2014
  • Squirrel
Bridge-Scoring-Package

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

  • UpdatedNov 1, 2020
  • JavaScript

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

  • UpdatedNov 17, 2019
  • C++

Cross-project generic Squirrel code

  • UpdatedOct 26, 2020
  • Squirrel

Improve this page

Add a description, image, and links to theimp 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 theimp topic, visit your repo's landing page and select "manage topics."

Learn more


[8]ページ先頭

©2009-2025 Movatter.jp