ravachol70

ravachol70's Stars

• gpt-engineer-org/gpt-engineer

  Platform to experiment with the AI Software Engineer. Terminal based. NOTE: Very different from https://gptengineer.app

  Language:Python52.4k5114826.8k

• erigontech/erigon

  Ethereum implementation on the efficiency frontier https://erigon.gitbook.io

  Language:Go3.1k623.1k1.1k

• hasherezade/hollows_hunter

  Scans all running processes. Recognizes and dumps a variety of potentially malicious implants (replaced/implanted PEs, shellcodes, hooks, in-memory patches).

  Language:C2k6617254

• starkware-libs/cairo-lang

  Language:Python1.3k36131262

• drhus/awesome-identicons

  A curated list of "Visual Hashs" (Identicon, Avatar, Fractal, RandomArt and general Hash Visualization)

  23211115

• fredhohman/awesome-mathematical-notation-design

  List of links of techniques to help enhance mathematical notation

  Language:SCSS1804285

• kalidao/keep

  Tokenized multisig wallet.

  Language:Solidity17981516

• epatters/Catlab.jl

  A framework for applied category theory in the Julia language

  Language:Julia18300

• ethereum/asyncio-run-in-process

  A simple asyncio friendly replacement for multiprocessing to run coroutines in a separate process.

  Language:Python12879

• leithaus/pi4u

  A collection of papers about new models and applications of mobile process calculi

  Language:TeX12808

• pie-dao/docs

  Docs for PieDAO

  9539

• heades/substruct-logic-security-bib

  This is a bibliography of papers using substructural logics in security

  140

• ravachol70/Dsl.scala

  A framework to create embedded Domain-Specific Languages in Scala

  Language:Scala1100

• ravachol70/FoldingBrowser

  FoldingCoin & CureCoin All-In-One Installer

  Language:Visual Basic1100

• ravachol70/verifyIPFS

  Solidity library for verifying IPFS hashes

  10