Skip to content

@plurigrid plurigrid

Change the repository type filter

All

    Repositories list

    516 repositories

    • ifl2025-liquidhaskell

      Public
      Refinement-Types Driven Development: A study @ IFL 2025
      TeX
      •1•0•0•0•Updated Sep 17, 2025Sep 17, 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
      •8•0•0•0•Updated Sep 12, 2025Sep 12, 2025

    • inverso

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

    • lolita

      Public
      Official implementation of "Lost in Latent Space: An Empirical Study of Latent Diffusion Models for Physics Emulation"
      Python
      •3•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
      •17•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
      •191•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
      •18•0•0•0•Updated Jun 22, 2025Jun 22, 2025

    • oxcaml-playground

      Public
      OxCaml playground (for use with Codespaces)
      OCaml
      •
      MIT License
      •28•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
      •773•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
      •126•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
      •77•0•0•0•Updated Jun 6, 2025Jun 6, 2025

    • pepepedia

      Public
      a kind frog 🐸
      TypeScript
      •
      MIT License
      •52•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
      •73•0•0•0•Updated May 20, 2025May 20, 2025

    • arbor

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

    • ladyworm

      Public
      proof-of-neural-operator
      wormholewebgpujank
      C++
      •
      BSD 2-Clause "Simplified" License
      •2.1k•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
      •88•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