Skip to content

@filabs-dev filabs

Change the repository type filter

All

    Repositories list

    5 repositories

    • Lean-blaster

      Public
      SMT-based reasoning core for Lean4
      Lean
      •
      Apache License 2.0
      •10•0•0•0•Updated Jul 1, 2026Jul 1, 2026

    • scrolls

      Public
      Read-optimized cache of Cardano on-chain entities
      Rust
      •
      Apache License 2.0
      •40•0•0•0•Updated Feb 29, 2024Feb 29, 2024

    • plutus-apps

      Public
      The Plutus application platform
      Haskell
      •
      Apache License 2.0
      •208•0•0•0•Updated Apr 19, 2023Apr 19, 2023

    • cardano-e2e-example

      Public
      A simple Cardano dApp example.
      Haskell
      •2•0•0•0•Updated Apr 6, 2023Apr 6, 2023

    • plutus-budget-service

      Public
      Service for obtaining memory and cpu units of cardano transactions involving plutus scripts.
      Haskell
      •
      Apache License 2.0
      •2•0•0•0•Updated Feb 6, 2023Feb 6, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.