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
- 一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。☆20Mar 19, 2026Updated 2 months ago
- ☆19Jan 20, 2025Updated last year
- 電脳麻将の思考ルーチン☆20Mar 12, 2026Updated 3 months ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆34Mar 25, 2026Updated 2 months 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.
- ☆30Jul 16, 2025Updated 10 months ago
- Official Python SDK for SwastikAI☆11Nov 15, 2024Updated last year
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- 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☆18May 15, 2026Updated last month
- An openAI CLI built in rust☆10Dec 28, 2022Updated 3 years ago
- ☆34Jun 15, 2025Updated last year
- ☆16Sep 22, 2024Updated last year
- 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.
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Jan 17, 2022Updated 4 years ago
- NeqLIPS: a powerful Olympiad-level inequality prover☆40Sep 7, 2025Updated 9 months ago
- 快速陷入处理☆40Jan 22, 2026Updated 4 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
- Serverless browser offloading with Faasm and WebAssembly☆16Feb 14, 2022Updated 4 years ago
- RealisMotion: Decomposed Human Motion Control and Video Generation in the World Space (ICML2026)☆40May 12, 2026Updated last month
- 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- ☆13Jan 6, 2021Updated 5 years ago
- Functional programming in Rust☆14Jan 10, 2022Updated 4 years ago
- Python function of Pytorch Grid Sample with Zero Padding☆19Jan 4, 2021Updated 5 years ago
- 模型压缩的小白入门教程☆22Jul 7, 2024Updated last year
- ☆86Jun 14, 2025Updated last year
- 💻🤖 302 AI Prompt Expert! 🚀✨☆26Aug 26, 2025Updated 9 months ago
- 没分支的 rCore-Tutorial☆52Jan 8, 2026Updated 5 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☆36Nov 2, 2025Updated 7 months ago
- Mathport is a tool for porting Lean3 projects to Lean4☆46Nov 21, 2024Updated last year
- ☆41Jan 19, 2026Updated 4 months ago
- My personnal notes on the P4wnP1☆18Feb 18, 2024Updated 2 years ago
- MCP Server implementation for Claude☆27Dec 1, 2024Updated last year
- Camel-Coder: Collaborative task completion with multiple agents. Role-based prompts, intervention mechanism, and thoughtful suggestions☆35Jul 3, 2023Updated 2 years ago
- ☆33Sep 17, 2024Updated last year