fierybean

fierybean's Stars

• hwayne/lets-prove-leftpad

  Proving leftpad correct two-dozen different ways

  Language:SystemVerilog65162

• chapyter/chapyter

  Chapyter: ChatGPT Code Interpreter in Jupyter Notebooks

  Language:Python82370

• ComposableSecurity/SCSVS

  Smart Contract Security Verification Standard

  45350

• kyessenov/poirot

  Alloy for security

  Language:Ruby103

• Fault-lang/Fault

  a language for building system dynamic models

  Language:Go1666

• satellitecomponent/Neurite

  Fractal Graph-of-Thought. Rhizomatic Mind-Mapping for Ai-Agents, Web-Links, Notes, and Code.

  Language:JavaScript1.2k105

• assafelovic/gpt-researcher

  LLM based autonomous agent that conducts local and web research on any topic and generates a comprehensive report with citations.

  Language:Python15.1k2k

• IntelligenzaArtificiale/Free-Auto-GPT

  Free Auto GPT with NO paids API is a repository that offers a simple version of Auto GPT, an autonomous AI agent capable of performing tasks independently. Unlike other versions, our implementation does not rely on any paid OpenAI API, making it accessible to anyone.

  Language:Python2.5k384

• bym-refitted/backyard-monsters-refitted

  The Backyard Monsters preservation project 🎮

  Language:ActionScript6118

• haslab/Alloy4Fun

  A webapp for developing and sharing Alloy models

  Language:JavaScript224

• crytic/medusa

  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

  Language:Go30841

• OpenCoreCH/smart-contract-auditing-heuristics

  Heuristics for smart contract auditors

  57754

• microsoft/nni

  An open source AutoML toolkit for automate machine learning lifecycle, including feature engineering, neural architecture search, model compression and hyper-parameter tuning.

  Language:Python14.1k1.8k

• tky823/audio_source_separation

  An implementation of audio source separation tools.

  Language:Jupyter Notebook7822

• stefan-jansen/machine-learning-for-trading

  Code for Machine Learning for Algorithmic Trading, 2nd edition.

  Language:Jupyter Notebook13.5k4.3k

• JohnSnowLabs/spark-nlp-workshop

  Public runnable examples of using John Snow Labs' NLP for Apache Spark.

  Language:Jupyter Notebook1k603

• mido/mido

  MIDI Objects for Python

  Language:Python1.4k219

• cheat-sheets/the-laws-of-human-nature-cheat-sheet

  Summary of The Laws of Human Nature by Robert Greene

  387

• apmcleod/voice-splitting

  A Java project which is able to split MIDI performance data into monophonic voices.

  Language:Java211

• apmcleod/MV2H

  An automatic, joint, quantitative metric for complete transcription of polyphonic music.

  Language:Java163

• magenta/mt3

  MT3: Multi-Task Multitrack Music Transcription

  Language:Python1.4k190

• LEERAYX/Multi-label-text-classification

  Language:Python42

• fravoll/solidity-patterns

  A compilation of patterns and best practices for the smart contract programming language Solidity

  Language:Solidity3.2k519

• kennethleungty/Failed-ML

  Compilation of high-profile real-world examples of failed machine learning projects

  71947

• ethereum/EIPs

  The Ethereum Improvement Proposal repository

  Language:Python12.9k5.3k

• eveem-org/panoramix

  Decompiler at the heart of Eveem.org

  Language:Python863493

• opencelium/opencelium

  OpenCelium is a web-based open source smart business service bus system that easily exchanges data between systems.

  Language:TypeScript111

• blockscout/blockscout

  Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.

  Language:Elixir3.7k2.4k

• epfl-scistimm/2021-IEEE-Blockchain

  Data for the paper "Networks of Ethereum Non-Fungible Tokens: A graph-based analysis of the ERC-721 ecosystem"

  41

• batokio/GraphML-Anomaly-detection-Ethereum-Network

  Anomaly detection in the Ethereum network

  Language:Jupyter Notebook12