KetiElizbarashvili

KetiElizbarashvili's Stars

• sherlock-audit/2024-07-sense-points-marketplace

  Language:Solidity32

• makerdao/sherlock-contest

  84

• sherlock-audit/2024-04-interest-rate-model-judging

  Language:Python95

• 1inch/1inch-v2-contracts

  Language:Solidity8660

• yearn/tokenized-strategy

  Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation

  Language:Solidity10343

• Cyfrin/2024-05-Sablier

  Language:Solidity1211

• lidofinance/dual-governance

  Lido Dual Governance contracts

  Language:Solidity165

• Homebrew/brew

  🍺 The missing package manager for macOS (or Linux)

  Language:Ruby40.8k9.6k

• milvus-io/milvus

  A cloud-native vector database, storage for next generation AI applications

  Language:Go29.5k2.8k

• sherlock-audit/2024-07-sense-points-marketplace-judging

  Language:Python2

• makerdao/op-farms

  104

• nvim-treesitter/nvim-treesitter

  Nvim Treesitter configurations and abstraction layer

  Language:Scheme10.5k880

• marsfoundation/spark-psm

  Repo for the L2 PSM for swapping between stable assets and sDAI.

  Language:Solidity249

• avigad/mathematics_in_lean_source

  Source code for the Mathematics in Lean tutorial.

  Language:Lean7968

• streamlit/streamlit

  Streamlit — A faster way to build and share data apps.

  Language:Python34.6k3k

• code-423n4/2024-06-thorchain-findings

  63

• makerdao/lockstake

  Language:Solidity2112

• cilium/cilium

  eBPF-based Networking, Security, and Observability

  Language:Go19.8k2.9k

• swc-project/swc

  Rust-based platform for the Web

  Language:Rust30.9k1.2k

• marsfoundation/spark-alm-controller

  Language:Solidity41

• AccumulatedFinance/contracts-v2

  Language:Solidity42

• firezone/firezone

  Enterprise-ready zero-trust access platform built on WireGuard®.

  Language:Elixir6.7k279

• pennersr/django-allauth

  Integrated set of Django applications addressing authentication, registration, account management as well as 3rd party (social) account authentication.

  Language:Python9.4k3k

• makerdao/vote-delegate

  Language:Solidity3726

• makerdao/sdai

  A tokenized wrapper around the DSR.

  Language:Solidity3323

• dagster-io/dagster

  An orchestration platform for the development, production, and observation of data assets.

  Language:Python11.2k1.4k

• sveltejs/svelte

  Cybernetically enhanced web apps

  Language:JavaScript78.4k4.1k

• marsfoundation/spark-spells

  Spells for Spark Protocol

  Language:Solidity5825

• typesense/typesense

  Open Source alternative to Algolia + Pinecone and an Easier-to-Use alternative to ElasticSearch ⚡ 🔍 ✨ Fast, typo tolerant, in-memory fuzzy Search Engine for building delightful search experiences

  Language:C++20.6k633

• makerdao/sky

  Language:Python157