krtab Goto Github PK

adaptive-barrier

Similar to std::sync::Barrier, but automatically adjusts to the number of subscribers

advisory-db

Security advisory database for Rust crates published through crates.io

agnos

Obtain (wildcard) certificates from let's encrypt using dns-01 without the need for API access to your DNS provider.

agurimaccuracyassessor

A collection of python script to assess the output of agurim

algol3

aoc2020

Advent of Code 2020 (in Rust)

aoc21

arbitrary

Generating structured data from arbitrary, unstructured input.

array-init

Safe wrapper for initializing arrays

arrayvec

A vector with a fixed capacity. (Rust)

buddhabrot

Generate Buddhabrot images

cargo

The Rust package manager

chrono

Date and time library for Rust

closure-future

Easily run closures on thread pools and turn their result into Futures

covid-19-analysis

Some analysis of John Hopkins' dataset

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

cvode_wrap

A wrapper around the cvode(S) ODE solver from sundials. Mirror of https://gitlab.inria.fr/InBio/Public/cvode-rust-wrap

decorum

Making floating-point behave.

dhtstatsml

diff

AD in Rust, as naturally as possible

dobble_z3

encoding

An OCaml SMT abstraction layer for constraint solvers.

env_logger

A logging implementation for `log` which is configured via an environment variable.

event-listener

Notify async tasks or threads

fast-ctc-decode

Blitzing Fast CTC Beam Search Decoder

fourinarust

(WIP) Rust implementation of a four in a line

fwd_ad

Fwd:AD is a Rust library (crate) to perform forward auto-differentiation, with a focus on empowering its user to manage memory location and minimize copying. This repo is a mirror of https://gitlab.inria.fr/InBio/Public/fwd_ad.

gnucobol

A clone of the sourceforge GnuCOBOL compiler from COBOL to C.

implem

A small Rust library providing a helper macro for implementing common traits.

json

Strongly typed JSON library for Rust