27 Repositories
Rust automatic-differentiation Libraries
Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.
Lean Graph Interactive visualization of dependencies for any theorem/definitions in your Lean project. How to use In your browser: lean-graph.com Or r
Automatic HTTPS certificates for trillium.rs, via Let's Encrypt and ACME tls-alpn-01 challenges
trillium-acme helps you serve HTTPS with Trillium using automatic certificates, via Let’s Encrypt and ACME tls-alpn-01 challenges. To use trillium-acm
Automatic application-aware keyboard layer switching for Windows
komokana Automatic application-aware keyboard layer switching for Windows About komokana is a daemon that listens to events emitted by komorebi and co
The Honkers Railway launcher for Linux with automatic patching and telemetry disabling
The Honkers Railway launcher for Linux with automatic patching and telemetry disabling
Honkers launcher for Linux with automatic patching and telemetry disabling
Honkers launcher for Linux with automatic patching and telemetry disabling
FileSorterX is an automatic file sorting application that sorts your files into folders based on their file extension
FileSorterX is an automatic file sorting application that sorts your files into folders based on their file extension. With FileSorterX, you can easily keep your files organized and find what you need quickly.
A simple made in Rust crack, automatic for Winrar, activated from shared virtual memory, for studies.
Simple Winrar Crack in Rust What does it do ? A simple project that allows you to modify the license check used by WinRaR, "RegKey" from virtual memor
Simple, automatic, and customizable tree pretty-printing in Rust.
display_tree Simple, automatic, and customizable tree pretty-printing in Rust. This crate provides tools to easily pretty-print data as a tree, includ
Automatic wallpaper downloader of posters of your favorite movies and TV shows via TMDb.
Wallpaperflix Automatic wallpaper downloader of posters of your favorite movies and TV shows via TMDb. Prerequisities https://tauri.app/v1/guides/gett
Automatic differentiation in pure Rust.
Niura is an automatic differentiation library written in Rust. Add niura to your project [dependencies] niura = { git = "https://github.com/taminki/n
💣 SMH – a computer vision project for automatic, precision mortar strike calculations in Squad
💣 Squad Mortar Helper (SMH) SMH is a computer vision toy project aimed at automating mortar calculations in the game Squad Download demo.mp4 Requirem
CBOR (binary JSON) for Rust with automatic type based decoding and encoding.
THIS PROJECT IS UNMAINTAINED. USE serde_cbor INSTEAD. This crate provides an implementation of RFC 7049, which specifies Concise Binary Object Represe
wrap errors with automatic backtrace capture and print-on-result-unwrap
backtrace-error This is a tiny crate that provides a tiny error-wrapper struct BacktraceError with only two features: Captures a backtrace on From-con
Rust Auto-Differentiation.
RustAD - Rust Auto-Differentiation A super restrictive rough WIP beginnings of a library attempting to implement auto-differentiation in Rust. forward
Automatically updates your Cloudflare DNS records for specific zones. Especially useful if you have dynamic IP address
Cloudflare DNS updater What does it do? Cloudflare DNS updater updates specified dns records for specified zones effortlessly and automatically. It wa
Magical Automatic Deterministic Simulator for distributed systems in Rust.
MadSim Magical Automatic Deterministic Simulator for distributed systems. Deterministic simulation MadSim is a Rust async runtime similar to tokio, bu
A neural network, and tensor dynamic automatic differentiation implementation for Rust.
Corgi A neural network, and tensor dynamic automatic differentiation implementation for Rust. BLAS The BLAS feature can be enabled, and requires CBLAS
Generic Automatic Differentiation library for Rust (aka "autograd")
GAD: Generic Automatic Differentiation for Rust This project aims to provide a general and extensible framework for tape-based automatic differentiati
Automatically deploy from GitHub to Replit, lightning fast ⚡️
repl.deploy Automatically deploy from GitHub to Replit, lightning fast ⚡️ repl.deploy is split into A GitHub app, which listens for code changes and s
Simple and handy btrfs snapshoting tool. Supports unattended snapshots, tracking, restoring, automatic cleanup and more. Backed with SQLite.
Description Simple and handy btrfs snapshoting tool. Supports unattended snapshots, tracking, restoring, automatic cleanup and more. Backed with SQLit
High-performance automatic differentiation of LLVM.
The Enzyme High-Performance Automatic Differentiator of LLVM Enzyme is a plugin that performs automatic differentiation (AD) of statically analyzable
Tensors and differentiable operations (like TensorFlow) in Rust
autograd Differentiable operations and tensors backed by ndarray. Motivation Machine learning is one of the field where Rust lagging behind other lang
Automatic HTTPS certificates for Tide, via Let's Encrypt and ACME tls-alpn-01 challenges
tide-acme helps you serve HTTPS with Rust and Tide using automatic certificates, via Let's Encrypt and ACME tls-alpn-01 challenges. Documentation To u
Valheim Docker powered by Odin. The Valheim dedicated gameserver manager which is designed with resiliency in mind by providing automatic updates, world backup support, and a user friendly cli interface.
Valheim Docker If you are looking for a guide on how to get started click here Mod Support! It is supported to launch the server with BepInEx but!!!!!
:large_orange_diamond: Build beautiful terminal tables with automatic content wrapping
Comfy-table Comfy-table tries to provide utility for building beautiful tables, while being easy to use. Features: Dynamic arrangement of content to a
:rocket: Automatic crate publishing done right
semantic-rs The purpose of this tool is to help people to publish crates following the semver specification. Right now if you're building a new crate
Semi-automatic OSINT framework and package manager
sn0int sn0int (pronounced /snoɪnt/) is a semi-automatic OSINT framework and package manager. It was built for IT security professionals and bug hunter