Pinned Repositories
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
cabbage-bot
The real cabbage bot. All other cabbage bots are imposters.
cupful-android
A recipe conversion tool for measuring ingredients by weight and volume.
interview-prep
Programming interview prep notes.
layout-trello
Chrome extension that allows Trello lists to be displayed vertically or in a grid.
thesis
My now-completed Master's thesis.
VerifiedCompiler
Extending a toy compiler written in Agda... by Proving It Correct!
vnc-client
VNC Remote Desktop Client developed purely in Haskell.
sudonatalie's Repositories
sudonatalie/layout-trello
Chrome extension that allows Trello lists to be displayed vertically or in a grid.
sudonatalie/cupful-android
A recipe conversion tool for measuring ingredients by weight and volume.
sudonatalie/cabbage-bot
The real cabbage bot. All other cabbage bots are imposters.
sudonatalie/interview-prep
Programming interview prep notes.
sudonatalie/thesis
My now-completed Master's thesis.
sudonatalie/agda
Agda is a dependently typed programming language / interactive theorem prover.
sudonatalie/agda-ghc-names
Tool for making sense of the Haskell code generated by the Agda compiler
sudonatalie/android-vulkan-tutorials
A set of samples to illustrate Vulkan API on Android
sudonatalie/AppAuth-Android
Android client SDK for communicating with OAuth 2.0 and OpenID Connect providers.
sudonatalie/bigwheels
BigWheels is a cross-platform, API agnostic framework to build graphics applications.
sudonatalie/clspv
Clspv is a prototype compiler for a subset of OpenCL C to Vulkan compute shaders
sudonatalie/cts
WebGPU Conformance Test Suite
sudonatalie/dawn
Native WebGPU implementation. Mirror of https://dawn.googlesource.com/dawn
sudonatalie/DirectXShaderCompiler
This repo hosts the source for the DirectX Shader Compiler which is based on LLVM/Clang.
sudonatalie/EuIrcBot
A featureful nodejs irc bot
sudonatalie/glslang
Khronos-reference front end for GLSL/ESSL, partial front end for HLSL, and a SPIR-V generator.
sudonatalie/llpc
LLVM-Based Pipeline Compiler
sudonatalie/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
sudonatalie/llvm-www
sudonatalie/metal-comparison-bug
sudonatalie/ndk-samples
Android NDK samples with Android Studio
sudonatalie/performance-layers
Vulkan layers to measure pipeline performance and analyze frame times.
sudonatalie/shaderc
A collection of tools, libraries, and tests for Vulkan shader compilation.
sudonatalie/Signal-Android
A private messenger for Android.
sudonatalie/SPIRV-Headers
SPIRV-Headers
sudonatalie/SPIRV-Registry
SPIR-V specs
sudonatalie/SPIRV-Tools
sudonatalie/swgoh-bot
sudonatalie/Vulkan-Loader
Vulkan Loader
sudonatalie/xgl
Vulkan API Layer