FaffyWaffles

FaffyWaffles's starred repositories

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.0438700

lean3

Lean Theorem Prover

Language:C++Apache-2.0214400

MapOfPhysics

A visual representation of physical equations and their variables, showcasing their interrelationships using an interactive force-directed dependency graph.

Language:JavaScriptApache-2.0100

riemann-staircase

Notebooks for computing approximations to the prime counting function using Riemann's formula.

Language:Jupyter NotebookApache-2.0500

punchlines-ai

AI joke generation

Language:TypeScript5400

Fox-Engine

Image compositing software targeted at artists for advanced doll making and similar applications.

Language:JavaNOASSERTION200

ChatDev

Create Customized Software using Natural Language Idea (through LLM-powered Multi-Agent Collaboration)

Language:ShellApache-2.02488200

KDTree

Fast KDTree for Unity, with thread-safe querying.

Language:C#MIT51800

stanford_alpaca

Code and documentation to train Stanford's Alpaca models, and generate the data.

Language:PythonApache-2.02928400

chatbot-ui

AI chat for every model.

Language:TypeScriptMIT2791100

transformers

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

Language:PythonApache-2.013083900

AutoGPT

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Language:PythonMIT16593900