Skip to content

@plurigrid plurigrid

Change the repository type filter

All

    Repositories list

    506 repositories

    • oxcaml-playground

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

    • lean-abc-true-almost-always

      Public
      Lean
      •5•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
      •744•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
      •117•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
      •48•0•0•0•Updated Jun 6, 2025Jun 6, 2025

    • pepepedia

      Public
      a kind frog 🐸
      TypeScript
      •
      MIT License
      •32•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
      •12•0•0•0•Updated May 21, 2025May 21, 2025

    • dysts

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

    • arbor

      Public
      Python
      •
      MIT License
      •7•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
      •10•0•0•0•Updated May 8, 2025May 8, 2025

    • gpui-component

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

    • ladyworm

      Public
      proof-of-neural-operator
      wormholewebgpujank
      C++
      •
      BSD 2-Clause "Simplified" License
      •1.9k•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
      •80•0•0•0•Updated Apr 30, 2025Apr 30, 2025

    • clrs

      Public
      Jupyter Notebook
      •
      Apache License 2.0
      •106•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
      •98•0•0•0•Updated Apr 9, 2025Apr 9, 2025

    • ember

      Public
      Python
      •
      MIT License
      •31•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

    • properadness

      Public
      Properads and Pluricategories
      Python
      •
      MIT License
      •77•0•0•0•Updated Apr 2, 2025Apr 2, 2025

    • dollar

      Public
      $USDN — The Noble Dollar
      Go
      •
      Other
      •2•0•0•0•Updated Apr 2, 2025Apr 2, 2025

    • paperproof

      Public
      Lean theorem proving interface which feels like pen-and-paper proofs.
      TypeScript
      •
      MIT License
      •10•0•0•0•Updated Mar 30, 2025Mar 30, 2025

    • forester.el

      Public
      An emacs package for forester
      Emacs Lisp
      •
      MIT License
      •1•0•0•0•Updated Mar 21, 2025Mar 21, 2025

    • babooka

      Public
      Babashka book
      Clojure
      •
      Other
      •36•0•0•0•Updated Mar 18, 2025Mar 18, 2025

    • csm

      Public
      A Conversational Speech Generation Model
      Python
      •
      Apache License 2.0
      •1.3k•0•0•0•Updated Mar 14, 2025Mar 14, 2025

    • base-mcp

      Public
      TypeScript
      •
      MIT License
      •76•0•0•0•Updated Mar 13, 2025Mar 13, 2025

    • r1_diagram

      Public
      groudlight's R1_vlm applied to string diagrams
      Python
      •
      MIT License
      •21•0•0•0•Updated Mar 13, 2025Mar 13, 2025