Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / elliottt / auto
Decision procedure for intuitionistic logic
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/elliottt%2Fauto
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: Rust
Repo Size: 104 KB
Dependencies:
68
Created: almost 3 years ago
Updated: about 2 years ago
Last pushed: 4 months ago
Last synced: 6 days ago
Files
Loading...
Readme
Loading...
Dependencies
Cargo.toml
cargo
Cargo.lock
cargo
- aho-corasick 0.7.18
- ansi_term 0.11.0
- arrayvec 0.5.2
- atty 0.2.14
- autocfg 1.0.1
- bitflags 1.2.1
- block-buffer 0.7.3
- block-padding 0.1.5
- byte-tools 0.3.1
- byteorder 1.4.3
- cc 1.0.69
- cfg-if 1.0.0
- clap 2.33.3
- clipboard-win 4.2.1
- digest 0.8.1
- dirs-next 2.0.0
- dirs-sys-next 0.1.2
- endian-type 0.1.2
- error-code 2.3.0
- fake-simd 0.1.2
- fd-lock 2.0.0
- generic-array 0.12.4
- getrandom 0.2.3
- hermit-abi 0.1.19
- libc 0.2.98
- log 0.4.14
- maplit 1.0.2
- memchr 2.4.0
- memoffset 0.6.4
- nibble_vec 0.1.0
- nix 0.20.0
- nix 0.21.0
- opaque-debug 0.2.3
- pest 2.1.3
- pest_derive 2.1.0
- pest_generator 2.1.3
- pest_meta 2.1.3
- pretty 0.10.0
- proc-macro2 1.0.27
- quote 1.0.9
- radix_trie 0.2.1
- redox_syscall 0.2.9
- redox_users 0.4.0
- regex 1.5.4
- regex-syntax 0.6.25
- repl-rs 0.2.5
- repl_framework 0.2.0
- rustyline 8.2.0
- scopeguard 1.1.0
- sha-1 0.8.2
- smallvec 1.6.1
- str-buf 1.0.5
- strsim 0.8.0
- syn 1.0.73
- textwrap 0.11.0
- typed-arena 2.0.1
- typenum 1.13.0
- ucd-trie 0.1.3
- unicode-segmentation 1.8.0
- unicode-width 0.1.8
- unicode-xid 0.2.2
- utf8parse 0.2.0
- vec_map 0.8.2
- wasi 0.10.2+wasi-snapshot-preview1
- winapi 0.3.9
- winapi-i686-pc-windows-gnu 0.4.0
- winapi-x86_64-pc-windows-gnu 0.4.0
- yansi 0.5.0