Alternatives and similar repositories for make-safe-ai

Users that are interested in make-safe-ai are comparing it to the libraries listed below

• fm4se / fm-playground

  View on GitHub
  A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...
  ☆19Feb 2, 2026Updated last week
• notrashsearch / notrashsearch.github.io

  View on GitHub
  ☆12Jan 3, 2022Updated 4 years ago
• nkkav / yosys-examples

  View on GitHub
  Verilog projects for simulation and logic synthesis (Icarus Verilog, YOSYS)
  ☆22Apr 28, 2021Updated 4 years ago
• bigemon / ChatGPT-ToolBox

  View on GitHub
  由ChatGPT自己编写的ChatGPT工具箱。 当前功能: 1. 绕过高负载禁止登录 2.关闭数据监管 3.链路维持(减少网络错误) 4.API混合接入 5.会话导入导出 6.聊天记录下载 7.解锁GPT4-Mobile
  ☆2,042Aug 21, 2023Updated 2 years ago
• gavinwei121 / Jetmaker

  View on GitHub
  An easy Python framework to build distributed systems
  ☆50Sep 20, 2024Updated last year
• ricewind012 / aerothemesteam

  View on GitHub
  five hundred aeros
  ☆34Jan 12, 2026Updated last month
• MachSMT / MachSMT

  View on GitHub
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆25Apr 21, 2023Updated 2 years ago
• BiteDans / tiktok-backend

  View on GitHub
  ☆10Feb 23, 2023Updated 2 years ago
• FrancescoDiSalesGithub / Google-cloud-shell-hacking

  View on GitHub
  Hacks for a better google cloud shell experience
  ☆36Oct 15, 2024Updated last year
• Stanford-Blockchain-Club / treehouse-sdk

  View on GitHub
  Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop
  ☆13Feb 14, 2025Updated 11 months ago
• shanghai-edu / radius-1xtest

  View on GitHub
  ☆12Jul 3, 2018Updated 7 years ago
• r-vmm / R-VMM

  View on GitHub
  Resilient Virtual Machine Monitor is a complete fault tolerance solution for type-I hypervisors adopting one of the most popular VMM arch…
  ☆11Jul 30, 2020Updated 5 years ago
• ShanonPearce / ASH-Toolset

  View on GitHub
  A set of tools for headphone correction and binaural synthesis of spatial audio systems on headphones
  ☆20Feb 2, 2026Updated last week
• rettigs / clonaria

  View on GitHub
  A Terraria clone in Python, just for fun
  ☆10Jun 7, 2020Updated 5 years ago
• Zetaphor / PromptHub

  View on GitHub
  Prompt history and management for the Stable Diffusion AUTOMATIC1111 WebUI
  ☆35Mar 26, 2023Updated 2 years ago
• najaeda / naja-verilog

  View on GitHub
  A standalone structural (gate-level) verilog parser
  ☆40Feb 2, 2026Updated last week
• waylaidwanderer / node-chatgpt-api

  View on GitHub
  A client implementation for ChatGPT and Bing AI. Available as a Node.js module, REST API server, and CLI app.
  ☆4,196Jan 27, 2024Updated 2 years ago
• acheong08 / EdgeGPT

  View on GitHub
  Reverse engineered API of Microsoft's Bing Chat AI
  ☆7,948Aug 3, 2023Updated 2 years ago
• SmnTin / lincheck

  View on GitHub
  A linearizability checker for concurrent data structures
  ☆12Aug 3, 2023Updated 2 years ago
• An0nymou42 / an0nymou42.github.io

  View on GitHub
  A Github pages used to post translation patch for Chian: Mao's legacy | 关键词:中国:毛的遗产 毛的遗产 汉化补丁 界面汉化 UI汉化
  ☆13Nov 10, 2023Updated 2 years ago
• LeoLin4258 / rwkvcn-docs

  View on GitHub
  Official Chinese documentation for RWKV | RWKV官方中文文档
  ☆14Feb 6, 2026Updated last week
• aquamarine5 / QQBookExporter

  View on GitHub
  使用Puppeteer快速导出QQ阅读的内容到TXT内 Quickly export the content of book.qq.com (QQ Reading) to TXT by using puppeteer 微信读书太难导出了 不妨试试平替QQ阅读🤓
  ☆17Sep 4, 2025Updated 5 months ago
• karim-aloulou / Espitchatbot-RASA-RAVEN

  View on GitHub
  Chatbot that answers frequently asked questions in French, English, and Tunisian using the Rasa NLU framework and RWKV-4-Raven
  ☆13May 19, 2023Updated 2 years ago
• rohitgandikota / bert-qa

  View on GitHub
  This project shows the usage of hugging face framework to answer questions using a deep learning model for NLP called BERT. This work can…
  ☆11Jun 21, 2022Updated 3 years ago
• tzanis-anevlavis / cis2m

  View on GitHub
  Controlled Invariant Sets in Two Moves
  ☆14Dec 21, 2021Updated 4 years ago
• Fluidize-Inc / fluidize-python

  View on GitHub
  A Python library for building modular, reproducible simulation pipelines in minutes
  ☆32Aug 22, 2025Updated 5 months ago
• Mortalitas / GShade-Shaders

  View on GitHub
  A select subset of shaders included in the GShade project modified for use with ReShade.
  ☆13May 3, 2025Updated 9 months ago
• smilelabkaist / Hawkeye

  View on GitHub
  MobiSys '23, Hawkeye: Hectometer-range Subcentimeter Localization for Large-scale mmWave Backscatter
  ☆14Aug 8, 2023Updated 2 years ago
• kristoferB / SP

  View on GitHub
  Sequence Planner
  ☆12Nov 17, 2017Updated 8 years ago
• geeksLabTech / email-client

  View on GitHub
  Telegram Bot to Use any imap/smtp email account
  ☆12Feb 10, 2021Updated 5 years ago
• hycos / regex2smtlib

  View on GitHub
  A regular expression to SMT-LIB constraint translator
  ☆12Jul 12, 2025Updated 7 months ago
• itorr / gif2frame

  View on GitHub
  「动图拆帧」把 GIF 动图拆解成静帧的在线工具
  ☆11Feb 19, 2024Updated last year
• sm-Fifteen / SteamControllerTracker

  View on GitHub
  An offshot of the SteamControllerSigner that aims to take advantage of the SC's dual pulse channel nature
  ☆11Aug 14, 2017Updated 8 years ago
• njulug / mirrorhelp

  View on GitHub
  服务群众：给群众搭建一个南大开源镜像站的帮助文档网站。
  ☆20Dec 29, 2021Updated 4 years ago
• lanl / c2dwave

  View on GitHub
  Translate a subset of C to Verilog
  ☆11May 8, 2019Updated 6 years ago
• josephrocca / lit-encoder-js

  View on GitHub
  LiT (Zero-Shot Transfer with Locked-image text Tuning) image and text encoder models, working in the browser
  ☆11May 16, 2022Updated 3 years ago
• 123vivekr / distributed-map-reduce

  View on GitHub
  An experimental distributed map reduce system based on Google's MapReduce, written in Rust!
  ☆10Aug 3, 2022Updated 3 years ago
• keshik6 / grafting

  View on GitHub
  [NeurIPS 2025 Oral] Official Code for Exploring Diffusion Transformer Designs via Grafting
  ☆70Jan 9, 2026Updated last month
• Filarius / stable-diffusion-webui

  View on GitHub
  Stable Diffusion web UI
  ☆43Feb 17, 2023Updated 2 years ago