8000 meta-introspector repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@meta-introspector meta-introspector

Change the repository type filter

All

    Repositories list

    618 repositories

    • lean-action

      Public
      GitHub action for standard CI in Lean projects
      Shell
      •
      Apache License 2.0
      •6•0•0•0•Updated May 9, 2025May 9, 2025

    • lean-mlir

      Public
      A minimal development of SSA theory
      Lean
      •
      Other
      •16•0•0•0•Updated May 7, 2025May 7, 2025

    • saw-script

      Public
      The SAW scripting language.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •72•0•0•0•Updated May 7, 2025May 7, 2025

    • crucible

      Public
      Crucible is a library for symbolic simulation of imperative programs
      Haskell
      •44•0•0•0•Updated May 7, 2025May 7, 2025

    • SymmetryBook-Unimath

      Public
      This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
      HTML
      •
      Creative Commons Attribution Share Alike 4.0 International
      •25•0•0•0•Updated May 4, 2025May 4, 2025

    • lean4

      Public
      Lean 4 programming language and theorem prover
      Lean
      •
      Apache License 2.0
      •573•0•0•0•Updated May 3, 2025May 3, 2025

    • cryptol

      Public
      Cryptol: The Language of Cryptography
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •126•0•0•0•Updated May 2, 2025May 2, 2025

    • goose

      Public
      an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
      Rust
      •
      Apache License 2.0
      •947•0•0•0•Updated May 2, 2025May 2, 2025

    • modelcontextprotocol

      Public
      Specification and documentation for the Model Context Protocol
      TypeScript
      •
      MIT License
      •413•0•0•0•Updated May 2, 2025May 2, 2025

    • leanblueprint

      Public
      plasTeX plugin to build formalization blueprints.
      Python
      •
      Apache License 2.0
      •36•0•0•0•Updated May 1, 2025May 1, 2025

    • cli-mcp-server-installer

      Public
      Smithery CLI MCP server installer
      TypeScript
      •
      GNU Affero General Public License v3.0
      •41•0•0•0•Updated May 1, 2025May 1, 2025

    • rl-swarm

      Public
      A fully open source framework for creating RL training swarms over the internet.
      Python
      •
      MIT License
      •319•0•0•0•Updated Apr 30, 2025Apr 30, 2025

    • staketaxcsv-scan-sol-zos

      Public
      python repo to create blockchain CSVs
      Python
      •
      MIT License
      •131•0•0•0•Updated Apr 30, 2025Apr 30, 2025

    • rust-sdk

      Public
      The official Rust SDK for the Model Context Protocol
      Rust
      •
      MIT License
      •147•0•0•0•Updated Apr 29, 2025Apr 29, 2025

    • sail-riscv-lean

      Public
      Lean
      •2•0•0•0•Updated Apr 27, 2025Apr 27, 2025

    • solana-playground

      Public
      Quickly develop, deploy and test Solana programs from browsers
      Rust
      •
      Apache License 2.0
      •278•0•0•0•Updated Apr 26, 2025Apr 26, 2025

    • listen-solana-data

      Public
      Solana Swiss Army Knife
      Rust
      •
      MIT License
      •142•0•0•0•Updated Apr 26, 2025Apr 26, 2025

    • pumpfun-rs

      Public
      A comprehensive Rust SDK for seamless interaction with the PumpFun Solana program.
      Rust
      •40•1•0•0•Updated Apr 26, 2025Apr 26, 2025

    • diet-rpc-validator

      Public
      A Modified Validator for the Diet Client
      Rust
      •
      Other
      •6•0•0•1•Updated Apr 25, 2025Apr 25, 2025

    • token-2022-solana-spl

      Public
      The SPL Token 2022 program and its clients
      Rust
      •
      Apache License 2.0
      •68•0•0•0•Updated Apr 25, 2025Apr 25, 2025

    • lemmy

      Public
      🐀 A link aggregator and forum for the fediverse
      Rust
      •
      GNU Affero General Public License v3.0
      •924•0•0•0•Updated Apr 25, 2025Apr 25, 2025

    • kitsune

      Public
      🦊 (fast) ActivityPub-federated microblogging
      Rust
      •
      Other
      •24•0•0•0•Updated Apr 25, 2025Apr 25, 2025

    • agave-solana-validator

      Public
      Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
      Rust
      •
      Apache License 2.0
      •4.8k•0•0•0•Updated Apr 25, 2025Apr 25, 2025

    • auto.fun

      Public
      press the fun button - again
      TypeScript
      •37•0•0•0•Updated Apr 25, 2025Apr 25, 2025

    • pinocchio

      Public
      Create Solana programs with no dependencies attached
      Rust
      •
      Apache License 2.0
      •80•0•0•0•Updated Apr 25, 2025Apr 25, 2025

    • solana-sdk

      Public
      Rust SDK for the Solana blockchain, used by on-chain program developers and the Agave validator
      Rust
      •
      Apache License 2.0
      •66•0•0•0•Updated Apr 25, 2025Apr 25, 2025

    • corelib_verification-cairo-lean

      Public
      Lean
      •
      GNU General Public License v3.0
      •2•0•0•0•Updated Apr 24, 2025Apr 24, 2025

    • mathlib4

      Public
      The math library of Lean 4
      Lean
      •
      Apache License 2.0
      •411•0•0•0•Updated Apr 23, 2025Apr 23, 2025

    • aegis-verify-cairo-contracts-lean4

      Public
      Verify Cairo contracts in Lean 4
      Lean
      •
      GNU General Public License v3.0
      •2•1•0•0•Updated Apr 22, 2025Apr 22, 2025

    • LeanTool

      Public
      A "code intepreter" for Lean
      Python
      •
      GNU General Public License v3.0
      •2•0•0•0•Updated Apr 22, 2025Apr 22, 2025
    0