Pinned Repositories
LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
babyagi-asi
BabyAGI: an Autonomous and Self-Improving agent, or BASI
best-practices
This is a fork of timoxley - Tidbits of best practices information from around the web
btce-api
Python wrapper around the public and trading APIs of BTC-e.com
btcelib
Small python library providing access to Bitcoin Exchange APIs, allowing retrieval of orderbooks, tickers and transaction histories in JSON format.
gptsec
Make ML more secure.
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
mathplatform
AI with tool integrations to assist mathematicians
quantummath
riccitensor's Repositories
riccitensor/Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
riccitensor/gptmusic
riccitensor/babyagi-asi
BabyAGI: an Autonomous and Self-Improving agent, or BASI
riccitensor/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
riccitensor/mathplatform
AI with tool integrations to assist mathematicians
riccitensor/quantummath
riccitensor/adversarial-robustness-toolbox
Adversarial Robustness Toolbox (ART) - Python Library for Machine Learning Security - Evasion, Poisoning, Extraction, Inference - Red and Blue Teams
riccitensor/Awesome-FARSPEAK
riccitensor/ColossalAI
Making large AI models cheaper, faster and more accessible
riccitensor/conpot
ICS/SCADA honeypot
riccitensor/debate
Formalizing stochastic doubly-efficient debate
riccitensor/deeppattern
riccitensor/equational_theories
A project to map out the relations between different equational theories of Magmas.
riccitensor/farspeak-cli55
riccitensor/farspeak-js
Javascript client for Farspeak. AI toolkit for app development.
riccitensor/gitmind
AI powered Git repository analysis and reporting
riccitensor/GPT-3PO
riccitensor/gptdeploy
One line to create them all
riccitensor/gpthardware
riccitensor/LlamaChat
Chat with your favourite LLaMA models in a native macOS app
riccitensor/m1n1
A bootloader and experimentation playground for Apple Silicon
riccitensor/micro-agent
A tiny implementation of an autonomous agent powered by LLMs (OpenAI GPT-4)
riccitensor/mlops-on-gcp
riccitensor/Mobile-app-landingpage-template
📱 Free to use static generated website template for your mobile app
riccitensor/nextjs-example
riccitensor/PetGPT
Train your own PetGPT at home!
riccitensor/reflexion-human-eval
riccitensor/riccitensor
riccitensor/traversecone
riccitensor/vampirellm