A computer algebra system written in Haskell
☆12May 13, 2025Updated last year
Alternatives and similar repositories for symkell
Users that are interested in symkell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A React Native snippet showcasing a bottom sheet modal with a backdrop animation.☆65Aug 11, 2024Updated last year
- A simple and easy-to-use carousel component for React Native.☆29Aug 10, 2024Updated last year
- A BitTorrent client implementation in Go☆267Jun 13, 2025Updated 11 months ago
- Manage CI/CD pipelines from multiple providers (self hosted, desktop app and ios app )☆1,012May 28, 2026Updated last week
- A vector index built on TurboQuant, written in Rust with Python bindings☆7,706May 30, 2026Updated last week
- 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.
- Single Sign-On for Your Self-Hosted Universe☆2,146May 31, 2026Updated last week
- Stanford NLP Python library for Representation Finetuning (ReFT)☆1,569Mar 5, 2026Updated 3 months ago
- An open source, self-hosted, real-time port monitoring and discovery tool.☆2,191May 6, 2026Updated last month
- Puzzles for learning Triton☆2,471Apr 1, 2026Updated 2 months ago
- Implementation for MatMul-free LM.☆3,064Dec 2, 2025Updated 6 months ago
- 🧱 local-first and microVM-backed programmable sandboxes for AI agents☆6,451Updated this week
- 🦎 a tool to build and deploy software on many servers 🦎☆11,306May 12, 2026Updated 3 weeks ago
- Pydoll is a library for automating chromium-based browsers without a WebDriver, offering realistic interactions.☆6,894May 24, 2026Updated 2 weeks ago
- ☆11,118Updated this week
- 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.
- 22 prompt engineering techniques with hands-on Jupyter Notebook tutorials, from fundamental concepts to advanced strategies for leveragin…☆7,557May 31, 2026Updated last week
- Emscripten: An LLVM-to-WebAssembly Compiler☆27,395Updated this week
- JavaScript syntax highlighter with language auto-detection and zero dependencies.☆24,934Oct 27, 2025Updated 7 months ago
- Code for the manim-generated scenes used in 3blue1brown videos☆10,788Apr 30, 2026Updated last month
- The official mirror of the V8 Git repository☆25,061Updated this week
- Hystrix is a latency and fault tolerance library designed to isolate points of access to remote systems, services and 3rd party libraries…☆24,455Dec 17, 2025Updated 5 months ago
- Structured Outputs☆13,920May 18, 2026Updated 3 weeks ago
- A powerful flow control component enabling reliability, resilience and monitoring for microservices. (面向云原生微服务的高可用流控防护组件)☆23,119May 27, 2026Updated last week
- The premier source of truth powering network automation. Open source under Apache 2. Try NetBox Cloud free: https://netboxlabs.com/produc…☆20,799Updated this week
- 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.
- Command-line JSON processor☆34,833Jun 1, 2026Updated last week
- A toolkit to automate & enhance your workflow☆32,962Feb 9, 2026Updated 4 months ago
- Lightweight server monitoring with historical data, docker stats, and alerts.☆22,412Updated this week
- Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.☆25,730Updated this week
- High performance, minimalist Go web framework☆32,435Updated this week
- ⚡️ A collection of tips to help take your CSS skills pro 🦾☆30,081Mar 20, 2025Updated last year
- tiktoken is a fast BPE tokeniser for use with OpenAI's models.☆18,402May 24, 2026Updated 2 weeks ago
- A high-throughput and memory-efficient inference and serving engine for LLMs☆81,909Updated this week
- What the f*ck Python? 😱☆36,972Jan 13, 2026Updated 4 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.
- Kolmogorov Arnold Networks☆16,300Jan 19, 2025Updated last year
- 清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University☆37,118May 30, 2026Updated last week
- Linux kernel source tree☆235,790Updated this week
- A powerful cross-platform UI toolkit for building native-quality iOS, Android, and Progressive Web Apps with HTML, CSS, and JavaScript.☆52,525Updated this week
- The repository for high quality TypeScript type definitions.☆51,249Jun 1, 2026Updated last week
- A powerful little TUI framework 🏗☆42,895Jun 1, 2026Updated last week
- 🕷️ An adaptive Web Scraping framework that handles everything from a single request to a full-scale crawl!☆61,772Updated this week