ollama modelfiles for deepseek and goose
☆42Jan 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:
- Experimental Programming Language☆13Aug 24, 2016Updated 10 years ago
- staking contract with time lock and time based "internal" rewards and (optionally) token☆10Apr 9, 2024Updated 2 years ago
- ☆10Feb 21, 2019Updated 7 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Updated this week
- A preconfigured project template for Ethereum smart contracts (Truffle)☆13Jan 24, 2023Updated 3 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.
- Supafana is a one-click, Grafana and Prometheus metrics, observability, and alerting solution for Supabase☆27Sep 11, 2025Updated last year
- A Diamond Floating Action Button for Flutter☆23Nov 8, 2018Updated 7 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- This repository contains code implementation of the paper "AI-Guardian: Defeating Adversarial Attacks using Backdoors, at IEEE Security a…☆14Aug 13, 2023Updated 3 years ago
- Built for Perpetual Protocol v2 Curie on Optimism chain. This CLI tool was built with Rust.☆15Mar 31, 2023Updated 3 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated 2 years ago
- Authentication and Embedded Wallets☆17Updated this week
- 🧪 | Lisp with REPL and macros which will compile itself☆14Dec 4, 2024Updated last year
- 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.
- Perpetual Protocol Curie (v2) periphery contracts☆15Jun 12, 2023Updated 3 years ago
- A generic Either type implementation for Rust☆14Jan 4, 2023Updated 3 years ago
- An operating system for edge AI cameras☆13Mar 26, 2022Updated 4 years ago
- ☆12Sep 21, 2024Updated 2 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆14Oct 14, 2025Updated 11 months ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- ☆12May 7, 2023Updated 3 years ago
- the enlightened pager. less paging. more content. read widely.☆22Mar 23, 2020Updated 6 years ago
- 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.
- Perpetual Protocol Curie (v2) oracle contracts☆17Dec 26, 2024Updated last year
- 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
- A formalization of the theory behind the mugen library☆20Jul 5, 2026Updated 2 months ago
- HTTP/TLS reverse proxy in Go☆12May 10, 2016Updated 10 years ago
- Composable intrincially-typed definitional interpreters☆17Nov 13, 2022Updated 3 years ago
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated last year
- Concurrent inverse Bloom filter.☆15Feb 3, 2015Updated 11 years ago
- Joyner Document Format 2.0 (JDF) LaTeX Template☆14Jun 2, 2019Updated 7 years ago
- ☆20Jan 9, 2019Updated 7 years ago
- 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.
- rand64 is a Go package that provides several pseudo random number generators yielding unsinged 64 bits numbers in the range [0, 1<<64)☆11Jun 9, 2019Updated 7 years ago
- Swap Ether and ERC20 tokens on the Ethereum network☆16Feb 7, 2018Updated 8 years ago
- An opiniated color palette.☆11Mar 25, 2020Updated 6 years ago
- A curated list of projects and resources using BAML☆17Aug 1, 2025Updated last year
- Java library for joining objects into a graph, JOin gRAPH☆11Dec 12, 2020Updated 5 years ago
- a bot for the ipfs irc channel that pins things (among other menial tasks)☆13Feb 23, 2026Updated 7 months ago
- A small C++17 library inspired by Category Theory.☆17Jan 4, 2023Updated 3 years ago