GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → damienstanton → ctrs

damienstanton / ctrs

Licence: MIT license
Category Theory For Programmers (Bartosz Milewski)

Programming Languages

rust
11053 projects

Labels

category-theoryrust-library

Projects that are alternatives of or similar to ctrs

SymmetryBookFormalization
Univalent mathematics in Agda
Stars: ✭ 117 (+88.71%)
Mutual labels:  category-theory
cdc
A library for performing Content-Defined Chunking (CDC) on data streams.
Stars: ✭ 18 (-70.97%)
Mutual labels:  rust-library
cala
Cross-platform system interface for hardware IO
Stars: ✭ 46 (-25.81%)
Mutual labels:  rust-library
e621 downloader
E621 and E926 downloader made in the Rust programming langauge.
Stars: ✭ 39 (-37.1%)
Mutual labels:  rust-library
mailparse
Rust library to parse mail files
Stars: ✭ 148 (+138.71%)
Mutual labels:  rust-library
cat
A formalization of category theory in cubical Agda
Stars: ✭ 50 (-19.35%)
Mutual labels:  category-theory
prettysize-rs
Pretty-print file sizes and more
Stars: ✭ 29 (-53.23%)
Mutual labels:  rust-library
bitcrust
Bitcoin software suite
Stars: ✭ 61 (-1.61%)
Mutual labels:  rust-library
webbrowser-rs
Rust library to open URLs in the web browsers available on a platform
Stars: ✭ 150 (+141.94%)
Mutual labels:  rust-library
waihona
Rust crate for performing cloud storage CRUD actions across major cloud providers e.g aws
Stars: ✭ 46 (-25.81%)
Mutual labels:  rust-library
rabe
rabe is an Attribute Based Encryption library, written in Rust
Stars: ✭ 52 (-16.13%)
Mutual labels:  rust-library
rdp
A library providing FFI access to fast Ramer–Douglas–Peucker and Visvalingam-Whyatt line simplification algorithms
Stars: ✭ 20 (-67.74%)
Mutual labels:  rust-library
whoami
Rust crate to get the current user and environment.
Stars: ✭ 68 (+9.68%)
Mutual labels:  rust-library
actix-derive
[ARCHIVED] development moved into main actix repo
Stars: ✭ 38 (-38.71%)
Mutual labels:  rust-library
InputBot
A Rust library for creating global hotkeys, and emulating inputs.
Stars: ✭ 246 (+296.77%)
Mutual labels:  rust-library
bewl
A DSL for the internal language of a topos
Stars: ✭ 41 (-33.87%)
Mutual labels:  category-theory
cat
A categorical semantics library in Agda.
Stars: ✭ 16 (-74.19%)
Mutual labels:  category-theory
hassle-rs
🦀 This crate provides an FFI layer and idiomatic rust wrappers for the new DirectXShaderCompiler library.
Stars: ✭ 34 (-45.16%)
Mutual labels:  rust-library
twang
Library for pure Rust advanced audio synthesis.
Stars: ✭ 83 (+33.87%)
Mutual labels:  rust-library
pinto
Query builder (SQL) in Rust
Stars: ✭ 23 (-62.9%)
Mutual labels:  rust-library
View All Similar Projects ➔

Please note: this repo is now archived. While the prospect of exploring CT in Rust is still interesting, I'd prefer to focus on more practical tools in the ecosystem.

Category Theory in Rust

Build Status Crates.io Docs.rs

a category ferris

👉 Get Started

I intend for each minor version to roughly correspond to one added chapter of documentation. I won't bump the major version until I get to the second Milewski course, and later the third, etc.

Note: This crate is more like a journal or notebook than a functional library; Import at your own discretion.

© 2019 Damien Stanton

See LICENSE for details.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].