Pinned Repositories
accelerometer-function
amplifyapp
betterinformatics
Welcome to Better Informatics. The student run website for students in the School of Informatics.
hackupc
hackupc project 2019
HashCode2018
hashcode2019
HiveTillFiveTakesOnTheChallenge
iotssc-mbed
Solar
Computer Simulation Solar System Project
veselypeta.github.io
zephyr-pdiot
veselypeta's Repositories
veselypeta/hackupc
hackupc project 2019
veselypeta/accelerometer-function
veselypeta/betterinformatics
Welcome to Better Informatics. The student run website for students in the School of Informatics.
veselypeta/BDL-Assignment-2
veselypeta/BDL_Assignment_3
veselypeta/build-boost
GitHub action to download & build Boost
veselypeta/CCfits
veselypeta/cheribsd
FreeBSD adapted for CHERI-RISC-V and Arm Morello.
veselypeta/cherillvm
Fork of LLVM adding CHERI support
veselypeta/CMurphi
veselypeta/cpp-experiments
veselypeta/ekos-k8s
veselypeta/indi
INDI Core Library Repository
veselypeta/level-zero
oneAPI Level Zero Specification Headers and Loader
veselypeta/leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
veselypeta/llvm
Intel staging area for llvm.org contribution. Home for Intel LLVM-based projects.
veselypeta/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
veselypeta/MetalLibraryArchive
Extract Metal functions from .metallib files.
veselypeta/mount-emulator
veselypeta/murphi-lib
A C++ Library for generating Murphi Code
veselypeta/oneapi-construction-kit
veselypeta/pdiot_android_app
veselypeta/protogen-mlir
Protogen on MLIR
veselypeta/qemu
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
veselypeta/riscv-cheri
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
veselypeta/sdp-website
veselypeta/solar-system
veselypeta/syclgameoflife
A simple implementation of the Game of Life using SYCL
veselypeta/unified-runtime
veselypeta/valijson
Header-only C++ library for JSON Schema validation