Skip to content

Pinned Loading

  1. idris-ct Public

    formally verified category theory library

    Idris 262 23

  2. idris-multibase Public

    Self-identifying base encodings in Idris

    Idris 6 1

  3. idris-multihash Public

    Multihash for Idris

    Idris 9 1

Repositories

Showing 10 of 51 repositories
  • cql Public

    CQL: Categorical Query Language implementation in Haskell

    Haskell 168 AGPL-3.0 15 39 5 Updated Apr 14, 2023
  • AlexanderGrothenbot Public

    Alexander Grothenbot

    JavaScript 2 0 0 6 Updated Dec 11, 2022
  • applied-cat Public

    Applied Category Theory Community app

    JavaScript 9 AGPL-3.0 1 1 11 Updated Dec 9, 2022
  • cli-tool Public

    Statebox CLI tool

    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

    PureScript 6 BSD-3-Clause 33 2 1 Updated Jul 21, 2021
  • 36c3-og-workshop Public

    Open Games workshop at 36c3

    1 0 0 0 Updated Feb 22, 2021
  • petrinet-rs Public

    basic Rust petrinet execution

    Rust 6 3 0 0 Updated Dec 17, 2020
  • fsm-oracle Public

    Finite state machines as graphs

    Idris 59 AGPL-3.0 7 3 0 Updated Jun 23, 2020
  • idris-ct Public

    formally verified category theory library

    Idris 262 AGPL-3.0 23 23 7 Updated Jun 23, 2020
  • purescript-studio Public

    Statebox studio + core + API + REST client

    PureScript 5 0 100 2 Updated Jun 12, 2020

Top languages

Loading…

Most used topics

Loading…