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:
- An unofficial Wiki for UM-SJTU JI Dual-Degree Program.☆17Mar 27, 2023Updated 3 years ago
- Analysis of anonymous grades retrieved by all JI students, among the courses with the same course id in different sections and academic y…☆61Mar 28, 2024Updated 2 years ago
- A 2D game engine for Elm☆26Jun 21, 2026Updated last month
- Course materials and self-written lab/hw solutions for the course Intro. to Operating System (VE482-20FA) at UMJI.☆17Oct 10, 2022Updated 3 years ago
- ☆38Oct 18, 2023Updated 2 years ago
- 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.
- personal notes (30k loc)☆13Updated this week
- 2020 密院git workshop资料☆12Mar 18, 2020Updated 6 years ago
- ☆11May 19, 2022Updated 4 years ago
- P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF☆11May 20, 2024Updated 2 years ago
- CIFAR10 ResNets implemented in JAX+Flax☆12Apr 6, 2022Updated 4 years ago
- Ray tracing on the Ethereum Virtual Machine☆12May 5, 2021Updated 5 years ago
- Official implementation of Our NeurIPS 2024 Paper "Boundary Matters: A Bi-Level Active Finetuning Method"☆14Feb 11, 2025Updated last year
- ☆11May 10, 2022Updated 4 years ago
- The SVO-Probes Dataset for Verb Understanding☆29Jan 28, 2022Updated 4 years ago
- 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.
- [ICML 2024] Code release for "On the Emergence of Cross-Task Linearity in Pretraining-Finetuning Paradigm"☆11Feb 20, 2025Updated last year
- A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.☆13Jul 30, 2022Updated 3 years ago
- This repository contains research papers & studies that I have worked on or am currently working on.☆14Jul 1, 2026Updated 3 weeks ago
- Train toy models using multi-token prediction objective☆14Apr 18, 2026Updated 3 months 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Deep universal probabilistic programming with Python and PyTorch☆13Apr 1, 2020Updated 6 years ago
- Anyswap aka Multichain V4Router 攻击事件的分析和复现☆11Feb 15, 2022Updated 4 years ago
- ☆14Dec 4, 2023Updated 2 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
- [NeurIPS 2023] Code release for "Going Beyond Linear Mode Connectivity: The Layerwise Linear Feature Connectivity"☆19Oct 19, 2023Updated 2 years ago
- Official Implementation of "CLEFT: Language-Image Contrastive Learning with Efficient Large Language Model and Prompt Fine-Tuning" on MIC…☆18Feb 12, 2025Updated last year
- ERC-4337 (Account Abstraction)☆10Aug 5, 2023Updated 2 years ago
- Rich Context leaderboard competition, including the corpus and current SOTA for required tasks.☆23Nov 28, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Small 3D wind turbine simulator in browser using Three.js library☆17Jul 4, 2026Updated 3 weeks ago
- ☆18Dec 9, 2020Updated 5 years ago
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 3 years ago
- A light, pure and convenient command-line dictionary that helps you focus on memorizing words.☆15Aug 18, 2021Updated 4 years ago
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 4 years ago
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 2 years ago
- Code for Towards More Practical Adversarial Attacks on Graph Neural Networks (NeurIPS 2020)☆27Nov 13, 2021Updated 4 years ago