Movatterモバイル変換

PinnedLoading

idris-ct

Public

formally verified category theory library

Idris 266 24

idris-multibase

Public

Self-identifying base encodings in Idris

Idris 6 1

idris-multihash

Public

Multihash for Idris

Idris 9 1

Showing 10 of 51 repositories

cql Public
CQL: Categorical Query Language implementation in Haskell
statebox/cql’s past year of commit activity
Haskell 179AGPL-3.0 16 39 5 UpdatedApr 14, 2023
AlexanderGrothenbot Public
Alexander Grothenbot
statebox/AlexanderGrothenbot’s past year of commit activity
JavaScript 20 0 6 UpdatedDec 11, 2022
applied-cat Public
Applied Category Theory Community app
statebox/applied-cat’s past year of commit activity
JavaScript 9AGPL-3.0 1 1 11 UpdatedDec 9, 2022
cli-tool Public
Statebox CLI tool
statebox/cli-tool’s past year of commit activity
JavaScript 5AGPL-3.00 3 2 UpdatedAug 12, 2021
purescript-halogen-svg Public Forked fromkwohlfahrt/purescript-halogen-svg
SVG support for purescript-halogen, including SVG animations
statebox/purescript-halogen-svg’s past year of commit activity
PureScript 6BSD-3-Clause 33 2 1 UpdatedJul 21, 2021
36c3-og-workshop Public
Open Games workshop at 36c3
statebox/36c3-og-workshop’s past year of commit activity
10 0 0 UpdatedFeb 22, 2021
petrinet-rs Public
basic Rust petrinet execution
statebox/petrinet-rs’s past year of commit activity
Rust 6 4 0 0 UpdatedDec 17, 2020
fsm-oracle Public
Finite state machines as graphs
statebox/fsm-oracle’s past year of commit activity
Idris 60AGPL-3.0 7 3 0 UpdatedJun 23, 2020
idris-ct Public
formally verified category theory library
statebox/idris-ct’s past year of commit activity
Idris 266AGPL-3.0 24 23 7 UpdatedJun 23, 2020
purescript-studio Public
Statebox studio + core + API + REST client
statebox/purescript-studio’s past year of commit activity
PureScript 4 1 100 2 UpdatedJun 12, 2020