Giters
echo672

echo672

Geek Repo

26

followers

275

following

1k

stars

Github PK Tool:Github PK Tool

echo672's starred repositories

Friend

AI wearable necklace

Language:CLicense:MITStargazers:1267Issues:0Issues:0

OpenGlass

Turn any glasses into AI-powered smart glasses

Language:CLicense:MITStargazers:1901Issues:0Issues:0

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:PythonLicense:AGPL-3.0Stargazers:30Issues:0Issues:0

hash-based-snargs-book

Source code for "Building Cryptographic Proofs from Hash Functions"

Language:TeXStargazers:55Issues:0Issues:0

chatGPTBox

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

Language:JavaScriptLicense:MITStargazers:9633Issues:0Issues:0

HydraDXmempool

Language:JavaScriptStargazers:3Issues:0Issues:0

modern_ai_for_beginners

modern AI for beginners

Language:Jupyter NotebookStargazers:79Issues:0Issues:0

cookbook

A collection of guides and examples for the Gemini API.

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:3317Issues:0Issues:0

crewAI

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

Language:PythonLicense:MITStargazers:14703Issues:0Issues:0

self-llm

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

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:4607Issues:0Issues:0

ollama

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

Language:GoLicense:MITStargazers:68879Issues:0Issues:0

chat-ollama

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

Language:TypeScriptLicense:MITStargazers:2071Issues:0Issues:0

lora

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

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:6676Issues:0Issues:0

chatllama

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

Language:PythonStargazers:1195Issues:0Issues:0

Python-for-Finance-Cookbook

Python for Finance Cookbook, published by Packt

Language:Jupyter NotebookStargazers:701Issues:0Issues:0

Stochastic-Calculus-for-Finance-Notes

Visualization of Stochastic Calculus for Finance - Try...

Language:Jupyter NotebookStargazers:1Issues:0Issues:0

building-secure-contracts

Guidelines and training material to write secure smart contracts

Language:SolidityLicense:AGPL-3.0Stargazers:2097Issues:0Issues:0

tx-coverage

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

Language:RustStargazers:42Issues:0Issues:0

arbitrage_research

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

Language:Jupyter NotebookLicense:BSD-3-ClauseStargazers:59Issues:0Issues:0

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:PythonLicense:BSD-3-ClauseStargazers:418Issues:0Issues:0

bybit-smm

bybit simple market maker

Language:PythonLicense:MITStargazers:335Issues:0Issues:0

interactive_theorem_proving_2024

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

Language:LeanStargazers:18Issues:0Issues:0

logical_verification_2023

Hitchhiker's Guide to Logical Verification (2023 Edition)

Language:LeanStargazers:59Issues:0Issues:0

formalising-mathematics-2024

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

Language:LeanLicense:Apache-2.0Stargazers:67Issues:0Issues:0

lean-mathgirls

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

Language:LeanLicense:MITStargazers:1Issues:0Issues:0

pirate-bootcamp

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

Language:C#Stargazers:174Issues:0Issues:0

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:LeanLicense:Apache-2.0Stargazers:13Issues:0Issues:0

awesome-quant

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

Language:PythonStargazers:16348Issues:0Issues:0

volatility-trading

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

Language:PythonLicense:GPL-3.0Stargazers:1455Issues:0Issues:0

Computational-Finance-Course

Here you will find materials for the course of Computational Finance

Language:PythonLicense:BSD-3-ClauseStargazers:325Issues:0Issues:0