Make websites accessible for AI agents

An AI Hedge Fund Team

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

An extremely fast Python package and project manager, written in Rust.

LLM code

Versatile typeface for code, from code.

Free, open source crypto trading bot

🔬 A curated list of awesome LLMs & deep learning strategies & tools in financial market.

A JavaScript / TypeScript / Python / C# / PHP cryptocurrency trading API with support for more than 100 bitcoin/altcoin exchanges

A collection of LLM papers, blogs, and projects, with a focus on OpenAI o1 🍓 and reasoning techniques.

Let your Claude able to think

Grok open release

A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems

A pirate-theme bootcamp for getting up to speed on Solana programming!

Lean 4 programming language and theorem prover

Research programming language for concurrent ownership

A simple LLM client for Emacs

A Blender add-on that helps the user to compose a scene for thermal analysis and rendering in Stardis

Draft mechanized soundness proof for variants of the capture calculus

Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑‍🔬

A list of nice restaurants in Edinburgh

Run PyTorch LLMs locally on servers, desktop and mobile

my thesis

A curated list of insanely awesome libraries, packages and resources for Quants (Quantitative Finance)

A study in equalities