Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / falconre / falcon-z3
Rust bindings for Z3
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/falconre%2Ffalcon-z3
Stars: 5
Forks: 1
Open Issues: 0
License: None
Language: Rust
Repo Size: 39.1 KB
Dependencies:
82
Created: about 6 years ago
Updated: 10 months ago
Last pushed: over 2 years ago
Last synced: 4 days ago
Files
Loading...
Readme
Loading...
Dependencies
Cargo.lock
cargo
- addr2line 0.16.0
- adler 1.0.2
- aho-corasick 0.7.18
- ansi_term 0.11.0
- atty 0.2.14
- autocfg 1.0.1
- backtrace 0.3.61
- bad64 0.4.0
- bad64-sys 0.3.1
- base64 0.13.0
- bindgen 0.58.1
- bindgen 0.59.1
- bitflags 1.3.2
- bitvec 0.19.5
- cc 1.0.69
- cexpr 0.4.0
- cexpr 0.5.0
- cfg-if 1.0.0
- clang-sys 1.2.1
- clap 2.33.3
- cstr_core 0.2.4
- cty 0.2.1
- env_logger 0.8.4
- error-chain 0.12.4
- falcon 0.5.2
- falcon_capstone 0.5.0
- funty 1.1.0
- gimli 0.25.0
- glob 0.3.0
- goblin 0.4.2
- hermit-abi 0.1.19
- humantime 2.1.0
- itoa 0.4.8
- jobserver 0.1.24
- lazy_static 1.4.0
- lazycell 1.3.0
- libc 0.2.101
- libloading 0.7.0
- log 0.4.14
- memchr 2.4.1
- miniz_oxide 0.4.4
- nom 5.1.2
- nom 6.1.2
- num-bigint 0.4.0
- num-derive 0.3.3
- num-integer 0.1.44
- num-traits 0.2.14
- object 0.26.1
- peeking_take_while 0.1.2
- pkg-config 0.3.19
- plain 0.2.3
- proc-macro2 1.0.28
- quote 1.0.9
- radium 0.5.3
- regex 1.5.4
- regex-syntax 0.6.25
- rustc-demangle 0.1.21
- rustc-hash 1.1.0
- ryu 1.0.5
- scroll 0.10.2
- scroll_derive 0.10.5
- serde 1.0.129
- serde_derive 1.0.129
- serde_json 1.0.66
- shlex 1.0.0
- static_assertions 1.1.0
- strsim 0.8.0
- syn 1.0.75
- tap 1.0.1
- termcolor 1.1.2
- textwrap 0.11.0
- unicode-width 0.1.8
- unicode-xid 0.2.2
- vec_map 0.8.2
- version_check 0.9.3
- which 3.1.1
- winapi 0.3.9
- winapi-i686-pc-windows-gnu 0.4.0
- winapi-util 0.1.5
- winapi-x86_64-pc-windows-gnu 0.4.0
- wyz 0.2.0
- z3-sys 0.7.1