Module for the computation of the conventionally used handwriting features from online handwriting with an interface for the Featurizer API.
☆16Mar 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
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- ☆19Apr 5, 2025Updated last year
- Lean 形式化数学☆18Dec 20, 2025Updated 6 months ago
- ☆19Jan 20, 2025Updated last year
- 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.
- ☆12Apr 27, 2017Updated 9 years ago
- 電脳麻将の思考ルーチン☆20Mar 12, 2026Updated 3 months ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆35Mar 25, 2026Updated 3 months ago
- Formalization of IMO shortlist problems in Lean 4☆25May 2, 2026Updated 2 months ago
- ☆34Jun 12, 2025Updated last year
- Official Python SDK for SwastikAI☆11Nov 15, 2024Updated last year
- Embed Pyodide-powered, entirely serverless Gradio apps into Quarto documents.☆17Mar 3, 2025Updated last year
- The repository for papaer "Distance between Relevant Information Pieces Causes Bias in Long-Context LLMs"☆14Dec 16, 2024Updated last year
- Website for CachyOS☆18Jun 28, 2026Updated last week
- 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.
- An openAI CLI built in rust☆10Dec 28, 2022Updated 3 years ago
- ☆16Sep 22, 2024Updated last year
- NeqLIPS: a powerful Olympiad-level inequality prover☆40Sep 7, 2025Updated 9 months ago
- https://jamesgraves.github.io/rust-cookbook☆10Mar 5, 2025Updated last year
- ☆35May 1, 2024Updated 2 years ago
- Implementing TCP/IP in Rust leveraging eBPF/XDP☆21Mar 30, 2025Updated last year
- 快速陷入处理☆40Jan 22, 2026Updated 5 months ago
- Formalizing Euclidean Geometry in Lean☆30Mar 21, 2024Updated 2 years ago
- CachyOS Docker Images for the x86-64, x86-64-v3☆29Oct 3, 2024Updated last year
- 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.
- Serverless browser offloading with Faasm and WebAssembly☆16Feb 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 4 years ago
- Cross-compile and Debug Rust applications for the Raspberry Pi with the CLI and with VS Code☆15Dec 27, 2023Updated 2 years ago
- Functional programming in Rust☆14Jan 10, 2022Updated 4 years ago
- ☆18Dec 3, 2024Updated last year
- Chrome Extension for YouTube. Acts as an assistant for the YouTube video you are watching☆22Apr 26, 2023Updated 3 years ago
- Scripts and small programs that are packaged into termux's termux-tools package☆12Jan 23, 2026Updated 5 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.
- ☆86Jun 14, 2025Updated last year
- 💻🤖 302 AI Prompt Expert! 🚀✨☆26Aug 26, 2025Updated 10 months ago
- 没分支的 rCore-Tutorial☆52Jan 8, 2026Updated 5 months ago
- A tui application for synchronising lyrics☆36Nov 2, 2025Updated 8 months ago
- ☆41Jan 19, 2026Updated 5 months ago
- Mathport is a tool for porting Lean3 projects to Lean4☆46Nov 21, 2024Updated last year
- rustBoot documentation☆11Sep 25, 2022Updated 3 years ago