Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  google  javascript  web  go  theregister.com  arstechnica.com  apple  show  security  release  microsoft  youtube.com  nature.com  linux  chrome  theverge.com 

Yrs: High-performance CRDT implementation based on the idea of shared types

22 months ago docs.rs

Prop v0.42 released! Don't panic! The answer is... support for dependent types :)

22 months ago docs.rs release

txn_lock: a thread-safe, futures-aware, transactional read-write lock

22 months ago docs.rs

Prop v0.40 released with support for function extensionality (using types in Rust to do theorem proving)

22 months ago docs.rs release rust

Prop v0.38: Functional programming - inside Rust's type system (experimental)

23 months ago docs.rs rust

bittle 0.4.0: treat anything like a bit set

23 months ago docs.rs

Inpt: a dumb derive crate for text parsing, perfect for advent of code!

24 months ago docs.rs

Announcing Staff 0.5! Music theory library with more advanced chord analysis and api improvements

24 months ago docs.rs api music

Hifitime 3.5.0: time.rs and chrono alternative, only more precise, formally verified, and used in scientific and engineering programs

2 years ago docs.rs

New crate announcement: `semester`! A rusty `classNames` implementation featuring high efficiency, zero allocations (unless you ask for them), and compile time correctness checking.

2 years ago docs.rs

Announcing flashmap: a blazing fast, concurrent hash map

2 years ago docs.rs hash

New crate for all of you unwrap lovers

2 years ago docs.rs

mini_rx - Tiny change propagation library

2 years ago docs.rs

Announcing quickmaths v0.1.1! Integral approximation, iterator based factorization, and more

2 years ago docs.rs

::lending-iterator — Lending/streaming Iterators on Stable Rust (and a pinch of HKT)

2 years ago docs.rs rust

Announcing circus: Quantum stabilizer circuit simulation with rusty ergonomics!

2 years ago docs.rs

clap documentation overhauled

2 years ago docs.rs

openssh-sftp-client has released!

2 years ago docs.rs release

openssh-sftp-client 0.11.0-rc.1 is released!

2 years ago docs.rs release

`::nougat` — (lifetime) GATs on stable Rust

2 years ago docs.rs rust

embedded-flight v0.2.0: New examples with updated flight controller and new scheduler based on ArduPilot

2 years ago docs.rs flight

Announcing embedded-flight! Early stages with position and trajectory control and motor matrix thrust

2 years ago docs.rs

Announcing music-note 0.3.0! More advanced scales and chords with documentation and examples

2 years ago docs.rs

Announcing music-note: A !#[no_std] music theory library with chord analysis, scale iterators, and midi support

2 years ago docs.rs music

glamour: Strongly typed vector math with glam

2 years ago docs.rs math

venial 0.1 - A lightweight alternative to syn

2 years ago docs.rs

document-features: a zero-dependencies macro that generates documentation for the cargo feature flags based on the comments in the Cargo.toml

2 years ago docs.rs

#[you_can::turn_off_the_borrow_checker]

2 years ago docs.rs

#[you_can::turn_off_the_borrow_checker]

2 years ago docs.rs

macro-vis: Define macro_rules! macros with proper visibility and scoping

2 years ago docs.rs

More →