shaunazzopardi

shaunazzopardi's Stars

• kamranahmedse/developer-roadmap

  Interactive roadmaps, guides and other educational content to help developers grow in their careers.

  Language:TypeScript297k6.8k2.5k39.1k

• OAI/OpenAPI-Specification

  The OpenAPI Specification Repository

  Language:Markdown29k8432.2k9.1k

• kamranahmedse/driver.js

  A light-weight, no-dependency, vanilla JavaScript engine to drive user's focus across the page

  Language:TypeScript22.8k2003391k

• dwyl/english-words

  :memo: A text file containing 479k English words for all your dictionary/word-based projects e.g: auto-completion / autosuggestion

  Language:Python10.6k2071261.8k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.3k1815.5k1.5k

• daviddao/awful-ai

  😈Awful AI is a curated list to track current scary usages of AI - hoping to raise awareness

  7k30229232

• haifengl/smile

  Statistical Machine Intelligence & Learning Engine

  Language:Java6k2706141.1k

• ewasm/design

  Ewasm Design Overview and Specification

  1k8299125

• Samsung/jalangi2

  Dynamic analysis framework for JavaScript

  Language:JavaScript43331114119

• verifast/verifast

  Research prototype tool for modular formal verification of C and Java programs

  Language:Rust3572625963

• soot-oss/heros

  IFDS/IDE Solver for Soot and other frameworks

  Language:Java231222486

• input-output-hk/marlowe

  Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

  Language:Isabelle172347343

• dsyer/spring-boot-aspectj

  Sample applications showing how to use AspectJ with Spring Boot

  Language:Java16810652

• dacapobench/dacapobench

  The DaCapo benchmark suite

  Language:Java160625660

• PeterBorah/ether-router

  Upgradeable smart contracts on Ethereum

  Language:JavaScript10510113

• rohanpadhye/vasco

  An inter-procedural data-flow analysis framework using value-based context sensitivity

  Language:Java88111235

• jayhorn/jayhorn

  Static checker for Java

  Language:Java841311220

• jp-um/university_of_malta_LaTeX_dissertation_template

  A modern, highly configurable assignment/project/fyp/dissertation/thesis template.

  Language:TeX716929

• lorisdanto/symbolicautomata

  Library for symbolic automata and symbolic visibly pushdown automata

  Language:Java6310625

• elastest/elastest

  An elastic platform to ease end to end testing

  3614271

• jacobkrantz/Simple-HOHMM

  High Order Hidden Markov Model for accurate sequence classification.

  Language:Python27105

• shaunazzopardi/solidity-cfg-builder

  A control-flow graph builder for Solidity smart contracts.

  Language:Haskell26363

• sogoiii/onchain-offchain-example

  Language:JavaScript9203

• Ring-of-Ethereum-Architects/knowledge

  our work results and work process (see wiki)

  7403

• sigcnl/sigcnl.github.io

  Website

  Language:CSS7902

• Sable/clara

  Clara (CompiLe-time Approximation of Runtime Analyses)

  Language:Java5202

• thisisdhaas/moveproofs

  Latex package for auto-moving proofs to the appendix of a document.

  Language:TeX5231

• w12-platform/W12-Product-Blockchain-User-Interfaces

  The W12 protocol is designed to be easily integrated into any existing business, platform or organization. In addition, W12 provides a token sale platform, through which projects can sell their tokens and easily launch fundraising campaigns based on the W12 protocol.

  Language:Vue3604

• Hokid/declaration-of-love-contract

  Declaration of love contract

  Language:JavaScript1200

• soupwaylee/androguard

  Reverse engineering, Malware and goodware analysis of Android applications ... and more (ninja !)

  Language:Python1200