Lib.rs

› Keywords #why3 #creusot #build-system #system-for-modern #polyglot

#correct

  1. calendrier

    handling dates in the french Revolutionary calendar

    v1.0.2 390 #calendar #french #revolutionary #year #correct #revolution #france #date #today

  2. xldenis/creusot-contracts

    contracts and logic helpers for Creusot

    GitHub 0.4.0 #creusot #creusot-contracts #helper #logic #contract #why3 #correct #language #standard #safe

  3. chbs

    providing secure passphrase generation based on a wordlist

    v0.1.1 1.5K #password-generator #diceware #horse #correct

  4. xldenis/creusot

    prove your code is correct in an automated fashion

    GitHub 0.4.0 #creusot #why3 #correct #assertions #user #verification #condition #annotations #power #leverage

  5. cdylib-link-lines

    Collection of link-lines useful to build correct cdylibs on targets

    v0.1.5 27K #build #cdylibs #link-line #correct #target #metabuild #android

  6. devicon-lookup

    Prepend the correct devicon to the beginning of each filename

    v0.10.2 130 #devicon #icons #beginning-of-filename #correct #stdout

  7. truecase

    Restore correct letter casings in arbitrary text using a statistical model

    v0.3.1 #statistical-model #restore #statistics #correct #letter #restoration

  8. senv

    Agnostic .env

    v0.2.0 #intermediate-representation #crappy #env #correct #character

  9. commit-email

    that reminds you to commit with the correct email address

    v0.2.1 #email #reminds #config #commit #correct

  10. zap-core

    fast, and correct build system for modern polyglot teams

    v0.4.2 #build-system #polyglot #system-for-modern #correct #team

  11. datetimeparse

    Correct ISO 8601 and RFC3999 parsing and formatting

    v0.3.0 #parser-formatting #iso-8601 #rfc-3999 #parsing-and-formatting #correct #chrono

  12. libintern

    but correct library for interning arbitrary values

    v0.7.0 #interning #correct #value

    13. Try searching with DuckDuckGo.

  13. externcfn

    macro_rules for define correct extern 'C' functions with an normal syntax

    v1.0.2 #define #syntax #macro-rules #correct #extern #abi #c-compatible

  14. correct

    A number wrapper that has correct bitwise shift behaviors rather than the primitives in rust language

    v0.1.1 #bit-manipulation #behavior #shift #primitive

  15. scytale

    A fast and correct cryptographic library

    v0.2.0 #cryptography #correct

  16. copy_span

    Macro emitting tokens with the span of another set of tokens

    v0.1.0 #spans #set #framework #token #correct #emitting #distributed #distributed-systems #hydro #intermediate-representation

  17. muggle

    A typed, correct, and unneeded opengl wrapper that doesn't hide anything but feels more rusty

    v0.1.1 #opengl #typed #unneeded #correct #feels

  18. message_bus

    v0.1.0 #time #buffer #bus-sender #correct #receiver

  19. zap-build

    fast, and correct build system for modern polyglot teams

    v0.4.2 #build-system #polyglot #system-for-modern #correct #team

  20. zap-build-engine

    fast, and correct build system for modern polyglot teams

    v0.4.2 #build-system #polyglot #correct #modern #team #system-for-modern

  21. zap-buildscript

    fast, and correct build system for modern polyglot teams

    v0.4.2 #build-system #polyglot #system-for-modern #correct #team

  22. fix-whitespace

    Detect and correct whitespace issues in text files

    v1.0.2 #white-space #detect #issue #correct #text

  23. hydro_build_utils

    build and test utils for hydro

    v0.0.1 #hydro #framework #distributed #correct #distributed-systems #intermediate-representation #stream-processing #dataflow #memory-safety #dfir

  24. example_test

    Test cargo example code

    v0.0.0 #framework #distributed #correct #cargo #distributed-systems #hydro #stream-processing #intermediate-representation #dataflow #memory-safety

  25. externcfn-attr

    macro_rules for define correct extern 'C' functions with an normal syntax

    v1.0.1 #macro-rules #syntax #define #extern #correct

  26. rust10x

    CLI for rust10x. Coming in 2024.

    v0.0.1 #coming #cli #2024 #command-line #correct #awesome-app

  27. awesomeapp

    Not this one

    v0.0.1 #tauri #command-line #web-components #correct #native #desktop

  28. lamy

    but correct yaml parsing library

    v0.0.1 #yaml #yaml-parser #correct

  29. blasrs

    Readable and correct BLAS library

    v0.0.1 #blas #correct #read #performance