mojtaba-eshghie

Mojtaba Eshghie's starred repositories

unsloth

Finetune Llama 3.2, Mistral, Phi, Qwen & Gemma LLMs 2-5x faster with 80% less memory

Language:PythonApache-2.017919 123 968

microservices-demo

Sample cloud-first application with 10 microservices showcasing Kubernetes, Istio, and gRPC.

Language:GoApache-2.016941 234 394

sympy

A computer algebra system written in pure Python

Language:PythonNOASSERTION12975 291 13318

jupyterhub

Multi-user server for Jupyter notebooks

Language:PythonNOASSERTION7795 266 2435

An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months between releases.

Language:CNOASSERTION5517 209 4017

CodeBERT

Language:PythonMIT2239 39 298

safe-smart-account

Safe allows secure management of blockchain assets.

Language:TypeScriptLGPL-3.01869 48 307

spoon

Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

Language:JavaNOASSERTION1752 59 1705

JPlag

State-of-the-Art Source Code Plagiarism & Collusion Detection

Language:JavaGPL-3.01420 26 295

symbolicai

Compositional Differentiable Programming Library

Language:PythonBSD-3-Clause976 22 13

multicall

Multicall: Aggregate multiple constant function call results into one

Language:SolidityMIT968 6 249

execution-specs

Specification for the Execution Layer. Tracking network upgrades.

Language:PythonCC0-1.0854 47 403

claripy

An abstraction layer for constraint solvers.

Language:PythonBSD-2-Clause290 23 116

goevmlab

Evm laboratory

Language:GoLGPL-3.0245 6 42

Deckard

Code clone detection; clone-related bug detection; sematic clone analysis

Language:CNOASSERTION211 16 26

teether

Language:PythonApache-2.0135 5 21

storage-layout

readable evm state diffs, enumerate full contract storage

Language:Python133 4 1

storage-layout-extractor

A tool that performs extraction of storage layouts based on EVM bytecode.

Language:RustAGPL-3.0129 7 52

crew

A distributed worker launcher

Language:RNOASSERTION127 8 123

GitHubGPT

GitHubGPT: ChatGPT Plugin for Reading GitHub Repository

Language:PythonMIT46 3 2

LangCode

LangCode - Improving alignment and reasoning of large language models (LLMs) with natural language embedded program (NLEP).

Language:PythonMIT40 60

protocol-security

13 40

self-repair

[ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?

Language:Python13 1 2

attackDB

Language:Solidity8 20

PreDi

PreDi: Semantic Solidity Predicate Difference Tool

Language:Jupyter NotebookMIT4 2 17

SoliDiffy

SoliDiffy: AST-Based Code Differencing Tool for Solidity Smart Contracts

Language:Jupyter Notebook4 2 13

solidity-hack-labs

Repository to store our work on recreating attacks for smart contracts

Language:SolidityMIT2 10 20

dapp-data

Language:Jupyter NotebookCC0-1.02 20

InvPurge

InvPurge refines, prunes, and optimizes invariants from various smart contract analysis tools, enhancing the accuracy and efficiency of smart contract verification and repair.

MIT200

XploGen

ExploGen: Oracle-based Vulnerability Diversification and Exploit Generation for Smart Contracts

Language:SolidityMIT2 1 3