Skip to content

Pinned Loading

  1. idris-ct idris-ct Public

    formally verified category theory library

    Idris 253 22

  2. idris-multibase idris-multibase Public

    Self-identifying base encodings in Idris

    Idris 6 1

  3. idris-multihash idris-multihash Public

    Multihash for Idris

    Idris 8 1

Repositories

Showing 10 of 51 repositories
  • cql Public

    CQL: Categorical Query Language implementation in Haskell

    statebox/cql’s past year of commit activity
    Haskell 162 AGPL-3.0 14 39 5 Updated Apr 14, 2023
  • AlexanderGrothenbot Public

    Alexander Grothenbot

    statebox/AlexanderGrothenbot’s past year of commit activity
    JavaScript 2 0 0 6 Updated Dec 11, 2022
  • applied-cat Public

    Applied Category Theory Community app

    statebox/applied-cat’s past year of commit activity
    JavaScript 8 AGPL-3.0 1 1 11 Updated Dec 9, 2022
  • cli-tool Public

    Statebox CLI tool

    statebox/cli-tool’s past year of commit activity
    JavaScript 5 AGPL-3.0 0 3 2 Updated Aug 12, 2021
  • purescript-halogen-svg Public Forked from kwohlfahrt/purescript-halogen-svg

    SVG support for purescript-halogen, including SVG animations

    statebox/purescript-halogen-svg’s past year of commit activity
    PureScript 6 BSD-3-Clause 32 2 1 Updated Jul 21, 2021
  • 36c3-og-workshop Public

    Open Games workshop at 36c3

    statebox/36c3-og-workshop’s past year of commit activity
    1 0 0 0 Updated Feb 22, 2021
  • petrinet-rs Public

    basic Rust petrinet execution

    statebox/petrinet-rs’s past year of commit activity
    Rust 5 3 0 0 Updated Dec 17, 2020
  • fsm-oracle Public

    Finite state machines as graphs

    statebox/fsm-oracle’s past year of commit activity
    Idris 58 AGPL-3.0 7 3 0 Updated Jun 23, 2020
  • idris-ct Public

    formally verified category theory library

    statebox/idris-ct’s past year of commit activity
    Idris 253 AGPL-3.0 22 23 7 Updated Jun 23, 2020
  • purescript-studio Public

    Statebox studio + core + API + REST client

    statebox/purescript-studio’s past year of commit activity
    PureScript 4 0 100 2 Updated Jun 12, 2020