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:
- Advanced evolutionary computation library built directly on top of PyTorch, created at NNAISENSE.☆1,147Aug 31, 2026Updated 3 weeks ago
- 100+ LLM interview questions with answers.☆1,059Feb 9, 2026Updated 7 months ago
- Effortless database administration tool☆997Sep 2, 2026Updated 2 weeks ago
- High-quality single-file implementations of SOTA Offline and Offline-to-Online RL algorithms: AWAC, BC, CQL, DT, EDAC, IQL, SAC-N, TD3+BC…☆1,374Aug 3, 2023Updated 3 years ago
- Stanford NLP Python library for Representation Finetuning (ReFT)☆1,586Mar 5, 2026Updated 6 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.
- Manage CI/CD pipelines from multiple providers (self hosted, desktop app and ios app )☆1,083Aug 31, 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,157Updated this week
- Dynacat is a dashboard focused on dynamic reloading and easy integration with external applications.☆1,426Updated this week
- Fast BM25 search in Python, powered by Numpy and Numba☆1,791Updated this week
- G'day Nvimer, Joyful Gopher: Explore the Feature-Packed Go Plugin for Neovim☆2,660Sep 11, 2026Updated last week
- Keep track of used ports☆1,264May 14, 2025Updated last year
- The immutable, decentralized, statically built p2p VPN without any central server and automatic discovery! Create decentralized introspe…☆2,078Updated this week
- Muon is an optimizer for hidden layers in neural networks☆2,850May 24, 2026Updated 3 months ago
- a list of domains and ips that stay live in russia when the mobile internet gets restricted☆3,773Jul 24, 2026Updated last month
- 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.
- An user interface for the nginx web server, aimed at developers and enthusiasts that don't want to manage configuration files manually☆2,140Updated this week
- High-Performance Symbolic Regression in Python and Julia☆3,767Updated this week
- An open source, self-hosted, real-time port monitoring and discovery tool.☆2,436Sep 14, 2026Updated last week
- Single Sign-On for Your Self-Hosted Universe☆2,841Updated this week
- Publicly shared solutions to Coding Challenges☆3,777Sep 5, 2026Updated 2 weeks ago
- CheckCle is a self-hosted, open-source monitoring platform for seamless, real-time full-stack systems, applications, and infrastructure. …☆3,272Jul 17, 2026Updated 2 months ago
- AI Agent Builder and Runtime by Docker Engineering☆3,339Updated this week
- PostgreSQL backup tool with Point-In-Time-Recovery and restore verification☆8,618Updated this week
- Telegram Desktop messaging app☆32,979Updated this week
- 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.
- Official code implementation of General OCR Theory: Towards OCR-2.0 via a Unified End-to-end Model☆8,219Feb 10, 2025Updated last year
- a secure dotenv—from the creator of `dotenv`☆5,799Updated this week
- Firefox user.js for optimal privacy and security. Your favorite browser, but better.☆10,871Sep 7, 2026Updated 2 weeks ago
- Visualize, query, and stream to train on multimodal robotics data.☆11,483Updated this week
- This repo is meant to serve as a guide for Machine Learning/AI technical interviews.☆9,698Sep 2, 2026Updated 2 weeks ago
- A high-performance distributed file system designed to address the challenges of AI training and inference workloads.☆10,210May 7, 2026Updated 4 months ago
- 🧱 fast branchable micro virtual machines for any workload☆8,324Updated this week
- 🦎 a tool to build and deploy software on many servers 🦎☆12,370Updated this week
- 22 prompt engineering techniques with hands-on Jupyter Notebook tutorials, from fundamental concepts to advanced strategies for leveragin…☆7,860Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-firs…☆28,192Jun 25, 2024Updated 2 years ago
- Resolve production issues, fast. An open source observability platform unifying session replays, logs, metrics, traces and errors powered…☆9,907Updated this week
- Convert documents to structured data effortlessly. Unstructured is open-source ETL solution for transforming complex documents into clean…☆15,460Updated this week
- The premier source of truth powering network automation. Open source under Apache 2. Try NetBox Cloud free: https://netboxlabs.com/produc…☆21,577Updated this week
- Containerization is a Swift package for running Linux containers on macOS.☆8,936Updated this week
- AltStore is an alternative app store for non-jailbroken iOS devices.☆14,424Updated this week
- A focused launcher for your desktop - native, fast, extensible☆9,936Updated this week