Skip to content

@plurigrid plurigrid

Change the repository type filter

All

    Repositories list

    527 repositories

    • duck-kanban

      Public
      Duck intelligence kanban system with kundalini computational pattern recognition
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Sep 26, 2025Sep 26, 2025

    • wasi-testsuite

      Public
      WASI / STASI Confidential Testsuite
      Rust
      •
      Apache License 2.0
      •35•1•0•0•Updated Sep 26, 2025Sep 26, 2025

    • ifl2025-liquidhaskell

      Public
      Refinement-Types Driven Development: A study @ IFL 2025
      TeX
      •1•0•0•0•Updated Sep 24, 2025Sep 24, 2025

    • duckCloud

      Public
      duckCloud is an open source Plurigrid project that enables teams to build, manage, and scale polyglot apps across any cloud, K8s, or edge.
      Rust
      •
      Apache License 2.0
      •207•0•0•0•Updated Sep 24, 2025Sep 24, 2025

    • srfi-69

      Public
      *Based* hash tables
      HTML
      •2•0•0•0•Updated Sep 19, 2025Sep 19, 2025

    • llms-txt-hub

      Public
      🤖 The largest directory for AI-ready documentation and tools implementing the proposed llms.txt standard
      TypeScript
      •
      Other
      •332•0•0•0•Updated Sep 18, 2025Sep 18, 2025

    • madonna

      Public
      A Clojure library for building real-time voice-enabled AI pipelines. voice-fn handles the orchestration of speech recognition, audio processing, and AI service integration with the elegance of functional programming.
      Clojure
      •
      Eclipse Public License 1.0
      •9•0•0•0•Updated Sep 12, 2025Sep 12, 2025

    • agi-tools

      Public
      tools that help AI development assistants do Clojure
      Clojure
      •3•0•0•0•Updated Aug 20, 2025Aug 20, 2025

    • CGT4NN

      Public
      Compositional Game Theory for Neural Networks
      Jupyter Notebook
      •
      MIT License
      •3•0•0•0•Updated Aug 17, 2025Aug 17, 2025

    • inverso

      Public
      Lean documentation authoring tool
      JavaScript
      •
      Apache License 2.0
      •95•0•0•0•Updated Aug 15, 2025Aug 15, 2025

    • tree-sitter-wit

      Public
      Tree Sitter grammar for Web Assembly Interface Types
      JavaScript
      •
      Apache License 2.0
      •7•0•0•0•Updated Aug 13, 2025Aug 13, 2025

    • UncutGem

      Public
      A prototype Full Stack fully Open Source NV Center Diamond Magnetometer
      Prolog
      •
      GNU Affero General Public License v3.0
      •23•0•0•0•Updated Aug 9, 2025Aug 9, 2025

    • lolita

      Public
      Official implementation of "Lost in Latent Space: An Empirical Study of Latent Diffusion Models for Physics Emulation"
      Python
      •4•0•0•0•Updated Aug 6, 2025Aug 6, 2025

    • gay

      Public
      jank with colored operads as parentheses!
      C++
      •
      Mozilla Public License 2.0
      •108•0•0•0•Updated Jul 30, 2025Jul 30, 2025

    • Goedel-Prover-V2

      Public
      Python
      •18•0•0•0•Updated Jul 15, 2025Jul 15, 2025

    • tree-sitter-julia

      Public
      Julia grammar for tree-sitter
      JavaScript
      •
      MIT License
      •44•0•0•0•Updated Jun 29, 2025Jun 29, 2025

    • immobile-mcp

      Public
      Model Context Protocol Server for Mobile Automation and Scraping (iOS, Android, Emulators, Simulators and Real Devices)
      TypeScript
      •
      Apache License 2.0
      •202•0•0•0•Updated Jun 27, 2025Jun 27, 2025

    • flox-vscode

      Public
      Flox VSCode Extension
      TypeScript
      •
      MIT License
      •2•0•0•0•Updated Jun 24, 2025Jun 24, 2025

    • ies

      Public
      _ a trifurcation in the path, the whole
      ies
      Zig
      •
      MIT License
      •1.1k•0•0•0•Updated Jun 22, 2025Jun 22, 2025

    • infinity-cosmos

      Public
      A blueprint for a formalization of infinity-cosmos theory in Lean.
      TeX
      •
      Apache License 2.0
      •19•0•0•0•Updated Jun 22, 2025Jun 22, 2025

    • oxcaml-playground

      Public
      OxCaml playground (for use with Codespaces)
      OCaml
      •
      MIT License
      •32•0•0•0•Updated Jun 12, 2025Jun 12, 2025

    • lean-abc-true-almost-always

      Public
      Lean
      •6•0•0•0•Updated Jun 12, 2025Jun 12, 2025

    • oxcaml-lsp

      Public
      OxCaml Language Server Protocol implementation
      OCaml
      •
      Other
      •141•0•0•0•Updated Jun 12, 2025Jun 12, 2025

    • paper-worlds

      Public
      High accuracy RAG for answering questions from scientific documents with citations
      Python
      •
      Apache License 2.0
      •775•0•0•0•Updated Jun 11, 2025Jun 11, 2025

    • underestimates

      Public
      code that illustrates the halting problem by attacking code to automatically prove or verify estimates in analysis
      Python
      •
      Apache License 2.0
      •24•0•0•0•Updated Jun 10, 2025Jun 10, 2025

    • oni

      Public
      Learn online intrinsic rewards from LLM feedback
      Python
      •
      Other
      •1•0•0•0•Updated Jun 10, 2025Jun 10, 2025

    • oterm

      Public
      a text-based terminal client for Ollama
      Python
      •
      MIT License
      •125•0•0•0•Updated Jun 9, 2025Jun 9, 2025

    • formal-conjectures

      Public
      A collection of formalized statements of conjectures in Lean.
      Lean
      •
      Apache License 2.0
      •80•0•0•0•Updated Jun 6, 2025Jun 6, 2025

    • pepepedia

      Public
      a kind frog 🐸
      TypeScript
      •
      MIT License
      •58•0•0•0•Updated Jun 3, 2025Jun 3, 2025

    • ontology

      Public
      autopoietic ergodicity and embodied gradualism
      agency
      JavaScript
      •9•6•13•3•Updated May 27, 2025May 27, 2025