onelinerhub
high-assurance-rust
Our great sponsors
| onelinerhub | high-assurance-rust | |
|---|---|---|
| 15 | 7 | |
| 788 | 1,262 | |
| 1.3% | - | |
| 10.0 | 7.4 | |
| about 1 month ago | 16 days ago | |
| PHP | Rust | |
| MIT License | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
onelinerhub
-
Best Websites For Coders
Library or micro code solutions : Community library of micro code pieces for popular issues.
-
Aligning text horizontally and vertically with PHP GD
We use (400 - $p[2])/2 to calculate x coordinate so our text is centered horizontally. Open original or edit on Github.
-
10 Useful vim commands for coders
More useful Vim commands, add your commands on Github.
-
Getting and setting headers in Node.js HTTP server
Open original or edit on Github.
-
3 code pieces to work with file path in Node.js
Original version, improve this code.
-
Help us collect modern Python NumPy code solutions
The suggested solution https://github.com/Onelinerhub/onelinerhub/blob/34467e427cc6... still runs out of memory with many files.
I believe the original intention behind using mode="a" was to append to the output file while reading the input files at the same time. This way, there is no need for an ever-growing string array.
But there are still many other issues like using default platform string encoding instead of detecting it properly or at least using utf-8, checking for ".txt" anywhere in the path instead of at the end, and not closing the input files with a context manager like the output file, which suggests that this code is just pierced together from various sources.
A robust solution would require many more lines.
-
Hacker News top posts: Mar 28, 2022
Help us collect modern Python NumPy code solutions\ (23 comments)
-
Many thanks to all of you – new UI onelinerhub.com
Thank you all for great support in helping our ad-free non-profit code library project.
We've launched new UI today (thanks to your support and sponsoring!), please help us test it and make sure everything works fine. Please leave feedback using Github issues: https://github.com/nonunicorn/onelinerhub/issues
high-assurance-rust
-
Ferrocene – Rust for Critical Systems
related: https://highassurance.rs/
-
Rust from a security perspective, where is it vulnerable?
"High Assurance Rust" is going to be an amazing resource, but is still being written. Still, good stuff there already: https://highassurance.rs/
- High Assurance Rust - High Assurance Rust: Developing Secure and Robust Software
-
Hacker News top posts: Mar 28, 2022
High Assurance Rust: Developing Secure and Robust Software\ (0 comments)
- High Assurance Rust: Developing Secure and Robust Software
- Introducing "High Assurance Rust": a FREE systems software security book!
What are some alternatives?
scripts - Collection of useful scripts for Linux (git, docker, LUKS, Archlinux...)
misra-rust - An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.
fornjot - Early-stage b-rep CAD kernel, written in the Rust programming language.
cr4sh_ - cr4sh_ (pronounced crash, because it crashes all the time) is a Linux shell fully written with Rust. This can be used for educational purposes and is a great intro to Systems Programming
flower - Flower: A Friendly Federated Learning Framework
code - Source code for the book Rust in Action
slickstack - Lightning-fast WordPress on Nginx
pi-encrypted-boot-ssh - 🔑 Raspberry Pi Encrypted Boot with Remote SSH
book - The Rust Programming Language
live-dl - Monitor and download live streams from YouTube
serde - Serialization framework for Rust