一颗赛艇
☆34Dec 8, 2018Updated 7 years ago
Alternatives and similar repositories for excited
Users that are interested in excited are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 膜长者的文艺作死游戏☆15Dec 4, 2016Updated 9 years ago
- Make React Reactive Again!☆18Apr 28, 2019Updated 7 years ago
- 暴力膜蛤☆178Nov 30, 2022Updated 3 years ago
- test react component☆13Aug 7, 2026Updated 2 months ago
- 为长者续命☆16Apr 16, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 保存洛谷讨论的工具☆15Feb 13, 2023Updated 3 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- ant.design.pro 的 less 进行合并☆24Mar 10, 2021Updated 5 years ago
- Simple port of Ant Design v3 to Sass☆12Dec 18, 2017Updated 8 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- 人工智能与深度学习实战 - TensorFlow 篇（MD & Notebooks）☆13Sep 27, 2026Updated 2 weeks ago
- 人生重开模拟器OI版☆28Oct 19, 2021Updated 4 years ago
- Open-science repository for the evaluation of the Dspot test amplification system☆14Jan 26, 2023Updated 3 years ago
- ☆17May 14, 2020Updated 6 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.
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆60Jun 30, 2025Updated last year
- Abstract domain library for sets☆10Feb 23, 2023Updated 3 years ago
- 支付宝小程序组件库☆16Oct 31, 2019Updated 6 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- 人工智能与深度学习实战 - 机器学习篇☆13Sep 27, 2026Updated 2 weeks ago
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 11 years ago
- Implement the mechanism of Vue 3.0 Composition API for React based on React Hooks☆31Aug 26, 2019Updated 7 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆10Jan 22, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A webpack plugin that generates a graph visualization of a React component tree☆17Dec 4, 2015Updated 10 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 4 years ago
- More info : https://users.rust-lang.org/t/solved-derive-and-proc-macro-add-field-to-an-existing-struct/52307/4☆10Dec 5, 2020Updated 5 years ago
- make Luogu more powerful.☆20Jul 27, 2021Updated 5 years ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- Almost polyfill for React.createRef and React.forwardRef *** NOT RECOMMENDED FOR LIBS ***☆19Jul 27, 2018Updated 8 years ago
- 小程序 API 的 hooks 封装☆18Nov 12, 2019Updated 6 years ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- ☆11Feb 20, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A glsl to asm.js compiler☆18Jun 26, 2016Updated 10 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Oct 15, 2024Updated last year
- AlphaGo代码☆11Apr 25, 2016Updated 10 years ago
- PyCon Taiwan 2017 猜謎機器人☆12Jun 11, 2017Updated 9 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 6 years ago
- ☆16Aug 20, 2022Updated 4 years ago