☆52Feb 12, 2025Updated last year
Alternatives and similar repositories for gemini-zod
Users that are interested in gemini-zod are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- A helper library for meilisearch-js that provides convenient utility methods to simplify common operations and enhance your Meilisearch e…☆15Nov 18, 2025Updated 7 months ago
- An app for viewing grapheme-to-color synesthesia sets (if you have no idea what that means, check Wikipedia! It's pretty cool.)☆13Oct 16, 2021Updated 4 years ago
- Content Based Image Recognition Platform for Early Printed Materials☆11Mar 28, 2019Updated 7 years 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.
- Haskell support☆19Jun 9, 2026Updated last week
- Speech Recognition Plugin for Phonegap based on https://github.com/currycat/SpeechToText.git☆13Jan 13, 2015Updated 11 years ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 5 years ago
- Easiest possible opinionated Babel AST printer☆20Jun 10, 2026Updated last week
- Esbuild plugin to strip types for Flow files☆19Dec 29, 2021Updated 4 years ago
- ✅ Run actionlint in your GitHub workflow☆45Jun 3, 2026Updated 2 weeks ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 8 years ago
- Runtime types for OCaml (beta version)☆27May 18, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A minimalist implementation of type theory, suitable for experimentation☆16Updated this week
- Mini Offline Singleplayer game in Crystal☆18Oct 24, 2017Updated 8 years ago
- A tool for helping folks keep things in sync.☆20Updated this week
- A personal wiki for Atom☆12Jun 8, 2016Updated 10 years ago
- Knapsack Pro for Jest test runner in JavaScript. It splits tests in dynamic way across parallel CI nodes to get faster CI build time.☆19Jun 5, 2023Updated 3 years ago
- Canonical repo☆16Feb 26, 2019Updated 7 years ago
- a public objective non-economic reputation system☆13Oct 4, 2015Updated 10 years ago
- Pipeline for image classification at The Norwegian National Museum and zooming display mechanism.☆14Nov 3, 2017Updated 8 years ago
- ☆16Dec 28, 2021Updated 4 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.
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆20Jan 28, 2018Updated 8 years ago
- Using Fastly Fiddle to enable CI testing of Fastly services☆14Jul 15, 2024Updated last year
- A Jamsocket demo using the OpenAI Assistant API☆13Feb 28, 2024Updated 2 years ago
- Category theory formalized in cubical agda☆22Feb 16, 2020Updated 6 years ago
- An interactive visualization of the Hopf fibration☆15Dec 6, 2022Updated 3 years ago
- An elmish architecture for fltk-rs☆22Sep 22, 2025Updated 8 months ago
- Type safe patters for analytics☆11Mar 23, 2021Updated 5 years ago
- AI-Powered Neural Network Libraries built with Claude-Flow Swarm Orchestration. Live demo from Agentics Foundation meetup in Toronto -…☆31Jun 25, 2025Updated 11 months ago
- Node modules for working with the IIIF Image API☆15Aug 26, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Vite with Tanstack React Router B2B Saas SPA demo☆13Mar 18, 2025Updated last year
- Helps you manage and autosave your extension's options, separately for each additional permission☆18Apr 4, 2026Updated 2 months ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23May 29, 2026Updated 2 weeks ago
- CMOA Provenance entry tool☆15Aug 1, 2015Updated 10 years ago
- ☆12May 12, 2026Updated last month
- This Library has been replaced by KotlinCrypto/bitops☆11Jan 13, 2025Updated last year
- Framework Free: Functionally Rendered HTML and State Management in Vanilla JS☆12May 4, 2024Updated 2 years ago