Stars
This repository contains the code and data for the paper "SelfIE: Self-Interpretation of Large Language Model Embeddings" by Haozhe Chen, Carl Vondrick, and Chengzhi Mao.
Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.
ChatDev 2.0: Dev All through LLM-powered Multi-Agent Collaboration
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
HAAS = Hierarchical Autonomous Agent Swarm - "Resistance is futile!"
Code for the ICLR 2024 paper "How to catch an AI liar: Lie detection in black-box LLMs by asking unrelated questions"
Monadic execution contexts for topology organization
cryptonotefoundation / cryptonote
Forked from amjuarez/bytecoinCryptoNote protocol implementation. This is the reference repository for starting a new CryptoNote currency. See /src/cryptonote_config.h
Analyze and reproduce attack events or vulnerabilities in the blockchain world.
Quadratic voting system with smart contract help
How the Web3 reinvents the Internet - Copyleft 2020, Shermin Voshmgir: Creative Commons – CC BY-NC-SA
ERC721(NFT) token exchange. There are 3 types of order. Dutch auction, English auction, Fixed price order.
A smart contract that lets people buy or sell a TOK token from it, using another ERC20 token. The contract holds the total amount of tokens received in exchange for all bought TOK tokens and accept…
PowerAPI is a Python framework for building software-defined power meters.
The development repository for LessWrong2 and the EA Forum, based on Vulcan JS
Store a snapshot of a website on the blockchain—forever
Open Directory App and Protocol for Bitcoin (SV)
A web app that help users pick their next insta-vacation destinations.
Frontend React application with smart contracts for running the Atlas DeFi platform locally.
SquatSmart - Your virtual squat spotter
FasTack can be used to optimize sailboat routes based on wind data using reinforcement learning with value iteration and value iteration with Q-learning.