Statebox

cql Public
CQL: Categorical Query Language implementation in Haskell

statebox/cql’s past year of commit activity

Haskell 171 AGPL-3.0 15 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 9 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 33 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 6 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 59 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 263 AGPL-3.0 23 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 5 0 100 2 Updated Jun 12, 2020

View all repositories

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Statebox

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!

Search code, repositories, users, issues, pull requests...

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!