Module for the computation of the conventionally used handwriting features from online handwriting with an interface for the Featurizer API.
☆15Mar 18, 2025Updated last year
Alternatives and similar repositories for handwriting-features
Users that are interested in handwriting-features are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- ☆15Apr 12, 2023Updated 2 years ago
- ☆19Apr 5, 2025Updated 11 months ago
- ☆19Jan 20, 2025Updated last year
- Example formalization of Game Theoretic concepts in Lean☆27Feb 14, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 電脳麻将の思考ルーチン☆20Mar 12, 2026Updated 2 weeks ago
- https://learningos.github.io/ucore_os_webdocs/☆13Mar 3, 2020Updated 6 years ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆34Updated this week
- A Rust built code judger utils with Web & CLI executables☆17Apr 7, 2025Updated 11 months ago
- ☆27Jul 16, 2025Updated 8 months ago
- ☆30Jun 12, 2025Updated 9 months ago
- Formalization of IMO shortlist problems in Lean 4☆25Updated this week
- The repository for papaer "Distance between Relevant Information Pieces Causes Bias in Long-Context LLMs"☆14Dec 16, 2024Updated last year
- An openAI CLI built in rust☆10Dec 28, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆16Sep 22, 2024Updated last year
- NeqLIPS: a powerful Olympiad-level inequality prover☆40Sep 7, 2025Updated 6 months ago
- https://jamesgraves.github.io/rust-cookbook☆10Mar 5, 2025Updated last year
- Implementing TCP/IP in Rust leveraging eBPF/XDP☆21Mar 30, 2025Updated 11 months ago
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated 2 years ago
- Serverless browser offloading with Faasm and WebAssembly☆15Feb 14, 2022Updated 4 years ago
- Mini Rust CLI to deploy sites to Netlify using their API☆11Jul 7, 2021Updated 4 years ago
- Demo used for VS Code channel livestream on 2024/01/25☆13Jan 25, 2024Updated 2 years ago
- Cargo-based build system for the UWP☆16Jun 7, 2022Updated 3 years ago
- 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.
- Cross-compile and Debug Rust applications for the Raspberry Pi with the CLI and with VS Code☆14Dec 27, 2023Updated 2 years ago
- ☆13Jan 6, 2021Updated 5 years ago
- 100 Days of GPU Challenge☆26Nov 15, 2025Updated 4 months ago
- 模型压缩的小白入门教程☆22Jul 7, 2024Updated last year
- 一个易用的矩阵运算库，使用与 matlab 操作相似，请多指教☆32Jul 14, 2016Updated 9 years ago
- Scripts and small programs that are packaged into termux's termux-tools package☆12Jan 23, 2026Updated 2 months ago
- Open Street Map - Assets Downloader (CLI & GUI)☆13Apr 15, 2025Updated 11 months ago
- ☆85Jun 14, 2025Updated 9 months ago
- 💻🤖 302 AI Prompt Expert! 🚀✨☆25Aug 26, 2025Updated 7 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A tui application for synchronising lyrics☆33Nov 2, 2025Updated 4 months ago
- Mathport is a tool for porting Lean3 projects to Lean4☆44Nov 21, 2024Updated last year
- ☆41Jan 19, 2026Updated 2 months ago
- ☆21Nov 4, 2024Updated last year
- A remake of sftp written in Rust☆19Aug 29, 2022Updated 3 years ago
- ☆18Apr 19, 2021Updated 4 years ago
- Course materials for the two-day machine learning course at the MWGaia-DN doctoral school in Coimbra, Portugal.☆14Sep 13, 2024Updated last year