sudonatalie Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-ghc-names

Tool for making sense of the Haskell code generated by the Agda compiler

android-vulkan-tutorials

A set of samples to illustrate Vulkan API on Android

appauth-android

Android client SDK for communicating with OAuth 2.0 and OpenID Connect providers.

bigwheels

BigWheels is a cross-platform, API agnostic framework to build graphics applications.

bike-safe

Finding safer bike routes for Hamilton cyclists.

buzzr

A better doorbell for your apartment.

cabbage-bot

The real cabbage bot. All other cabbage bots are imposters.

clspv

Clspv is a prototype compiler for a subset of OpenCL C to Vulkan compute shaders

cupful-android

A recipe conversion tool for measuring ingredients by weight and volume.

dependenttypesatwork

directxshadercompiler

This repo hosts the source for the DirectX Shader Compiler which is based on LLVM/Clang.

euircbot

A featureful nodejs irc bot

fantastic-broccoli

Is what it says. Fantastic broccoli.

fantastic-broccoli-android

Now you can have your fantastic broccoli anywhere with ANDROID™®©

glslang

Khronos-reference front end for GLSL/ESSL, partial front end for HLSL, and a SPIR-V generator.

interview-prep

Programming interview prep notes.

latency-research-app

A purpose-built Android application for a research study on the effects of increased latency on touch-input tracing tasks.

layout-trello

Chrome extension that allows Trello lists to be displayed vertically or in a grid.

llpc

LLVM-Based Pipeline Compiler

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

llvm-www

lol-timers

League of Legends enemy cooldown timers.

ndk-samples

Android NDK samples with Android Studio

notebook

Jupyter Interactive Notebook

performance-layers

Vulkan layers to measure pipeline performance and analyze frame times.

searchablespinner

Spinner with searchable items.

shaderc

A collection of tools, libraries, and tests for Vulkan shader compilation.

signal-android

A private messenger for Android.

spirv-headers

SPIRV-Headers