statebox/idris-ct

formally verified category theory library

Language: Idris - Size: 376 KB - Last synced at: 7 days ago - Pushed at: almost 5 years ago - Stars: 263 - Forks: 23

statebox/awesome-applied-ct

ACT community resources

Size: 36.1 KB - Last synced at: 1 day ago - Pushed at: over 5 years ago - Stars: 469 - Forks: 25

statebox/cql

CQL: Categorical Query Language implementation in Haskell

Language: Haskell - Size: 616 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 155 - Forks: 14

statebox/libsnark-circuit

Language: C++ - Size: 33.1 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

statebox/zksnark-notebooks

iPython notebooks for zkSNARK experiments

Language: Jupyter Notebook - Size: 7.81 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

statebox/fun-with-categories-talk Fork of marcosh/fun-with-categories-talk

slides for the `fun with categories` talk

Size: 3.49 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

statebox/efgrant-paper

Ethereum Foundation Grant report

Language: TeX - Size: 2.35 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

statebox/solidity-zksnark-verifier

An Ethereum smart contract that verifies TBCS (Two-Input Boolean Circuit Satisfiability) SNARKs

Size: 25.4 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

statebox/idris-stbx-core

Category theoretic semantics of glued open Petri nets in Idris

Language: Idris - Size: 980 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1

statebox/idris-multibase

Self-identifying base encodings in Idris

Language: Idris - Size: 32.2 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 1

statebox/idris-multihash

Multihash for Idris

Language: Idris - Size: 47.9 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 8 - Forks: 1

statebox/applied-cat

Applied Category Theory Community app

Language: JavaScript - Size: 1.16 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 1

statebox/cli-tool

Statebox CLI tool

Language: JavaScript - Size: 108 KB - Last synced at: 20 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0

statebox/petrinet-rs

basic Rust petrinet execution

Language: Rust - Size: 19.5 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 2

statebox/fsm-oracle

Finite state machines as graphs

Language: Idris - Size: 95.7 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 58 - Forks: 7

statebox/purescript-firestore

A Purescript library to interact with Google Cloud Firestore

Language: PureScript - Size: 145 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 13 - Forks: 1

statebox/purescript-studio

Statebox studio + core + API + REST client

Language: PureScript - Size: 1.84 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0

statebox/dstbx

dependently typed Statebox (heavy WIP)

Language: Idris - Size: 606 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 8 - Forks: 0

statebox/idris-ct-docs

Published literate Idris documentation for statebox/idris-ct

Size: 177 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 0

statebox/ptnet-viewer

Simple Petrinet viewer / simulator...

Language: JavaScript - Size: 81.1 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 1

statebox/monmor-spec

Exchange format for morphisms in Monoidal Categories

Size: 246 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 0

statebox/cql-vscode

CQL extension for Visual Studio Code

Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 1

statebox/36c3-og-workshop

Open Games workshop at 36c3

Size: 287 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

statebox/tbpt-viewer

Viewer for TPBT representations as Petri nets

Language: JavaScript - Size: 502 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 0

statebox/btc-xmr-swap-protocol

Petrinets for the BTC <=> XMR swap protocol

Language: JavaScript - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

statebox/annotation-tool

Paper commenting tool

Language: JavaScript - Size: 3.43 MB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

statebox/purescript-halogen-svg Fork of kwohlfahrt/purescript-halogen-svg

SVG support for purescript-halogen, including SVG animations

Language: PureScript - Size: 38.1 KB - Last synced at: 9 months ago - Pushed at: almost 4 years ago - Stars: 6 - Forks: 2

statebox/AlexanderGrothenbot

Alexander Grothenbot

Language: JavaScript - Size: 54.7 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

statebox/bcfwm

Blockchain Technology for the Working Mathematician

Language: TeX - Size: 328 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 23 - Forks: 2

statebox/optparse-idris Fork of HuwCampbell/optparse-idris

Minimal port of optparse-applicative to idris

Language: Idris - Size: 29.3 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

statebox/purescript-profunctor-lenses Fork of MonoidMusician/purescript-profunctor-lenses

Pure profunctor lenses

Language: PureScript - Size: 233 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

statebox/pflow-parse

something to massage .pflow files into shape

Language: JavaScript - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

statebox/liveshare-vm

google compute vm with nomachine desktop sharing

Language: Shell - Size: 10.7 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

statebox/idris-bytes Fork of ziman/idris-bytes

FFI-based byte buffers for Idris

Language: Idris - Size: 40 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 1

statebox/ttsl

TTSL (Tiny Type Specification Language) parser in JavaScript

Language: JavaScript - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

statebox/nll-spec

Binary codec for "number-list list", specification

Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

statebox/py-stbx-packetcodec

Statebox codec for python

Language: Python - Size: 23.4 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 1

statebox/aragon-nest-grants-program Fork of aragon/nest

A grants program to support the development of the ecosystem

Size: 287 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

statebox/whatis

What Is Statebox

Size: 0 Bytes - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0

statebox/fork-of-ethsf-consensus-visualization Fork of cryptoeconomics-study/visualizations

👾 Implementation of cryptoeconomics coding project

Language: JavaScript - Size: 1.09 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

statebox/nll-js

JS implementation of NLL codec

Language: JavaScript - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

statebox/purescript-xml Fork of voteliquid/purescript-xml

XML parsing, and type classes and combinators for encoding and decoding values to and from XML.

Language: PureScript - Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

statebox/lamassu-nets Fork of lamassu/statebox

Statebox diagrams for Lamassu machines

Size: 61.5 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

statebox/net-viewer

stupid simple net viewer based on d3/cola

Language: HTML - Size: 93.8 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

statebox/multiset

stupid simple multisets in JS

Language: JavaScript - Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0

statebox/tbpt

Tiny bipartite graph encoding

Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 0

statebox/mininet

Specify petri net as bpt graph

Language: JavaScript - Size: 110 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0

statebox/booktools

Docker image with tooling to convert markdown with inline latex to HTML & PDF

Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

statebox/stbxgql

graphql server

Language: JavaScript - Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

statebox/stbxui

user interface for statebox

Language: JavaScript - Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

statebox/nbpt

nano bipartite graph encoding

Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0