Hexagonal tools lib in rust

The Agda standard library

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

STLC-related snippets in Agda

🧟 Inject bugs and see if your tests catch them!

Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).

[DEPRECATED] Helper for https://github.com/taiki-e/cargo-llvm-cov/issues/123.

Template for a Bevy game including CI/CD for web, Windows, Linux, macOS, iOS and Android

Public Bug Tracker for Dota 2

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

A simple blog theme focused on writing powered by Bulma and Zola.

A Seamless, Interactive Tactic Learner and Prover for Coq

A refreshingly simple data-driven game engine built in Rust

A purely functional programming language with first class types

A cross-platform GUI library for Rust, inspired by Elm

Cranelift based backend for rustc

A dependently typed programming language, a successor to Idris

🧑‍🔬 Operating system

Structured, contextual, extensible, composable logging for Rust

An ordered multimap.

Macros for all your token pasting needs

A utility for managing cargo dependencies from the command line.

Hypothesis-like property testing for Rust

A collection of numeric types and traits for Rust.

Vulkan bindings for Rust

Rust port of Google's SwissTable hash map

Implementation of RFC3986 including URIs and URI references.