GeezerVison

GeezerVison is showing github.com — Statebox

Pinned Loading

idris-ct idris-ct Public

formally verified category theory library

Idris 273 26
idris-multibase idris-multibase Public

Self-identifying base encodings in Idris

Idris 6 1
idris-multihash idris-multihash Public

Multihash for Idris

Idris 9 1

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All C++ Haskell HTML Idris JavaScript Jupyter Notebook PureScript Python Rust Shell TeX

Sort

Last updated Name Stars

Showing 10 of 51 repositories

cql Public
CQL: Categorical Query Language implementation in Haskell

Uh oh!

There was an error while loading. Please reload this page.

statebox/cql's past year of commit activity

Haskell 189 AGPL-3.0 16 39 5 Updated Apr 14, 2023
AlexanderGrothenbot Public
Alexander Grothenbot

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

statebox/purescript-halogen-svg's past year of commit activity

PureScript 7 BSD-3-Clause 33 2 1 Updated Jul 21, 2021
36c3-og-workshop Public
Open Games workshop at 36c3

Uh oh!

There was an error while loading. Please reload this page.

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

Uh oh!

There was an error while loading. Please reload this page.

statebox/petrinet-rs's past year of commit activity

Rust 6 4 0 0 Updated Dec 17, 2020
fsm-oracle Public
Finite state machines as graphs

Uh oh!

There was an error while loading. Please reload this page.

statebox/fsm-oracle's past year of commit activity

Idris 60 AGPL-3.0 7 3 0 Updated Jun 23, 2020
idris-ct Public
formally verified category theory library

Uh oh!

There was an error while loading. Please reload this page.

statebox/idris-ct's past year of commit activity

Idris 273 AGPL-3.0 26 23 7 Updated Jun 23, 2020
purescript-studio Public
Statebox studio + core + API + REST client

Uh oh!

There was an error while loading. Please reload this page.

statebox/purescript-studio's past year of commit activity

PureScript 5 1 100 2 Updated Jun 12, 2020

View all repositories

People

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.