A computer algebra system written in Haskell
☆11May 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 plain succulent 256-color neovim colorscheme using colorbuddy☆10Jul 1, 2026Updated last month
- /7 ☦ /7 – язык программирования для отечественных операторов ЭВМ, не имеющий аналогов в мире☆17Apr 6, 2024Updated 2 years ago
- Домашние задания для курса "Вычисления на видеокартах" в CS Space☆31Apr 19, 2026Updated 3 months ago
- Neovim config☆720Jul 28, 2026Updated 2 weeks ago
- React components for the Skiff UI Design System☆424Nov 6, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Effortless database administration tool☆987Jul 25, 2026Updated 2 weeks ago
- Manage CI/CD pipelines from multiple providers (self hosted, desktop app and ios app )☆1,019Jul 15, 2026Updated 3 weeks ago
- Databuddy is a privacy-first analytics platform with a focus on user experience, with it's foundation built on privacy, it ensures comple…☆1,119Updated this week
- Keep track of used ports☆1,264May 14, 2025Updated last year
- RedTeam/Pentest notes and experiments tested on several infrastructures related to professional engagements.☆1,933Oct 29, 2025Updated 9 months ago
- A Vault swiss-army knife: A CLI tool to init, unseal and configure Vault (auth methods, secret engines).☆2,264Updated this week
- The future of file storage☆1,969Nov 3, 2025Updated 9 months ago
- An user interface for the nginx web server, aimed at developers and enthusiasts that don't want to manage configuration files manually☆2,118Jul 8, 2026Updated last month
- A collection of most useful osint tools for SOCINT.☆1,931Jan 30, 2026Updated 6 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Single Sign-On for Your Self-Hosted Universe☆2,452Updated this week
- 🛜 100+ offline-first networking tools and utilities☆2,636Apr 5, 2026Updated 4 months ago
- CheckCle is a self-hosted, open-source monitoring platform for seamless, real-time full-stack systems, applications, and infrastructure. …☆2,920Jul 17, 2026Updated 3 weeks ago
- Mimikatz implementation in pure Python☆3,348Apr 9, 2026Updated 4 months ago
- A no-build JavaScript CDN for modern web development.☆4,152Updated this week
- Connect any AI model to 1200+ integrations (MCP, CLI, API)☆3,332Updated this week
- PostgreSQL backup tool with Point-In-Time-Recovery and restore verification☆7,889Jul 26, 2026Updated 2 weeks ago
- Telegram Desktop messaging app☆32,579Updated this week
- Fully animated, open-source component distribution built with React, TypeScript, Tailwind CSS, Motion, and Shadcn CLI. Browse a list of c…☆4,145Dec 31, 2025Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ⚡ Automatically decrypt encryptions without knowing the key or cipher, decode encodings, and crack hashes ⚡☆21,581Updated this week
- A highly customizable homepage (or startpage / application dashboard) with Docker and service API integrations.☆31,952Updated this week
- Automate Creation of YouTube Shorts using MoviePy.☆13,820Mar 26, 2026Updated 4 months ago
- JavaScript syntax highlighter with language auto-detection and zero dependencies.☆24,981Updated this week
- A high-performance distributed file system designed to address the challenges of AI training and inference workloads.☆10,108May 7, 2026Updated 3 months ago
- 🧱 easy fast local-first microVM runtime and library☆7,256Updated this week
- 🦎 a tool to build and deploy software on many servers 🦎☆11,902Jul 31, 2026Updated last week
- The fast, flexible, and elegant library for parsing and manipulating HTML and XML.☆30,451Updated this week
- Resolve production issues, fast. An open source observability platform unifying session replays, logs, metrics, traces and errors powered…☆9,818Updated this week
- 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.
- 🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.☆54,433Updated this week
- Emscripten: An LLVM-to-WebAssembly Compiler☆27,564Updated this week
- Convert documents to structured data effortlessly. Unstructured is open-source ETL solution for transforming complex documents into clean…☆15,297Aug 4, 2026Updated last week
- Containerization is a Swift package for running Linux containers on macOS.☆8,875Updated this week
- An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.☆49,130Updated this week
- A straightforward method for training your LLM, from downloading data to generating text.☆9,025Jun 24, 2026Updated last month
- Structured Outputs☆15,576Updated this week