Interactive Mathematica notebooks illustrating the course content of VE401, Probabilistic Methods in Engineering at UM-SJTU Joint Institute.
☆13Nov 10, 2022Updated 3 years ago
Alternatives and similar repositories for VE401-recitation-class
Users that are interested in VE401-recitation-class are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11May 19, 2022Updated 4 years ago
- Ray tracing on the Ethereum Virtual Machine☆12May 5, 2021Updated 5 years ago
- ☆11May 10, 2022Updated 4 years ago
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Jul 30, 2022Updated 4 years ago
- This repository contains research papers & studies that I have worked on or am currently working on.☆15Aug 10, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 粤港澳大湾区金融数学建模一等奖(量化模型的建立)☆19Feb 14, 2021Updated 5 years ago
- The standard for an L2 block explorer API☆11Jul 19, 2023Updated 3 years ago
- EVM Toolkit language support for Visual Studio Code☆18Sep 10, 2022Updated 3 years ago
- Gather blocks and headers from an ethers provider☆17Oct 6, 2022Updated 3 years ago
- Shield your initial Uniswap liquidity from malicious actors☆16Nov 10, 2021Updated 4 years ago
- MonoX被攻击事件的分析和复现☆10Dec 2, 2021Updated 4 years ago
- Anyswap aka Multichain V4Router 攻击事件的分析和复现☆11Feb 15, 2022Updated 4 years ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated 2 years ago
- Ethereum transaction decoder (community version).☆14Aug 27, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Collection of Reverse Engineering in Large Model☆35Jan 8, 2025Updated last year
- ERC-4337 (Account Abstraction)☆10Aug 5, 2023Updated 3 years ago
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 4 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 3 years ago
- An arbitrage bot that executes automated trading strategies between Perpetual Protocol and FTX☆13Jun 6, 2021Updated 5 years ago
- A not so succinct comparison (with numbers) between zkVMs (Q4 2024 edition)☆19Nov 7, 2024Updated last year
- ICLR'22 Programmatic Reinforcement Learning☆17Apr 15, 2023Updated 3 years ago
- Solythesis: Securing Smart Contract with Runtime Validation☆13Mar 3, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- D-DALLE brings together the world’s artist creativity using AI and Blockchain. D-DALLE's smart contracts constitute a fully-functional ar…☆14Jul 22, 2026Updated 3 weeks ago
- A curated list of blockchain resources for embedded developers☆13Nov 29, 2021Updated 4 years ago
- Simulate local transactions with Tenderly through hardhat☆23Oct 10, 2021Updated 4 years ago
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆24May 11, 2021Updated 5 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 4 years ago
- ☆28Oct 29, 2021Updated 4 years ago
- Arbitrage liquidity pools across two different AMMs with flashloans☆19Jan 21, 2022Updated 4 years ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆23Mar 31, 2023Updated 3 years ago
- ☆11Jan 14, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A set of tools for use with the huff language.☆21Jun 24, 2022Updated 4 years ago
- ☆18May 7, 2026Updated 3 months ago
- Vyper version manager☆28Feb 6, 2025Updated last year
- ☆15Aug 29, 2023Updated 2 years ago
- GitHub Skyline Alternative.☆20Oct 28, 2024Updated last year
- Sample data for Sindri Labs' Forge API☆22Mar 11, 2025Updated last year
- ☆22May 18, 2022Updated 4 years ago