Beast code in Giters

Dylan Ede's repositories

cassowary-rs

A Rust implementation of the Cassowary constraint solving algorithm

Language:RustApache-2.0333 15 7

cef-rs

Bindings to the Chromium Embedded Framework for Rust

Language:RustMIT60 7 8

embed_js

Minimalist lightweight inline JavaScript for Rust applications targeting WebAssembly via the wasm32-unknown-unknown target.

Language:RustApache-2.020 4 1

chrono-engine-rs

Rust bindings for Chrono Engine, an open source physics engine.

Language:RustApache-2.08 30

vulkan-malloc

A Rust implementation of a general purpose device memory allocator for Vulkan

Language:RustApache-2.08 3 1

glsl-to-spirv-macros

Rust macros for generating SPIR-V binaries at compile time for use with Vulkan.

Language:RustApache-2.06 2 2

ovr-sys

Raw Rust bindings to libOVR, the Oculus Rift PC runtime library.

Language:RustApache-2.04 3 2

agda

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

Language:HaskellNOASSERTION020

agda-stdlib

The Agda standard library

Language:AgdaNOASSERTION010

blaze-lib

Automatically exported from code.google.com/p/blaze-lib

Language:C++NOASSERTION010

Blodwen

A prototype successor to Idris

Language:IdrisNOASSERTION020

callc

Compile-time function calling convention manipulation for Rust

Language:Rust020

cefpython

Automatically exported from code.google.com/p/cefpython

Language:Python01 182

constrained

A collection of algorithms for constrained optimisation problems, written in Rust.

Language:RustApache-2.0020

cubical-experiments

Experiments towards non-standard analysis in cubical Agda

Language:AgdaMIT020

glutin

Pure Rust alternative to GLFW

Language:RustApache-2.0020

inkwell

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Language:RustApache-2.0010

lime-suite-sys

Raw Rust bindings to LimeSuite

Language:Rust020

lttng-ust-rs

lttng-ust bindings for Rust

Language:RustMIT010

num

This crate contains arbitrary-sized integer, rational, and complex types.

Language:RustApache-2.0020

pretty-clippy

"Better" web interface for clippy.bashy.io logs

Language:ElmMIT020

rp-hal

A Rust Embedded-HAL for the rp series microcontrollers

Language:Rust010

sassc

libsass command line driver

Language:CNOASSERTION020

servo

The Servo Browser Engine

MPL-2.0020

setoids

Idris proofs for extensional equalities

Language:Idris020

shaderc-rs

Rust bindings for the shaderc library.

Language:RustApache-2.0020

snabbdom

A virtual DOM library with focus on simplicity, modularity, powerful features and performance.

Language:JavaScriptMIT020

vk-mem-rs

Rust bindings for AMD Vulkan Memory Allocator (VMA)

Language:CApache-2.0010

VulkanMemoryAllocator

Easy to integrate Vulkan memory allocation library

Language:C++MIT020

vulkano

Safe and rich Rust wrapper around the Vulkan API

Language:RustApache-2.0020