dylanede

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell0 2 00
agda-stdlib
The Agda standard library
Language:Agda0 1 00
cassowary-rs
A Rust implementation of the Cassowary constraint solving algorithm
Language:Rust327 15 724
cef-rs
Bindings to the Chromium Embedded Framework for Rust
Language:Rust60 7 89
chrono-engine-rs
Rust bindings for Chrono Engine, an open source physics engine.
Language:Rust8 3 00
embed_js
Minimalist lightweight inline JavaScript for Rust applications targeting WebAssembly via the wasm32-unknown-unknown target.
Language:Rust20 4 11
glsl-to-spirv-macros
Rust macros for generating SPIR-V binaries at compile time for use with Vulkan.
Language:Rust6 2 22
ovr-sys
Raw Rust bindings to libOVR, the Oculus Rift PC runtime library.
Language:Rust4 3 20
vulkan-malloc
A Rust implementation of a general purpose device memory allocator for Vulkan
Language:Rust8 3 11

dylanede's Repositories

dylanede/cassowary-rs
A Rust implementation of the Cassowary constraint solving algorithm
Language:Rust327 15 724
dylanede/cef-rs
Bindings to the Chromium Embedded Framework for Rust
Language:Rust60 7 89
dylanede/embed_js
Minimalist lightweight inline JavaScript for Rust applications targeting WebAssembly via the wasm32-unknown-unknown target.
Language:Rust20 4 11
dylanede/chrono-engine-rs
Rust bindings for Chrono Engine, an open source physics engine.
Language:Rust8 3 00
dylanede/vulkan-malloc
A Rust implementation of a general purpose device memory allocator for Vulkan
Language:Rust8 3 11
dylanede/glsl-to-spirv-macros
Rust macros for generating SPIR-V binaries at compile time for use with Vulkan.
Language:Rust6 2 22
dylanede/ovr-sys
Raw Rust bindings to libOVR, the Oculus Rift PC runtime library.
Language:Rust4 3 20
dylanede/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell0 2 00
dylanede/agda-stdlib
The Agda standard library
Language:Agda0 1 00
dylanede/blaze-lib
Automatically exported from code.google.com/p/blaze-lib
Language:C++1 0
dylanede/Blodwen
A prototype successor to Idris
Language:Idris2 0
dylanede/callc
Compile-time function calling convention manipulation for Rust
Language:Rust2 01
dylanede/cefpython
Automatically exported from code.google.com/p/cefpython
Language:Python1 182
dylanede/constrained
A collection of algorithms for constrained optimisation problems, written in Rust.
Language:Rust2 0
dylanede/cubical-experiments
Experiments towards non-standard analysis in cubical Agda
Language:Agda2 0
dylanede/glutin
Pure Rust alternative to GLFW
Language:Rust2 0
dylanede/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
Language:Rust1 0
dylanede/lime-suite-sys
Raw Rust bindings to LimeSuite
Language:Rust2 0
dylanede/lttng-ust-rs
lttng-ust bindings for Rust
Language:Rust1 0
dylanede/num
This crate contains arbitrary-sized integer, rational, and complex types.
Language:Rust2 0
dylanede/pretty-clippy
"Better" web interface for clippy.bashy.io logs
Language:Elm2 0
dylanede/rp-hal
A Rust Embedded-HAL for the rp series microcontrollers
Language:Rust1 0
dylanede/sassc
libsass command line driver
Language:C2 0
dylanede/servo
The Servo Browser Engine
2 0
dylanede/setoids
Idris proofs for extensional equalities
Language:Idris2 0
dylanede/shaderc-rs
Rust bindings for the shaderc library.
Language:Rust2 0
dylanede/snabbdom
A virtual DOM library with focus on simplicity, modularity, powerful features and performance.
Language:JavaScript2 0
dylanede/vk-mem-rs
Rust bindings for AMD Vulkan Memory Allocator (VMA)
Language:C1 0
dylanede/VulkanMemoryAllocator
Easy to integrate Vulkan memory allocation library
Language:C++2 0
dylanede/vulkano
Safe and rich Rust wrapper around the Vulkan API
Language:Rust2 0