Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / daiseeai / theta-idl
Define communication protocols between applications using algebraic data types.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/daiseeai%2Ftheta-idl
Fork of target/theta-idl
Stars: 1
Forks: 2
Open Issues: 0
License: other
Language: Haskell
Repo Size: 551 KB
Dependencies:
153
Created: over 2 years ago
Updated: about 1 year ago
Last pushed: 5 months ago
Last synced: 5 months ago
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/core.yml
actions
- actions/checkout v2 composite
- cachix/cachix-action v10 composite
- cachix/install-nix-action v15 composite
.github/workflows/stage.yml
actions
- actions/cache v2 composite
- actions/checkout v2 composite
- cachix/cachix-action v10 composite
- cachix/install-nix-action v15 composite
theta/theta.cabal
hackage
- optparse-applicative *
- theta *
- stache >=2.3.1 && <3 test
- tasty * test
- tasty-golden * test
- tasty-hunit * test
- tasty-quickcheck * test
- theta * test
rust/Cargo.lock
cargo
- adler32 1.2.0
- aho-corasick 0.7.18
- arrayvec 0.5.2
- autocfg 0.1.8
- autocfg 1.1.0
- bitflags 1.3.2
- cfg-if 1.0.0
- chrono 0.4.19
- cloudabi 0.0.3
- crc32fast 1.3.2
- env_logger 0.6.2
- fuchsia-cprng 0.1.1
- integer-encoding 1.1.7
- lexical-core 0.7.6
- libc 0.2.121
- libflate 0.1.27
- log 0.4.14
- memchr 2.4.1
- nom 5.1.2
- num-integer 0.1.44
- num-traits 0.2.14
- quickcheck 0.8.5
- rand 0.6.5
- rand_chacha 0.1.1
- rand_core 0.3.1
- rand_core 0.4.2
- rand_hc 0.1.0
- rand_isaac 0.1.1
- rand_jitter 0.1.4
- rand_os 0.1.3
- rand_pcg 0.1.2
- rand_xorshift 0.1.1
- rdrand 0.4.0
- regex 1.5.5
- regex-syntax 0.6.25
- rle-decode-fast 1.0.3
- ryu 1.0.9
- static_assertions 1.1.0
- take_mut 0.2.2
- time 0.1.44
- uuid 0.8.2
- version_check 0.9.4
- wasi 0.10.0+wasi-snapshot-preview1
- winapi 0.3.9
- winapi-i686-pc-windows-gnu 0.4.0
- winapi-x86_64-pc-windows-gnu 0.4.0
- adler32 1.2.0
- aho-corasick 0.7.18
- arrayvec 0.5.2
- autocfg 0.1.8
- autocfg 1.1.0
- bitflags 1.3.2
- cfg-if 1.0.0
- chrono 0.4.19
- cloudabi 0.0.3
- crc32fast 1.3.2
- env_logger 0.6.2
- fuchsia-cprng 0.1.1
- integer-encoding 1.1.7
- lexical-core 0.7.6
- libc 0.2.121
- libflate 0.1.27
- log 0.4.14
- memchr 2.4.1
- nom 5.1.2
- num-integer 0.1.44
- num-traits 0.2.14
- quickcheck 0.8.5
- rand 0.6.5
- rand_chacha 0.1.1
- rand_core 0.3.1
- rand_core 0.4.2
- rand_hc 0.1.0
- rand_isaac 0.1.1
- rand_jitter 0.1.4
- rand_os 0.1.3
- rand_pcg 0.1.2
- rand_xorshift 0.1.1
- rdrand 0.4.0
- regex 1.5.5
- regex-syntax 0.6.25
- rle-decode-fast 1.0.3
- ryu 1.0.9
- static_assertions 1.1.0
- take_mut 0.2.2
- time 0.1.44
- uuid 0.8.2
- version_check 0.9.4
- wasi 0.10.0+wasi-snapshot-preview1
- winapi 0.3.9
- winapi-i686-pc-windows-gnu 0.4.0
- winapi-x86_64-pc-windows-gnu 0.4.0
test/rust/Cargo.lock
cargo
- adler32 1.2.0
- aho-corasick 0.7.18
- arrayvec 0.5.2
- autocfg 0.1.8
- autocfg 1.1.0
- bitflags 1.3.2
- cfg-if 1.0.0
- chrono 0.4.19
- cloudabi 0.0.3
- crc32fast 1.3.2
- env_logger 0.6.2
- fuchsia-cprng 0.1.1
- integer-encoding 1.1.7
- lexical-core 0.7.6
- libc 0.2.121
- libflate 0.1.27
- log 0.4.14
- memchr 2.4.1
- nom 5.1.2
- num-integer 0.1.44
- num-traits 0.2.14
- quickcheck 0.8.5
- rand 0.6.5
- rand_chacha 0.1.1
- rand_core 0.3.1
- rand_core 0.4.2
- rand_hc 0.1.0
- rand_isaac 0.1.1
- rand_jitter 0.1.4
- rand_os 0.1.3
- rand_pcg 0.1.2
- rand_xorshift 0.1.1
- rdrand 0.4.0
- regex 1.5.5
- regex-syntax 0.6.25
- rle-decode-fast 1.0.3
- ryu 1.0.9
- static_assertions 1.1.0
- take_mut 0.2.2
- time 0.1.44
- uuid 0.8.2
- version_check 0.9.4
- wasi 0.10.0+wasi-snapshot-preview1
- winapi 0.3.9
- winapi-i686-pc-windows-gnu 0.4.0
- winapi-x86_64-pc-windows-gnu 0.4.0