Giters
echo672

echo672

Geek Repo

26

followers

275

following

1k

stars

Github PK Tool:Github PK Tool

echo672's starred repositories

pirate-bootcamp

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

Language:C#Stargazers:192Issues: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:15Issues:0Issues:0

awesome-quant

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

Language:PythonStargazers:16660Issues:0Issues:0

volatility-trading

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

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

Computational-Finance-Course

Here you will find materials for the course of Computational Finance

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

QuantFinanceBook

Quantitative Finance book

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

Courses_in_ML_DL5

Courses_in_ML_DL5

Stargazers:6Issues:0Issues:0

JARVIS

JARVIS, a system to connect LLMs with ML community. Paper: https://arxiv.org/pdf/2303.17580.pdf

Language:PythonLicense:MITStargazers:23268Issues:0Issues:0

amms-rs

A Rust library to interact with automated market makers across EVM chains.

Language:RustStargazers:375Issues:0Issues:0

openevm

Open Ethereum Virtual Machine - Knowledgebase, Documentation, etc

Language:HTMLStargazers:48Issues:0Issues:0

compendium

The Greatest Collection of anything related to finance and crypto

Language:Jupyter NotebookLicense:UnlicenseStargazers:192Issues:0Issues:0

ethereum-staking-guides

Ethereum Staking Guides

License:LGPL-3.0Stargazers:305Issues:0Issues:0

Secureum-Book

Language:TeXStargazers:46Issues:0Issues:0

halmos

A symbolic testing tool for EVM smart contracts

Language:PythonLicense:AGPL-3.0Stargazers:727Issues:0Issues:0

uni-v4-core-flashloans

Simple Uniswap V4 Flashloan Receiver

Language:SolidityStargazers:77Issues:0Issues:0

v4-core

🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4

Language:SolidityLicense:NOASSERTIONStargazers:1849Issues:0Issues:0

foundry-full-course-f23

License:GPL-3.0Stargazers:2767Issues:0Issues:0

Web3-Security-Library

Information about web3 security and programming tutorials/tools

Stargazers:1689Issues:0Issues:0

smart-contract-audits

Collection of different smart contract security audits I performed.

Stargazers:35Issues:0Issues:0

formal-proofs

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

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

Language:TypeScriptLicense:MITStargazers:318Issues:0Issues:0

AnkiBrain

Language:PythonStargazers:123Issues:0Issues:0

starcoder2

Home of StarCoder2!

Language:PythonLicense:Apache-2.0Stargazers:1564Issues:0Issues:0

formalisms_every_computer_scientist_should_know

Formalisms Every Computer Scientist Should Know course at ISTA 2023

Language:TeXLicense:UnlicenseStargazers:4Issues:0Issues:0

fecssk

Formalisms Every Computer Scientist Should Know (course at ISTA)

Language:LeanLicense:UnlicenseStargazers:12Issues:0Issues:0

lean4-tutorial

Supplementary material for Thomas Henzinger's course Formalisms Every Computer Scientist Should Know

Language:LeanLicense:UnlicenseStargazers:3Issues:0Issues:0

keras-llm-robot

A web UI Project In order to learn the large language model. This project includes features such as chat, quantization, fine-tuning, prompt engineering templates, and multimodality.

Language:PythonLicense:Apache-2.0Stargazers:192Issues:0Issues:0

vocabsieve

Simple sentence mining tool for language learning

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

simple-spaced-repetition

Simple spaced repetition scheduler based on the classic Anki algorithm.

Language:PythonLicense:MITStargazers:29Issues:0Issues:0

modern-cloze-overlapper

Modern Cloze Overlapper for Anki

Language:JavaScriptLicense:AGPL-3.0Stargazers:7Issues:0Issues:0