ollama modelfiles for deepseek and goose
☆41Jan 29, 2025Updated last year
Alternatives and similar repositories for deepseek-goose-models
Users that are interested in deepseek-goose-models 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 Model Context Protocol server that provides browser automation capabilities using Playwright and Deno 2.☆12Dec 2, 2024Updated last year
- Yet another coding assistant powered by LLM.☆16Sep 11, 2024Updated last year
- Experimental Programming Language☆13Aug 24, 2016Updated 9 years ago
- staking contract with time lock and time based "internal" rewards and (optionally) token☆10Apr 9, 2024Updated 2 years ago
- A preconfigured project template for Ethereum smart contracts (Truffle)☆13Jan 24, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A collection of high-performance URL routers for JavaScript☆30Feb 11, 2024Updated 2 years ago
- OSMesa source code and cargo build scripts to compile on Linux and Mac☆13Mar 20, 2024Updated 2 years ago
- Perpetual Protocol Curie (v2) Subgraph☆16Dec 7, 2023Updated 2 years ago
- Educational repo for fuzzing smart-contracts with Echidna☆17Mar 6, 2024Updated 2 years ago
- Built for Perpetual Protocol v2 Curie on Optimism chain. This CLI tool was built with Rust.☆15Mar 31, 2023Updated 3 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- My Agda blog/lab/playground☆12Updated this week
- The Automata SGX SDK is a software development kit designed to help users quickly build secure enclaves on the Intel SGX platform using R…☆28Dec 20, 2024Updated last year
- A Diamond Floating Action Button for Flutter☆23Nov 8, 2018Updated 7 years 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.
- Monorepo containing all packages related to the ACTUS Protocol☆15Aug 5, 2021Updated 4 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- ☆17Sep 3, 2024Updated last year
- How to use Hardhat Ignition☆15Sep 20, 2023Updated 2 years ago
- Wizard AO SDK & Testing☆33Mar 19, 2026Updated last month
- A generic Either type implementation for Rust☆14Jan 4, 2023Updated 3 years ago
- Complex Loader Management for Vue/Vuex Applications☆14Sep 19, 2017Updated 8 years ago
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 3 years ago
- A wav decoding library in pure Dart.☆23Mar 16, 2020Updated 6 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.
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 6 months ago
- ☆12Jan 20, 2026Updated 3 months ago
- Flutter Multi-Platform Sample Game of Tic-Tac-Toe☆31Feb 23, 2022Updated 4 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- Swap Ether and ERC20 tokens on the Ethereum network☆16Feb 7, 2018Updated 8 years ago
- guarded interaction trees☆13Jul 4, 2025Updated 9 months ago
- What makes Viewstamped Replication tick?☆14Nov 30, 2023Updated 2 years ago
- Compares gas usage in Solidity projects using Foundry and comments the changes on the PR☆23Oct 7, 2024Updated last year
- A formalization of the theory behind the mugen library☆19Apr 7, 2026Updated 3 weeks 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.
- OpenVPN PKI tools and client/server configuration generator - better than easy-rsa☆15May 16, 2025Updated 11 months ago
- Perpetual Protocol Curie (v2) oracle contracts☆17Dec 26, 2024Updated last year
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 5 months ago
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- Application présentée en live coding pendant la première session de FlutterRennes et permettant de compter des dindons!☆10Nov 6, 2018Updated 7 years ago
- Save frequent prompts with Cursor; the ability to add keyboard shortcuts to them and recall them later.☆25Feb 13, 2025Updated last year