afetisov
Follow
Lists (1)
Stars
A simple, fast, and secure operating system for the cloud.
Comparison of Rust async and Linux thread context switch time.
Comfortably monitor your Internet traffic ๐ต๏ธโโ๏ธ
#1 Locally hosted web application that allows you to perform various operations on PDF files
โ๏ธ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
โ๏ธ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.
๐ฆ A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.
โก Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
๐ญ A CLI task runner defined by a simple markdown file
JetBrains Just Command Runner Plugin
OutpostHD - Open source remake of Sierra On-Line's Outpost
A static verifier for Rust, based on the Viper verification infrastructure.
Creusot helps you prove your code is correct in an automated fashion.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.
A Gradio web UI for Large Language Models with support for multiple inference backends.
A list of totally open alternatives to ChatGPT
A bunch of links to blog posts, articles, videos, etc for learning Rust
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input frโฆ
A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.
Forum for discussion about what unsafe code can and can't do
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety anโฆ