☆14Oct 30, 2019Updated 6 years ago
Alternatives and similar repositories for HKUST-Robotics-SoftwareTut-2019
Users that are interested in HKUST-Robotics-SoftwareTut-2019 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Nov 16, 2018Updated 7 years ago
- Stanford cs231n (HKUST COMP4901J Fall 2018 Deep Learning in Computer Vision) Assignment Repository☆10Jan 29, 2019Updated 7 years ago
- 东北大学Action团队2018年辽宁省普通高等学校本科生机器人大赛代码仓库☆10Oct 28, 2018Updated 7 years ago
- Prover Manager☆26Updated this week
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The Looking Glass Programming Environment☆11May 8, 2017Updated 9 years ago
- ☆19May 5, 2020Updated 6 years ago
- Ntp Client for Olimex STM32-E407 and ChibiOS☆12Jul 6, 2015Updated 10 years ago
- ☆13Feb 14, 2025Updated last year
- Experimental implementation of Sumcheck protocol using CUDA☆23Nov 14, 2024Updated last year
- ☆28May 12, 2023Updated 3 years ago
- ☆33Mar 27, 2024Updated 2 years ago
- go-ipfs-chunkers provides Splitter implementations for data before being ingested to IPFS☆30Jun 14, 2023Updated 3 years ago
- Take a snapshot and recognize text☆18Feb 25, 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.
- ☆27Jan 21, 2025Updated last year
- ☆22Aug 30, 2022Updated 3 years ago
- Futhark implementation of neptune-compatible Poseidon.☆28Apr 4, 2021Updated 5 years ago
- note☆36Jul 14, 2021Updated 4 years ago
- Vectorized AVX-512 256-bit arithmetic library☆34Sep 28, 2024Updated last year
- ☆26Apr 15, 2025Updated last year
- ☆120May 13, 2021Updated 5 years ago
- A curated list of Plonky3 resources, libraries, tools and more.☆45Dec 1, 2025Updated 7 months ago
- Solutions to "CS 97SI: Introduction to Competitive Programming Contests" by Stanford University☆38Jan 26, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Parallel EVM layer2☆34Jul 3, 2025Updated last year
- Competitive art canvas on Starknet☆38Sep 2, 2025Updated 10 months ago
- An implementation of a libp2p transport using tcp☆59May 26, 2022Updated 4 years ago
- Code for zero-knowledge middleboxes☆64Jul 26, 2022Updated 3 years ago
- A circuit to verify the voice recovery process.☆51Apr 15, 2023Updated 3 years ago
- ☆52Oct 10, 2023Updated 2 years ago
- ☆55Nov 22, 2023Updated 2 years ago
- Documentation site for the libp2p project.☆71Aug 11, 2025Updated 10 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆98Apr 16, 2026Updated 2 months 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.
- Out-of-circuit zkEVM implementation☆79Aug 16, 2024Updated last year
- Binary storage trie☆76Nov 29, 2024Updated last year
- ☆101May 2, 2025Updated last year
- OpenCL code generator for finite-field arithmetic over arbitrary prime fields☆98Jul 30, 2025Updated 11 months ago
- Python framework for quantitative financial analysis and trading algorithms on decentralised exchanges☆369Jun 25, 2026Updated last week
- ☆114Feb 6, 2024Updated 2 years ago
- Cryptographic primitives used in Polygon Miden rollup☆136Jun 29, 2026Updated last week