Skip to content

@meta-introspector meta-introspector

Change the repository type filter

All

    Repositories list

    578 repositories

    • 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
      •69•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
      •920•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
      •28•0•0•0•Updated Apr 25, 2025Apr 25, 2025

    • pinocchio

      Public
      Create Solana programs with no dependencies attached
      Rust
      •
      Apache License 2.0
      •75•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
      •56•0•0•0•Updated Apr 25, 2025Apr 25, 2025

    • mathlib4

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

    • lean4

      Public
      Lean 4 programming language and theorem prover
      Lean
      •
      Apache License 2.0
      •566•0•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

    • mucho

      Public
      Command-line tool that simplifies the development and testing of Solana blockchain programs.
      TypeScript
      •
      MIT License
      •14•0•0•0•Updated Apr 21, 2025Apr 21, 2025

    • cloud-deployment-eliza

      Public
      Cloud deployment of : Eliza Autonomous agents for everyone
      TypeScript
      •
      MIT License
      •5.1k•7•33•35•Updated Apr 20, 2025Apr 20, 2025

    • SolanaExamples

      Public
      Examples of Solana applications verification with the Certora Prover
      Rust
      •1•0•0•0•Updated Apr 19, 2025Apr 19, 2025

    • th-desugar

      Public
      Desugars Template Haskell abstract syntax to a simpler format without changing semantics
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •14•1•0•0•Updated Apr 18, 2025Apr 18, 2025

    • LeanCamCombi

      Public
      Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
      Lean
      •
      Apache License 2.0
      •14•0•0•0•Updated Apr 17, 2025Apr 17, 2025

    • drizzle-dbml-generator

      Public
      Generate DBML markup from your schema defined with Drizzle ORM.
      TypeScript
      •
      MIT License
      •11•1•0•0•Updated Apr 15, 2025Apr 15, 2025

    • platform-tools-agave-rust-solana

      Public
      Shell
      •
      Apache License 2.0
      •35•0•0•0•Updated Apr 14, 2025Apr 14, 2025

    • meta-meme

      Public
      The meta meme
      Haskell
      •
      MIT License
      •3•13•173•7•Updated Apr 12, 2025Apr 12, 2025

    • modelio-solfunmeme

      Public
      HTML
      •
      GNU Affero General Public License v3.0
      •0•0•0•1•Updated Apr 11, 2025Apr 11, 2025

    • ground_zero_lean4_hott

      Public
      Ground Zero: Lean 4 HoTT Library
      Lean
      •
      Apache License 2.0
      •2•0•0•0•Updated Apr 10, 2025Apr 10, 2025

    • quasi-meta-meme

      Public
      Shell
      •
      GNU Affero General Public License v3.0
      •0•2•16•0•Updated Apr 9, 2025Apr 9, 2025

    • CertoraProver

      Public
      The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
      Kotlin
      •
      GNU General Public License v3.0
      •16•0•0•0•Updated Apr 8, 2025Apr 8, 2025

    • mathematics_in_lean_source

      Public
      Source code for the Mathematics in Lean tutorial.
      Lean
      •80•0•0•0•Updated Apr 7, 2025Apr 7, 2025

    • LeanAide

      Public
      Tools based on AI for helping with Lean 4
      Jupyter Notebook
      •
      Apache License 2.0
      •10•0•0•0•Updated Apr 1, 2025Apr 1, 2025

    • maxGraph-ts-zos

      Public
      maxGraph is a fully client side JavaScript diagramming library
      TypeScript
      •
      Apache License 2.0
      •2.1k•0•0•0•Updated Apr 1, 2025Apr 1, 2025

    • chat-dl-zos

      Public
      A command-line tool to download and convert AI chat conversations to markdown format.
      TypeScript
      •
      MIT License
      •1•0•0•0•Updated Mar 31, 2025Mar 31, 2025

    • mathematics_in_lean

      Public
      The user home repository for the Mathematics in Lean tutorial.
      HTML
      •228•0•0•0•Updated Mar 30, 2025Mar 30, 2025

    • fast-check-typescript-zos

      Public
      Property based testing framework for JavaScript (like QuickCheck) written in TypeScript for zos
      TypeScript
      •
      MIT License
      •189•0•0•0•Updated Mar 28, 2025Mar 28, 2025

    • activitypub-federation-rust

      Public
      High-level Rust library for the Activitypub protocol
      Rust
      •
      GNU Affero General Public License v3.0
      •54•0•0•0•Updated Mar 28, 2025Mar 28, 2025