Skip to content

@plurigrid plurigrid

Change the repository type filter

All

    Repositories list

    512 repositories

    • gay

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

    • Goedel-Prover-V2

      Public
      Python
      •8•0•0•0•Updated Jul 15, 2025Jul 15, 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
      •7•0•0•0•Updated Jun 30, 2025Jun 30, 2025

    • tree-sitter-julia

      Public
      Julia grammar for tree-sitter
      JavaScript
      •
      MIT License
      •42•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
      •152•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
      •979•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
      •14•0•0•0•Updated Jun 22, 2025Jun 22, 2025

    • oxcaml-playground

      Public
      OxCaml playground (for use with Codespaces)
      OCaml
      •
      MIT License
      •6•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

    • paper-worlds

      Public
      High accuracy RAG for answering questions from scientific documents with citations
      Python
      •
      Apache License 2.0
      •762•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
      •122•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
      •69•0•0•0•Updated Jun 6, 2025Jun 6, 2025

    • pepepedia

      Public
      a kind frog 🐸
      TypeScript
      •
      MIT License
      •42•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

    • panda

      Public
      Patched Attention for Nonlinear Dynamics
      Python
      •
      MIT License
      •13•0•0•0•Updated May 21, 2025May 21, 2025

    • dysts

      Public
      Hundreds of strange attractors
      Python
      •
      Apache License 2.0
      •72•0•0•0•Updated May 20, 2025May 20, 2025

    • arbor

      Public
      Python
      •
      MIT License
      •9•0•0•0•Updated May 10, 2025May 10, 2025

    • kuzu-mcp-server

      Public
      A Model Context Protocol server that provides access to Kuzu databases
      JavaScript
      •
      MIT License
      •11•0•0•0•Updated May 8, 2025May 8, 2025

    • gpui-component

      Public
      UI components for building fantastic desktop application by using GPUI.
      Rust
      •
      Other
      •164•0•0•0•Updated May 8, 2025May 8, 2025

    • ladyworm

      Public
      proof-of-neural-operator
      wormholewebgpujank
      C++
      •
      BSD 2-Clause "Simplified" License
      •2k•0•0•0•Updated May 2, 2025May 2, 2025

    • IsUMap

      Public
      IsUMap is a tool for manifold learning, dimension reduction and data visualization
      Python
      •
      Other
      •3•0•0•0•Updated May 1, 2025May 1, 2025

    • DeepSeek-Prover-V2

      Public
      Other
      •84•0•0•0•Updated Apr 30, 2025Apr 30, 2025

    • clrs

      Public
      Jupyter Notebook
      •
      Apache License 2.0
      •108•0•0•0•Updated Apr 30, 2025Apr 30, 2025

    • RxInferClient.py

      Public
      Python client for RxInferServer.jl
      Python
      •
      Other
      •2•0•0•0•Updated Apr 10, 2025Apr 10, 2025

    • mcp-golang

      Public
      Write Model Context Protocol servers in few lines of go code. Docs at https://mcpgolang.com
      Go
      •
      MIT License
      •107•0•0•0•Updated Apr 9, 2025Apr 9, 2025

    • ember

      Public
      Python
      •
      MIT License
      •34•0•0•0•Updated Apr 8, 2025Apr 8, 2025

    • scat

      Public
      nomic-ai's Zoomable, animated scatterplots in the browser that scales over a billion points
      TypeScript
      •
      Other
      •69•0•0•0•Updated Apr 3, 2025Apr 3, 2025