Pinned Loading

1. arbiter arbiter Public

   Open-source framework for formally verifying academic paper claims using multi-agent LLM debate + Z3/Knuckledragger proof certificates. Supports OpenAI, Anthropic, Google, Grok.

   Python

2. QueueStar-public QueueStar-public Public

   AI-powered music blending platform that creates perfect playlists by intelligently combining music tastes between friends.

   TypeScript

3. CreditCardFraudDetectionGAN CreditCardFraudDetectionGAN Public

   This project utilizes Generative Adversarial Networks (GANs) to tackle the problem of credit card fraud detection. GANs are a powerful deep learning technique that can be used for generating synthe…

   Python 13 3

4. bridge-eth-to-bsc bridge-eth-to-bsc Public

   Research project showcasing smart contract interoperability between Ethereum and Binance Smart Chain (BSC) using Truffle and Ganache CLI. Designed as a bridge test to demonstrate cross-chain functi…

   JavaScript

5. React-Website-Generator React-Website-Generator Public

   Generate and run React applications by providing prompts to GPT-4. This combines the power of natural language processing with web development to streamline the creation of React apps. The project …

   Python 1