202 Open source projects that are alternatives of or similar to ctrs

Category Theory for Programmers の勉強記録

This repository is a list of machine learning libraries written in Rust. It's a compilation of GitHub repositories, blogs, books, movies, discussions, papers, etc. 🦀

Finite State Machines for Rust

Make your terminal output colorful.

Categorical Query Language IDE

Univalent mathematics in Agda

Fast CRC-32-Castagnoli implementation in Rust

A library for performing Content-Defined Chunking (CDC) on data streams.

A daily digest of the articles or videos I've found interesting, that I want to share with you.

Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski

A Rust library to decrypt & encrypt any cheat code for CodeBreaker PS2

Categories parametrized by morphism equality, in Agda

E621 and E926 downloader made in the Rust programming langauge.

A multiplexed p2p network framework that supports custom protocols

A formalization of category theory in cubical Agda

🦈 GUI framework agnostic virtual DOM library

Pretty-print file sizes and more

Starting code and proposed solution for Functional Structures Refactoring Kata

Cross-platform system interface for hardware IO

Rust bindings for the hidapi C library

A trivial Rust struct for interchange of pixel buffers with width, height & stride

A ReasonML/Ocaml library for category theory and abstract algebra

Rust library to parse mail files

a toolbox for computing with monoidal categories

Morphological analyzer / inflection engine for Russian and Ukrainian languages rewritten in Rust

Coverts simple basic shell scripts to windows batch scripts.

CQL: Categorical Query Language implementation in Haskell

rabe is an Attribute Based Encryption library, written in Rust

A Rust library for parsing/building SMF (Standard MIDI File).

Rust crate to get the current user and environment.

Library for parsing, formatting and validating international phone numbers.

[ARCHIVED] development moved into main actix repo

A Rust library for listening on Twitter Streaming API.

A Rust library for creating global hotkeys, and emulating inputs.

Contour polygon creation in Rust (using marching squares algorithm)

A DSL for the internal language of a topos

High Performance Key-Value Store

A categorical semantics library in Agda.

Easy to use rust driver for arangoDB

Category theory formalized in cubical agda

My undergradate thesis on coinductive types in univalent type theory

Bitcoin software suite

Rust client library for interacting with I2P

An asynchronous HTTP(S) client built on top of hyper.

Code samples for #monadicmonday topics

Rust library to open URLs in the web browsers available on a platform

formally verified category theory library

ICC color profiles in Rust

An opinionated F# Library for error handling

Rust crate for performing cloud storage CRUD actions across major cloud providers e.g aws

Examples with Functional JavaScript, following Professor Frisby's course

Rust type metadata reflection library

A categorical programming language with effects

A library providing FFI access to fast Ramer–Douglas–Peucker and Visvalingam-Whyatt line simplification algorithms

A HTTP Archive format (HAR) serialization & deserialization library, written in Rust.

🦀 This crate provides an FFI layer and idiomatic rust wrappers for the new DirectXShaderCompiler library.

Library for pure Rust advanced audio synthesis.

Query builder (SQL) in Rust

Rust language IPFS API implementation

rust-library to wrap GraphBLAS.h