echo672

echo672's Stars

• ollama/ollama

  Get up and running with Llama 3, Mistral, Gemma, and other large language models.

  Language:Go73.5k4403.2k5.5k

• wilsonfreitas/awesome-quant

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

  Language:Python16.6k677642.5k

• joaomdmoura/crewAI

  Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.

  Language:Python16k1975422.2k

• josStorer/chatGPTBox

  Integrating ChatGPT into your browser deeply, everything you need is here

  Language:JavaScript9.7k52620717

• cloneofsimo/lora

  Using Low-rank adaptation to quickly fine-tune diffusion models.

  Language:Jupyter Notebook6.7k59137469

• datawhalechina/self-llm

  《开源大模型食用指南》基于Linux环境快速部署开源大模型，更适合**宝宝的部署教程

  Language:Jupyter Notebook5.3k5077654

• google-gemini/cookbook

  A collection of guides and examples for the Gemini API.

  Language:Jupyter Notebook3.7k5864496

• BasedHardware/OpenGlass

  Turn any glasses into AI-powered smart glasses

  Language:C2.5k4521306

• sugarforever/chat-ollama

  ChatOllama is an open source chatbot based on LLMs. It supports a wide range of language models, and knowledge base management.

  Language:TypeScript2.3k32353345

• crytic/building-secure-contracts

  Guidelines and training material to write secure smart contracts

  Language:Solidity2.1k3688332

• BasedHardware/Friend

  AI wearable necklace

  Language:C1.9k3874180

• jasonstrimpel/volatility-trading

  A complete set of volatility estimators based on Euan Sinclair's Volatility Trading

  Language:Python1.5k8221350

• juncongmoo/chatllama

  ChatLLaMA 📢 Open source implementation for LLaMA-based ChatGPT runnable in a single GPU. 15x faster training process than ChatGPT

  Language:Python1.2k198137

• PacktPublishing/Python-for-Finance-Cookbook

  Python for Finance Cookbook, published by Packt

  Language:Jupyter Notebook7023814259

• hudson-and-thames/arbitragelab

  ArbitrageLab is a python library that enables traders who want to exploit mean-reverting portfolios by providing a complete set of algorithms from the best academic journals.

  Language:Python436144137

• beatzxbt/bybit-smm

  bybit simple market maker

  Language:Python360154112

• LechGrzelak/Computational-Finance-Course

  Here you will find materials for the course of Computational Finance

  Language:Python325110119

• solana-developers/pirate-bootcamp

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

  Language:C#18676116

• hash-based-snargs-book/hash-based-snargs-book

  Source code for "Building Cryptographic Proofs from Hash Functions"

  Language:TeX966415

• chunhuizhang/modern_ai_for_beginners

  modern AI for beginners

  Language:Jupyter Notebook833

• ImperialCollegeLondon/formalising-mathematics-2024

  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

  Language:Lean766022

• hudson-and-thames/arbitrage_research

  Jupyter Notebook examples on how to use the ArbitrageLab - pairs trading - python library.

  Language:Jupyter Notebook605037

• blanchette/logical_verification_2023

  Hitchhiker's Guide to Logical Verification (2023 Edition)

  Language:Lean592212

• Decurity/tx-coverage

  Reveal unused code of a live smart contract by collecting coverage from historical transactions.

  Language:Rust47222

• Zellic/solidity-parser

  Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.

  Language:Python351

• blanchette/interactive_theorem_proving_2024

  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024

  Language:Lean181

• hhu-adam/Robo

  A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪

  Language:Lean138

• TheOyster/HydraDXmempool

  Language:JavaScript31

• bobcatzoo/Stochastic-Calculus-for-Finance-Notes

  Visualization of Stochastic Calculus for Finance - Try...

  Language:Jupyter Notebook10

• chenjulang/lean-mathgirls

  Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.

  Language:Lean10