116 Repositories
Rust static-typing Libraries
Pure-Rust implementation of Fast Static Symbol Tables string compression
fsst-rs A pure-Rust, zero-dependency implementation of the FSST string compression algorithm. FSST is a string compression algorithm meant for use in
Hide the X11 mouse pointer while you're typing.
rxbanish: let's play hide the pointer rxbanish is a simple program to hide the X11 mouse pointer while you're typing. It's inspired by the C program x
A simple, fast, and easy to use static file server
Warning This is still in early development, I would not recommend for production use.. yet. See the issues for things that are on the "roadmap" or mis
Typing accuracy practice app.
booktyping booktyping is a simple commandline tool for practicing typing accuracy while reading a book. installation booktyping has only been tested o
Sero is a web server that allows you to easily host your static sites without pain. The idea was inspired by surge.sh but gives you full control.
sero Lightning-fast, static web publishing with zero configuration and full control 📖 Table Of Contents 📖 Table Of Contents 🔧 Tools ❓ About The Pro
Catch Tailwindcss Errors at Compile-Time Before They Catch You, without making any change to your code! Supports overriding, extending, custom classes, custom modifiers, Plugins and many more 🚀🔥🦀
twust Twust is a powerful static checker in rust for TailwindCSS class names at compile-time. Table of Contents Overview Installation Usage Statement
A file server that supports static serving, uploading, searching, accessing control, webdav...
Dufs Dufs is a distinctive utility file server that supports static serving, uploading, searching, accessing control, webdav... Features Serve static
Rust implementation of the PTHash perfect hash function for static compile-time generated hash tables
QuickPHF QuickPHF is a Rust implementation of the PTHash minimal perfect hash function algorithm. It consists of two crates: quickphf - runtime code f
Transform Obsidian Vault's notes into web pages
Transform Obsidian Vault's notes into web pages. Converts your markdown notes, created in Obsidian, into fully functional site, ready for deployment.
It's like monkeytype but from your terminal
DoggyType It's like monkeytype but from ur terminal (ik very unoriginal lmao) Preview doggytype-preview.mp4 Requirements: Rust Build: git clone https:
Maniplate `&'static str` (e.g., `concat!`, `format!`) in Rust without pain!
static_str_ops The static_str_ops crate solves a longstanding issue about how to perform non-const string operations, e.g., format!(), concat!(), etc.
rublog /rʌblɑg/ is a static blog generator written in Rust
README README About rublog demo DEMO Install use Initialize from rublog-template rublog command Publishing the web page Development Plan TOML Front Ma
A hypersonic static-site generator written in Rust. 🚀 💊 🔥
MANDY 🚀 💊 🔥 A hypersonic static-site generator written in Rust. 🚀 💊 🔥 ABOUT 📚 Mandy is fast, easy to use, easy to deploy, and very flexible! Ge
A macro to generate constructor to instanicate structs from JsValue using duck-typing.
ducktor ducktor is a Rust crate that allows you to create types from wasm_bindgen::JsValue using duck typing. With ducktor, you can define a struct th
🪂 SkyFolder shares your folders on the network!
Skyfolder Easily share your files & folders on the network. Security, Simplicity, Style all built in. It's like your own personal Google Drive! Skyfol
This CLI will help you improve your typing accuracy and speed
This CLI will help you improve your typing accuracy and speed! Improve your personal bests and look back on your previous records in a graph. All in the convenience of your own terminal!
Rust-based static analysis for TypeScript projects
Fast TypeScript Analyzer FTA (Fast TypeScript Analyzer) is a super-fast TypeScript static analysis tool written in Rust. It captures static informatio
Markdown to HTML converter written in Rust. Inspired by Katsuki Yuri's Makudaun Tool.
Makurust Makurust is a powerful tool written in Rust that allows you to effortlessly convert your Markdown files into static HTML pages. Inspired by T
Simple Secure Static (HTTPS) File Server with embedded certificate
Secure Static File Server Static Files HTTPs server with self signed embedded certificate Installation Install using cargo: cargo install ssfs Or buil
A opinionated and fast static analyzer for PHP.
TLDR; A static analyzer for PHP. It helps you catch common mistakes in your PHP code. These are the current checks implemented. Extending undefined cl
A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.
solstat A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies. .------. .------. .------. .------. .------. .------. .-
A work-in-progress static analyser.
Statan Statan is an early-stage static analyser for PHP and PXP projects. It is being developed in public and the journey is documented on my blog. Th
A fast static code analyzer & language server for Python
pylyzer ⚡ pylyzer is a static code analyzer / language server for Python written in Rust. Installation cargo (rust package manager) cargo install pyly
irulescan is a static security analyzer for iRules
irulescan is a tool to scan iRules for unexpected/unsafe expressions that may have undesirable effects like double substitution.
Synchronization primitives for kernels.
hermit-sync hermit-sync provides synchronization primitives targeted at operating system kernels. For API documentation see the docs. License Licensed
Experimental language build in Rust to make it fast and robust
Reg-lang Experimental language build with Rust. Its aim is : To be simple to help learning programmation with, and in a second hand, to be robust enou
Static-checked parsing of regexes into structs
Statically-checked regex parsing into structs. This avoids common regex pitfalls like Off by one capture indexes Trying to get nonexistent captures De
A file format-agnostic static site generator
mksite A file format-agnostic static site generator Installation If you already have Rust and Cargo installed: cargo install mksite Alternatively, you
Serve a static site, single page application or just a static file with Rust
cargo-server tl;dr: Does the same as "python -m http.server" or "npx serve" but for Rust ecosystem. cargo-server helps you serve a static site, single
Kurzlink is a simple static site generator built in rust
kurzlink What is kurzlink? Kurzlink is a simple static site generator built in rust.
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
treeedb treeedb makes it easier to start writing a source-level program analysis in Soufflé Datalog. First, treeedb generates Soufflé types and relati
Minimal and blazing-fast file server. For real, this time.
Zy Minimal and blazing-fast file server. For real, this time. Features Single Page Application support Partial responses (Range support) Cross-Origin
An extremely fast Python linter, written in Rust.
Ruff An extremely fast Python linter, written in Rust. Linting the CPython codebase from scratch. ⚡️ 10-100x faster than existing linters 🐍 Installab
serve a static site, single page application or just a static file with Rust
cargo-server tl;dr: Does the same as "python -m http.server" or "npx serve" but for Rust ecosystem. cargo-server helps you serve a static site, single
⚡ A Blazingly-Fast Static Site Generator, built with Rust.
Stuart A Blazingly-Fast Static Site Generator. Download Now » Stuart is a very fast and flexible static site generator, with build times as low as 0.1
Statically allocated, runtime initialized cell.
static-cell Statically allocated, initialized at runtime cell. StaticCell provides a no-std-compatible, no-alloc way to reserve memory at compile time
🐵 Monkeytype, but for desktop
Monkeytype Desktop Monkeytype desktop is a desktop client for monkeytype.com with various quality-of-life features such as a Discord Rich Presence. Yo
Static low-bandwidth search at scale
Pagefind Pagefind is a fully static search library that aims to perform well on large sites, while using as little of your users' bandwidth as possibl
Linux anti-debugging and anti-analysis rust library
DebugOff Library Linux anti-analysis Rust library The goal of this library is to make both static and dynamic (debugging) analysis more difficult. The
Dufs is a distinctive utility file server that supports static serving, uploading, searching, accessing control, webdav...
Dufs (Old Name: Duf) Dufs is a distinctive utility file server that supports static serving, uploading, searching, accessing control, webdav... Featur
✨ sleek typing tui with visualized results and historical logging
thokr ✨ sleek typing tui with visualized results and historical logging Usage For detailed usage run thokr -h. thokr 0.4.1 sleek typing tui with visua
VRS is a simple, minimal, free and open source static web server written in Rust
VRS is a simple, minimal, free and open source static web server written in Rust which uses absolutely no dependencies and revolves around Rust's std::net built-in utility.
Static Web Server - a very small and fast production-ready web server suitable to serve static web files or assets
Static Web Server (or SWS abbreviated) is a very small and fast production-ready web server suitable to serve static web files or assets.
✨Sleek typing tui written in rust
thokr ✨ sleek typing tui written in rust Installation Cargo $ cargo install thokr Docker $ docker run -it coloradocolby/thokr Arch Linux Install thokr
Zine - a simple and opinionated tool to build your own magazine.
zine Zine - a simple and opinionated tool to build your own magazine. Mobile-first. Intuitive and elegant magazine design. Best reading experiences. T
Hot reload static web server for deploying mutiple static web site with version control.
SPA-SERVER It is to provide a static web http server with cache and hot reload. 中文 README Feature Built with Hyper and Warp, fast and small! SSL with
A linear algebra library with excellent type safety
Static L.A. (Linear Algebra) A fast minimal ultra type safe linear algebra library. While ndarray offers no compile time type checking on dimensionali
Sūshì is a simple but customizable static site generator / blog generator written in Rust
sūshì Sūshì is a simple but customizable static site generator / blog generator written in Rust. Installation Install with Cargo (Recommended) cargo i
Serve-live: static directory server with change notification
Serve a directory of static files, with server-sent events for automatic refresh.
An unsafe botched job that doesn't rely on types being 'static lifetime.
An unsafe botched job that doesn't rely on types being 'static lifetime. Will panic if provided a 0 field struct. I will fix this when I figure out how.
Static Linear Algebra System
SLAS Static Linear Algebra System Provides statically allocated vector, matrix and tensor types, for interfacing with blas/blis, in a performant manor
Live Server - Launch a local network server with live reload feature for static pages
Live Server - Launch a local network server with live reload feature for static pages
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Welcome! This is the official repository for the Soufflé language project. The Soufflé language is similar to Datalog (but has terms known as records)
A bidirectional type checker
A bidirectional type inference system loosely based on Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism.
serde-like serialization and deserialization of static Rust types in XML
static-xml static-xml is a serde-like serialization and deserialization library for XML, currently written as a layer on top of xml-rs. Status: in ear
yet another typing test, but crab flavoured
toipe A trusty terminal typing tester for the tux. Usage Install cargo install toipe Run typing test toipe looks best on a nice terminal (such as Ala
A static mail HTML archive for the 21st century, written in Rust
🦀 Crabmail 🦀 self-hosted / github mirror A static mail HTML archive for the 21st century, written in Rust. Includes helpful "modern" features that e
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
This repository lists static analysis tools for all programming languages, build tools, config files and more. The official website, analysis-tools.de
Rust-verification-tools - RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Rust verification tools This is a collection of tools/libraries to support both static and dynamic verification of Rust programs. We see static verifi
Flowistry: Powerful IDE Tools for Rust
Flowistry - a VSCode extension that helps you understand Rust programs with program analysis.
Oinky - A blazing fast, data-oriented static site generator.
Oinky Oinky is a static site generator, written in Rust, that compiles Handlebars templates and Markdown files into a static site. Oinky also enables
Eslint - Find and fix problems in your JavaScript code.
ESLint Website | Configuring | Rules | Contributing | Reporting Bugs | Code of Conduct | Twitter | Mailing List | Chat Room ESLint is a tool for ident
Shellcheck - a static analysis tool for shell scripts
ShellCheck - A shell script static analysis tool ShellCheck is a GPLv3 tool that gives warnings and suggestions for bash/sh shell scripts: The goals o
Pssst!... see what Rust is doing behind the curtains 🕵🤫
cargo-inspect What is Rust doing behind the scenes? There are only two ways to live your life. One is as though nothing is a miracle. The other is as
A "cursed" container with opaque keys, usable as a static variable
cursedcontainer Please, for the love of all things good in the world, do not use this crate unless you've read the code thoroughly and understand the
Compile time static maps for Rust
Rust-PHF Documentation Rust-PHF is a library to generate efficient lookup tables at compile time using perfect hash functions. It currently uses the C
The Swiss Army Knife for Binary (In)security
binsec Swiss Army Knife for Binary (In)security binsec is a minimal static analysis utility for detecting security capabilities in ELF/PE/Mach-O execu
Xori is an automation-ready disassembly and static analysis library for PE32, 32+ and shellcode
Xori - Custom disassembly framework Xori is an automation-ready disassembly and static analysis library that consumes shellcode or PE binaries and pro
Whole program static stack analysis
cargo-call-stack Static, whole program stack analysis Other examples: Embedded CoAP / IPv4 server (source) "Hello, world!" HEADS UP: This tool relies
Most intuitive global cli maker. *(lazy_static + config-rs + clap)
argone Most intuitive global cli maker. *(lazy_static + config-rs + clap) | Examples | Docs | Latest Note | [dependencies] argone = "0.5" Phases Parsi
Create full-fledged APIs for static datasets without writing a single line of code.
ROAPI ROAPI automatically spins up read-only APIs for static datasets without requiring you to write a single line of code. It builds on top of Apache
constduck: compile-time duck typing and reflection
constduck provides a procmacro that can enable compile time duck typing and reflection on arbitrary struct types.
✨ Safe, global singletons initialized at program start
✨ magic_static Safe, global singletons initialized at program start. Usage Simply add magic_static as a dependency in your Cargo.toml to get started:
Program analysis playground for a simple, imperative language
Proggers Proggers is a program analysis playground for a simple, imperative language. Features Numerical analysis using abstract interpretation Type-c
A static website that allows a user to tap along with a beat, displaying the song's calculated tempo in beats per minute (BPM).
BPM Is A static website that allows a user to tap along with a beat, displaying the song's calculated tempo in beats per minute (BPM). Hosted at https
🐱👤 Cross-language static library for accessing the Lua state in Garry's Mod server plugins
gmserverplugin This is a utility library for making Server Plugins that access the Lua state in Garry's Mod. Currently, accessing the Lua state from a
An ultra simple static site generator designed to appeal to technical as well as non technical users.
Hulk is an ultra simple static site generator designed to appeal to both technical and non technical users.
Fast, initializable, and thread safe static variables
tagged_cell Fast, initializable, and thread safe static variables Overview Borrows the excellent ZST based tagging implementation (linked below) to gu
Static site generator written in Rust
Sedum is a static site generator written in Rust. It can be used locally or with a service like Netlify to generate websites on the fly. Usage Local P
A Blog & RSS system written in Rust based on Luke Smith's LB.
OB - Oliver's Blog Script A Blog and RSS system written in Rust. Features Converts blog entries written in Markdown into HTML. ✍🏻 Keeps a rolling blo
Membrane is an opinionated crate that generates a Dart package from a Rust library. Extremely fast performance with strict typing and zero copy returns over the FFI boundary via bincode.
Membrane is an opinionated crate that generates a Dart package from a Rust library. Extremely fast performance with strict typing and zero copy returns over the FFI boundary via bincode.
simple static file server written in Rust based on axum framework
static-server simple static file server written in Rust based on axum framework I'm learning Rust and axum. My thought is simple. axum has a static-fi
Typing the technical interview, translated from Haskell to Rust
Typing the technical interview, translated from Haskell to Rust % cargo run Finished dev [unoptimized + debuginfo] target(s) in 0.02s Running
Shisho is a lightweight static analyzer for developers.
Lightweight static analyzer for several programming languages
miniserve - a CLI tool to serve files and dirs over HTTP
🌟 For when you really just want to serve some files over HTTP right now!
The Swiss Army Knife for Binary (In)security
binsec Swiss Army Knife for Binary (In)security binsec is a minimal static analysis utility for detecting security capabilities in ELF/PE/Mach-O execu
Xori is an automation-ready disassembly and static analysis library for PE32, 32+ and shellcode
Xori - Custom disassembly framework Xori is an automation-ready disassembly and static analysis library that consumes shellcode or PE binaries and pro
Whole program static stack analysis
cargo-call-stack Static, whole program stack analysis Other examples: Embedded CoAP / IPv4 server (source) "Hello, world!" HEADS UP: This tool relies
🔎 Impossibly fast web search, made for static sites.
Stork Impossibly fast web search, made for static sites. Stork is two things. First, it's an indexer: it indexes your loosely-structured content and c
🔍TinySearch is a lightweight, fast, full-text search engine. It is designed for static websites.
tinysearch TinySearch is a lightweight, fast, full-text search engine. It is designed for static websites. TinySearch is written in Rust, and then com
the best static site generator
the best static site generator you've ever seen
ArchTest is a rule based architecture testing tool for rust
ArchTest is a rule based architecture testing tool. It applies static analyses on the specified rust project to extract use relationships.
A stack-allocated box that stores trait objects.
This crate allows saving DST objects in the provided buffer. It allows users to create global dynamic objects on a no_std environment without a global allocator.
Lust is a static image server designed to automatically convert uploaded image to several formats and preset sizes
What is Lust? Lust is a static image server designed to automatically convert uploaded image to several formats and preset sizes with scaling in mind.
A template for a Rust-powered static-page Try Online interface
rust-tio-template A template for a Rust-powered static-page Try Online interface What is included This is an example setup that enables all of the fol
Coinbase pro client for Rust
Coinbase pro client for Rust Supports SYNC/ASYNC/Websocket-feed data support Features private and public API sync and async support websocket-feed sup
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
zola (né Gutenberg) A fast static site generator in a single binary with everything built-in. Documentation is available on its site or in the docs/co
`cd` alternative. Navigate by typing abbreviation of paths.
kn /n/ kn is an alternative to cd. It lets you navigate quickly by typing abbreviations. It doesn't track frecency or any other statistics. WARNING: T
A number of collections, such as linked-lists, binary-trees, or B-Trees are most easily implemented with aliasing pointers.
StaticRc is a safe reference-counted pointer, similar to Rc or Arc, though performing its reference-counting at compile-time rather than run-time, and
Terminal-based typing test.
ttyper Ttyper is a terminal-based typing test built with Rust and tui-rs. installation With Cargo: cargo install ttyper usage For usage instructions,