Access deepseek.com models via API
☆26Feb 14, 2025Updated last year
Alternatives and similar repositories for llm-deepseek
Users that are interested in llm-deepseek are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Plugin for LLM-CLI adding support for Together.AI hosting a large collection of open-source LLMs☆17Apr 10, 2024Updated 2 years ago
- LLM plugin providing access to Grok AI models using the xAI API☆21Mar 20, 2026Updated 6 months ago
- Polars plugin for 256-bit (U256 and signed I256) integers backed by ruint☆14Oct 2, 2025Updated last year
- Telegram dev bot for all your dirty work☆15Feb 9, 2026Updated 8 months ago
- Run embedding models using ONNX☆36Jan 29, 2024Updated 2 years 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.
- Create embeddings for LLM using the Nomic API☆23Nov 21, 2024Updated last year
- Slides and code from .NET Conf 2021 - Focus on F#☆11Aug 1, 2021Updated 5 years ago
- ☆14Feb 2, 2021Updated 5 years ago
- LLM plugin for Venice AI☆29Aug 24, 2026Updated last month
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 4 years ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- My own AudioScrobbler server implementation, v3.☆10Jan 5, 2019Updated 7 years ago
- ☆13Sep 15, 2022Updated 4 years ago
- vagrant up RKE (Rancher Kubernetes Engine)☆11May 8, 2018Updated 8 years ago
- 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.
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 6 years ago
- Multicall: Aggregate multiple constant function call results into one☆16Apr 13, 2020Updated 6 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 5 years ago
- Auto Redeem Voucher Gofood & Voucher Cashback☆16Jul 18, 2020Updated 6 years ago
- Solidity API contract design information for utilizing RPC/RESTful Node Interaction and GraphQL☆22Oct 5, 2021Updated 5 years ago
- ☆10Sep 7, 2022Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- Plugin for LLM adding support for the GPT4All collection of models☆267May 10, 2024Updated 2 years ago
- An Ansible role for compiling the rtl8812au wifi driver for raspbian on the Raspberry Pi☆10Feb 9, 2020Updated 6 years 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.
- Big Ol' Chungus - an OpenCL GPU miner for Kadena's Chainweb☆12Sep 8, 2020Updated 6 years ago
- A suite of tools to store and retrieve binary data in DNS records, and a browser that can surf pages served over DNS instead of HTTP☆23Sep 13, 2021Updated 5 years ago
- A ppx rewriter that generates hash functions from type expressions and definitions☆16Jul 10, 2026Updated 3 months ago
- We use an adversarial expert based online learning algorithm to learn the optimal parameters required to maximise wealth trading zero-cos…☆11Apr 8, 2020Updated 6 years ago
- A tool plugin for LLM to support web search via Exa☆31Nov 19, 2025Updated 10 months ago
- ☆14Jul 24, 2021Updated 5 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Pandoc filter to convert math to SVG using MathJax-node's tex2svg☆21Dec 12, 2016Updated 9 years ago
- 💂🏼 Build your Documentation AI with Nemo Guardrails☆15Oct 18, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- Examples of two crazy techniques for creating terraform resources from CSV files☆11Apr 3, 2020Updated 6 years ago
- playing with gpt4☆13Mar 17, 2023Updated 3 years ago
- Serverless framework monorepo with Python lambdas and common module☆11Apr 7, 2022Updated 4 years ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- A private dating experiment built with real cryptography, using MPC and ZK proofs☆10Jan 27, 2026Updated 8 months ago
- LFSC Proof Checker☆10Sep 14, 2023Updated 3 years ago