Thanks to visit codestin.com
Credit goes to lib.rs

Lib.rs

› Keywords #formally-verified #libcrux #hacl #cryptography #yggdrasil #unleash

#extracted

  1. libcrux-hacl-rs

    Formally verified Rust code extracted from HACL* - helper library

    v0.0.4 48K #formally-verified #hacl #libcrux #cryptography #extracted

  2. unleash-yggdrasil

    Unleash SDK domain logic extracted into a library to facilitate building your own Unleash SDKs in anything, anywhere

    v0.21.0 2.7K #sdk #unleash #yggdrasil #own #extracted

  3. std-semaphore

    A counting, blocking sempahore extracted from rust 1.7.0

    v0.1.0 28K #semaphore #blocking #extracted #atomic-counter #thread #forms #acquisition #unblock #that-represents

  4. ruranges-core

    Core Rust interval algorithms extracted from ruranges

    v0.1.2 #algorithm #interval #genomics #extracted #extension

  5. ktls-recvmsg

    Bits of the nix crate, extracted to be able to call recvmsg for ktls purposes

    v0.2.0 240 #nix #ktls #recvmsg #extracted #call #land #im

  6. mouse_db

    Extracted database types and schemaless table implementation for mouse-lang

    v0.1.0 #schemaless #database #table #extracted #database-table

  7. voile-util

    extracted from Voile language's type-checker

    v0.2.2 #voile #pest-parser #level #extracted #dependently-typed #type-checker #parser-generator #lisp #non-empty #universe

    8. Try searching with DuckDuckGo.

  8. axum_guard_logic

    Compare extracted and expected data at the router layer with logic

    v0.3.3 #layer #guard #extracted #logic #compare #data-layer

  9. minitt-util

    CLI Utilities extracted from Mini-TT language's type-checker

    v0.2.4 #type-checker #lambda-calculus #command-line-utilities #mini-tt #extracted #dependently-typed

  10. anyscript-compiler

    A compiler for the AnyScript programming language, and Self Extracted Archives

    v0.1.3 #compiler #programming-language #archive #extracted #self

  11. prty_fmtmodifier

    wrapping complex datastructures with different formatting options, extracted for bitgraph library

    v0.1.1 #formatting #bitgraph #complex #extracted #different #data-structures

  12. readah

    Key component of Readability module extracted from https://gitlab.com/news-flash/article_scraper

    v0.1.4 #readability #module #extracted #gitlab #key #news-flash #copy-paste #experiment #consumption

  13. lavalink_rs_macros

    Hook macro extracted from the command_attr crate

    v0.2.0 #hook #macro #command-attr #extracted