Skip to content
Change the repository type filter

All

    Repositories list

    • code that illustrates the halting problem by attacking code to automatically prove or verify estimates in analysis
      Python
      Apache License 2.0
      23000Updated May 29, 2025May 29, 2025
    • ontology

      Public
      autopoietic ergodicity and embodied gradualism
      JavaScript
      96133Updated May 27, 2025May 27, 2025
    • panda

      Public
      Patched Attention for Nonlinear Dynamics
      Python
      MIT License
      12000Updated May 21, 2025May 21, 2025
    • dysts

      Public
      Hundreds of strange attractors
      Python
      Apache License 2.0
      72000Updated May 20, 2025May 20, 2025
    • arbor

      Public
      Python
      MIT License
      6000Updated May 10, 2025May 10, 2025
    • A Model Context Protocol server that provides access to Kuzu databases
      JavaScript
      MIT License
      7000Updated May 8, 2025May 8, 2025
    • UI components for building fantastic desktop application by using GPUI.
      Rust
      Other
      132000Updated May 8, 2025May 8, 2025
    • ladyworm

      Public
      proof-of-neural-operator
      C++
      BSD 2-Clause "Simplified" License
      1.8k000Updated May 2, 2025May 2, 2025
    • Other
      78000Updated Apr 30, 2025Apr 30, 2025
    • clrs

      Public
      Jupyter Notebook
      Apache License 2.0
      105000Updated Apr 30, 2025Apr 30, 2025
    • Python client for RxInferServer.jl
      Python
      Other
      1000Updated Apr 10, 2025Apr 10, 2025
    • Write Model Context Protocol servers in few lines of go code. Docs at https://mcpgolang.com
      Go
      MIT License
      90000Updated Apr 9, 2025Apr 9, 2025
    • ember

      Public
      Python
      MIT License
      27000Updated Apr 8, 2025Apr 8, 2025
    • scat

      Public
      nomic-ai's Zoomable, animated scatterplots in the browser that scales over a billion points
      TypeScript
      Other
      69000Updated Apr 3, 2025Apr 3, 2025
    • Properads and Pluricategories
      Python
      MIT License
      74000Updated Apr 2, 2025Apr 2, 2025
    • dollar

      Public
      $USDN — The Noble Dollar
      Go
      Other
      1000Updated Apr 2, 2025Apr 2, 2025
    • Lean theorem proving interface which feels like pen-and-paper proofs.
      TypeScript
      MIT License
      10000Updated Mar 30, 2025Mar 30, 2025
    • An emacs package for forester
      Emacs Lisp
      MIT License
      1000Updated Mar 21, 2025Mar 21, 2025
    • babooka

      Public
      Babashka book
      Clojure
      Other
      36000Updated Mar 18, 2025Mar 18, 2025
    • csm

      Public
      A Conversational Speech Generation Model
      Python
      Apache License 2.0
      1.3k000Updated Mar 14, 2025Mar 14, 2025
    • base-mcp

      Public
      TypeScript
      MIT License
      74000Updated Mar 13, 2025Mar 13, 2025
    • groudlight's R1_vlm applied to string diagrams
      Python
      MIT License
      21000Updated Mar 13, 2025Mar 13, 2025
    • bd3lms

      Public
      Block Diffusion: Interpolating Between Autoregressive and Diffusion Language Models
      Python
      37000Updated Mar 13, 2025Mar 13, 2025
    • MindEyeV2

      Public
      Jupyter Notebook
      MIT License
      26000Updated Mar 9, 2025Mar 9, 2025
    • forest

      Public
      TeX
      The Unlicense
      3000Updated Mar 6, 2025Mar 6, 2025
    • ripgrep

      Public
      ripgrep recursively searches directories for a regex pattern while respecting your gitignore
      Rust
      The Unlicense
      2.1k000Updated Feb 27, 2025Feb 27, 2025
    • swe-rl

      Public
      Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution
      Python
      Other
      39000Updated Feb 26, 2025Feb 26, 2025
    • voice-fn

      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
      5000Updated Feb 23, 2025Feb 23, 2025
    • Allows AI Agents to interact with the Twilio SendGrid v3 API, managing contact lists, templates, single sends, and stats
      TypeScript
      6000Updated Feb 23, 2025Feb 23, 2025
    • Benchmarking Vision-Language Models on OCR tasks in Dynamic Video Environments
      Python
      MIT License
      3000Updated Feb 14, 2025Feb 14, 2025