221 Open source projects that are alternatives of or similar to Unload

A Livesplit-inspired speedrunning split timer for Linux/macOS terminal. Supports global hotkeys.

A version of LiveSplit that works on a lot of platforms.

A speedrunning timer for macOS

A pluggable django application that adds the ability for users to flag(or report) your models.

🤖 | Hi, I'm zuly, a brazilian bot! Focused on animes!

Verified, concurrent, crash-safe transaction system

Home of the Move programming language

Software for verifying weather forecasts

A @discord bot that has lots of features 🥭

Docker container for creating valid local ssl certificates

A simple discord anti spam node.js module to prevent spam on your discord server

Compilation and Verification of Data-Centric Languages

Fully verified model checker for realtime systems

A fast SAT solver

Verify code input. You can create a verify code input.

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

A cool multipurpose discord bot built using discord.js v13 with moderation, music, ticketing, translation, and much more

A simple bot to handle reports from users in your chat

The world's most advanced security and moderation bot for Discord.

Performant time measuring in Rust

Twitch chat bot

🤖About A fully customizable bot built with discord.js

Discord bot for the Programming server

WAL enables programmable waveform analysis.

Suite of tools for retrieving USGS NWIS observations and evaluating National Water Model (NWM) data.

PHP based user registration system. Built using CodeIgniter and Bootstrap. Has token based verification, password reset functionality, login page, register page and more.

🔑 Helper class to verify one's identity via personal channels(SMS, Phone, E-Mail and more!)

Arduino 'port' of the elapsedMillis library

A Discord bot developed in JavaScript using the discord.js library.

the best discord bot

A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.

[Deprecated] Typescript-version of the IN3 client.

The best possible way to verify and validate an email address.

Neural Network Verification Software Tool

Build trust into your image by creating a blockchain certificate for it

A cool helper for tracking time and throughput of code blocks, with beautiful human friendly renditions.

Using Nim to interface with SystemVerilog test benches via DPI-C

🛠️ A Discord bot that focuses on managing large servers

Customisable OTP view and Passcode view

SyReNN: Symbolic Representations for Neural Networks

generative programming & verification

Kokkos C++ Performance Portability Programming EcoSystem: Profiling and Debugging Tools

Main repository of the Vigor NF verification project.

This library enables you to use Interrupt from Hardware Timers on an SAMD-based board. These SAMD Hardware Timers, using Interrupt, still work even if other functions are blocking. Moreover, they are much more precise (certainly depending on clock frequency accuracy) than other software timers using millis() or micros(). That's mandatory if you …

A formally verified high-level synthesis tool based on CompCert and written in Coq.

Fact Extraction and VERification baseline published in NAACL2018

Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).

Firebase Spring Boot Rest API Authentication

验证码 && 密码 校验View（类似于支付宝、网商银行等密码校验框）

Pretty tiny Scheduler or ptScheduler is an Arduino library for writing non-blocking periodic tasks easily.

Development of the CafeOBJ interpreter

A UI/UX redesign of the popular Twitch-bot PhantomBot

Repl.it Discord security bot, ready to srop crime!

This repo contains the artifact for our SOSP'19 paper on Serval

"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.

Hagelslag is an object-based severe storm hazard forecasting system.

VATA Tree Automata Library

PCIe (1.0a to 2.0) Virtual host model for verilog

PCSX2-rr - The Playstation 2 Emulator with TAS Tools (Now Merged into PCSX2 Core!)

An NPM package to generate captcha images that can be used in Discord bots or various other projects