Stars
Lean 4 programming language and theorem prover
World’s first Open Source AI content writing platform that empowers users to create SEO-friendly blog posts, ad copy for social media, website landing pages, and more.
💯 Curated coding interview preparation materials for busy software engineers
completely free for everyone. Its build-in Flutter Dart.
An ant colony simulation written in rust
It's a New Kind of Wrapper for Exposing LLVM (Safely)
🆙 Upscayl - #1 Free and Open Source AI Image Upscaler for Linux, MacOS and Windows.
High level Lua 5.4/5.3/5.2/5.1 (including LuaJIT) and Roblox Luau bindings to Rust with async/await support
A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups
A collection of inspiring resources related to engineering management and tech leadership
Learn how to design systems at scale and prepare for system design interviews
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Rust-for-Linux / linux
Forked from torvalds/linuxAdding support for the Rust language to the Linux kernel.
a structural diff that understands syntax 🟥🟩
Yazılımca bir yazılım dili değildir. Yazılım dillerinin kuralları, ölçünleri, sözdizimleri ve dahası üzerine yönelerek yapılan baş çalışmadır.
Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4
A basic blockchain implementation in Rust for educational purposes only
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and c…
A cross-platform x86 assembler with an Intel-like syntax
Applied offensive security with Rust - https://kerkour.com/black-hat-rust
A JavaScript library for rendering music notation and guitar tablature.
Rust implementation of the Lox programming language
Beautiful calculator app for macOS, Linux & Windows