schuay/advanced_multiprocessor_programming external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

schuay/advanced_multiprocessor_programming

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/schuay/advanced_multiprocessor_programming)

Close

schuay / advanced_multiprocessor_programmingView on GitHubMore

• External links
• Readme badge

VU Advanced Multiprocessor Programming, TU Wien, SS 2013

☆39Jul 8, 2013Updated 12 years ago

Alternatives and similar repositories for advanced_multiprocessor_programming

Users that are interested in advanced_multiprocessor_programming are comparing it to the libraries listed below

• EduPH / concrete-semantics-Sols

  View on GitHub
  My solutions to concrete semantics
  ☆11Sep 20, 2017Updated 8 years ago
• jiangyanjie / Deep-Learning-Based-Software-Engineering

  View on GitHub
  ☆25Oct 2, 2024Updated last year
• tao2years / DSServer

  View on GitHub
  任务型多轮对话管理系统 —— 后端
  ☆10Jan 19, 2022Updated 4 years ago
• uuverifiers / ostrich

  View on GitHub
  An SMT Solver for string constraints
  ☆49Feb 10, 2026Updated last month
• imnuke / ast-interpreter

  View on GitHub
  国科大编译作业：基于Clang的C语言解释执行器
  ☆43Dec 12, 2021Updated 4 years ago
• ut-osa / nightcore-benchmarks

  View on GitHub
  Benchmark workloads of Nightcore
  ☆12Feb 15, 2021Updated 5 years ago
• pddenhar / Z3-IC3-PDR

  View on GitHub
  Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.
  ☆18Apr 30, 2016Updated 9 years ago
• agurfinkel / spacer-on-jupyter

  View on GitHub
  ☆20May 11, 2023Updated 2 years ago
• stephanoskomnenos / vscode-jieba

  View on GitHub
  基于 jieba-rs 的中文分词插件
  ☆12Nov 1, 2025Updated 4 months ago
• tlaplus / TLAiBench

  View on GitHub
  TLAi+ Benchmarks
  ☆30Feb 6, 2026Updated last month
• secure-software-engineering / ideal

  View on GitHub
  IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis
  ☆10Mar 10, 2018Updated 8 years ago
• Taintedy / flock_gpt

  View on GitHub
  FlockGPT is a novel approach to drone flocking control using natural language and generative AI. It features an LLM-based interface for u…
  ☆21Aug 12, 2024Updated last year
• cadencemarseille / rust-pcre

  View on GitHub
  Rust wrapper for libpcre
  ☆24Sep 27, 2016Updated 9 years ago
• Samsung / veles.simd

  View on GitHub
  Distributed machine learning platform
  ☆13Aug 20, 2015Updated 10 years ago
• pijul-scm / sanakirja

  View on GitHub
  ☆17Mar 13, 2017Updated 9 years ago
• tangruize / tlc-cmd

  View on GitHub
  Run TLC in cmd
  ☆15Jan 20, 2026Updated 2 months ago
• jinlmsft / raft.tla

  View on GitHub
  TLA+ specification for the Raft consensus algorithm
  ☆19Aug 22, 2016Updated 9 years ago
• ramanala / PACE

  View on GitHub
  Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems
  ☆15Nov 14, 2016Updated 9 years ago
• AMDResearch / intelliperf

  View on GitHub
  Automated bottleneck detection and solution orchestration
  ☆19Feb 24, 2026Updated 3 weeks ago
• billmuch / matmul_perf_test

  View on GitHub
  ☆15Apr 15, 2022Updated 3 years ago
• zillou / zh-cn.djangobook.com

  View on GitHub
  最新中文版Django book
  ☆16Apr 29, 2016Updated 9 years ago
• renfliu / ucas

  View on GitHub
  UCAS网络登录
  ☆13Nov 17, 2018Updated 7 years ago
• RMSnow / CS-Postgraduate

  View on GitHub
  Some materials about postgraduate recommendation, especially summer workshop.
  ☆12Apr 7, 2020Updated 5 years ago
• pku-minic / first-step

  View on GitHub
  Take your first step in writing a compiler.
  ☆29May 2, 2021Updated 4 years ago
• chenyuxiang0425 / cs61b_sp19

  View on GitHub
  CS 61B Data Structures, Spring 2019
  ☆17Aug 21, 2020Updated 5 years ago
• pigirons / conv3x3_m1

  View on GitHub
  This is a demo how to write a high performance convolution run on apple silicon
  ☆57Feb 8, 2022Updated 4 years ago
• AFKD98 / FLOAT

  View on GitHub
  ☆12May 18, 2024Updated last year
• dranov / raft-tla

  View on GitHub
  ☆21Oct 25, 2021Updated 4 years ago
• teknql / wing

  View on GitHub
  Modular Framework for Clojure Applications
  ☆12May 26, 2025Updated 9 months ago
• zhoulaifu / xsat

  View on GitHub
  A Fast Floating-Point Satisfiability Solver
  ☆29Jul 26, 2025Updated 7 months ago
• hpca-uji / PyDTNN

  View on GitHub
  PyDTNN - Python Distributed Training of Neural Networks
  ☆14Feb 20, 2026Updated last month
• michaelzenz / jecci

  View on GitHub
  Jepsen and Elle based Consistency Checking Interface
  ☆21Feb 3, 2022Updated 4 years ago
• Jemy-Tan / CCF_CSP

  View on GitHub
  历年CSP考试 题解
  ☆14Apr 14, 2020Updated 5 years ago
• jamii / preimp

  View on GitHub
  ☆10Sep 7, 2022Updated 3 years ago
• acehi / thesecretlivesofdata-cn

  View on GitHub
  Raft 分布式共识算法动画演示中文最新版，也包含官方中文版raft集群在线演示网站两种。
  ☆21Apr 1, 2022Updated 3 years ago
• wcventure / Active-Automata-Learning

  View on GitHub
  A Quick Research of Active Automata Learning
  ☆32Mar 13, 2020Updated 6 years ago
• agrison / covid19-babashka

  View on GitHub
  ☆10Dec 2, 2020Updated 5 years ago
• LeiWang1999 / Stream-k.tvm

  View on GitHub
  ☆20Sep 28, 2024Updated last year
• ZhW-loop / UniCoMo

  View on GitHub
  ☆13Sep 19, 2024Updated last year