dylanede Goto Github PK

agda

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

agda-stdlib

The Agda standard library

blaze-lib

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

blaze-lib.data

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

blodwen

A prototype successor to Idris

callc

Compile-time function calling convention manipulation for Rust

cassowary-rs

A Rust implementation of the Cassowary constraint solving algorithm

cef-rs

Bindings to the Chromium Embedded Framework for Rust

cefpython

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

chrono-engine-rs

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

constrained

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

cubical-experiments

Experiments towards non-standard analysis in cubical Agda

embed_js

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

gfx-rs

A high-performance, bindless graphics API for Rust.

glium

High-level safe OpenGL wrapper for the Rust language.

glsl-to-spirv-macros

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

glutin

Pure Rust alternative to GLFW

inkwell

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

lime-suite-sys

Raw Rust bindings to LimeSuite

lttng-ust-rs

lttng-ust bindings for Rust

num

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

ovr-sys

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

pretty-clippy

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

regex

rp-hal

A Rust Embedded-HAL for the rp series microcontrollers

rust

a safe, concurrent, practical language

sassc

libsass command line driver

servo

The Servo Browser Engine

setoids

Idris proofs for extensional equalities

shaderc-rs

Rust bindings for the shaderc library.