licenses.dev

proto-vulcan v0.1.6

A miniKanren-family relational logic programming language embedded in Rust

Published on

Licenses

Learn more about license information.

Package Licenses

Apache-2.0 OR MIT

Dependency Licenses

Apache-2.0 OR MIT68
PackageRelationDependenciesPublished
android_system_properties • 0.1.5Minimal Android system properties wrapperINDIRECT1
android-tzdata • 0.1.1Parser for the Android-specific tzdata fileINDIRECT0
autocfg • 1.4.0Automatic cfg for Rust compiler featuresINDIRECT0
bitflags • 1.3.2A macro to generate structures which behave like bitflags. INDIRECT0
bumpalo • 3.16.0A fast bump allocation arena for Rust.INDIRECT0
cassowary • 0.3.0A Rust implementation of the Cassowary linear constraint solving algorithm. The Cassowary algorithm is designed for naturally laying out user interfaces using linear constraints, like 'this button must line up with this text box'. INDIRECT0
cc • 1.1.31A build-time dependency for Cargo build scripts to assist in invoking the native C compiler to compile native C code into a static archive to be linked into Rust code. INDIRECT1
cfg-if • 1.0.0A macro to ergonomically define an item depending on a large number of #[cfg] parameters. Structured like an if-else chain, the first matching branch is the item that gets emitted. INDIRECT0
chrono • 0.4.38Date and time library for RustDIRECT36
core-foundation-sys • 0.8.7Bindings to Core Foundation for macOSINDIRECT0
derivative • 2.2.0A set of alternative `derive` attributes for RustDIRECT4
either • 1.13.0The enum `Either` with variants `Left` and `Right` is a general purpose sum type with two cases. INDIRECT0
getrandom • 0.1.16A small cross-platform library for retrieving random data from system sourceINDIRECT3
iana-time-zone-haiku • 0.1.2iana-time-zone support crate for Haiku OSINDIRECT2
iana-time-zone • 0.1.61get the IANA time zone for the current systemINDIRECT30
itertools • 0.9.0Extra iterator adaptors, iterator methods, free functions, and macros.DIRECT1
itoa • 1.0.11Fast integer primitive to string conversionINDIRECT0
js-sys • 0.3.72Bindings for all JS global objects and functions in all JS environments like Node.js and browsers, built on `#[wasm_bindgen]` using the `wasm-bindgen` crate. INDIRECT13
lazy_static • 1.5.0A macro for declaring lazily evaluated statics in Rust.INDIRECT0
libc • 0.2.161Raw FFI bindings to platform libraries like libc. INDIRECT0
lock_api • 0.4.12Wrappers to create fully-featured Mutex and RwLock types. Compatible with no_std.INDIRECT2
log • 0.4.22A lightweight logging facade for Rust INDIRECT0
miow • 0.3.7A zero overhead I/O library for Windows, focusing on IOCP and async I/O abstractions. INDIRECT3
ntapi • 0.3.7FFI bindings for Native APIINDIRECT3
num-traits • 0.2.19Numeric traits for generic mathematicsINDIRECT1
once_cell • 1.20.2Single assignment cells and lazy values.INDIRECT0
parking_lot_core • 0.8.6An advanced API for creating custom synchronization primitives.INDIRECT9
parking_lot • 0.11.2More compact and efficient implementations of the standard synchronization primitives.INDIRECT13
ppv-lite86 • 0.2.20Implementation of the crypto-simd API for x86INDIRECT7
proc-macro2 • 1.0.89A substitute implementation of the compiler's `proc_macro` API to decouple token-based libraries from the procedural macro use case.INDIRECT1
proto-vulcan-macros • 0.1.6Internal macro library for proto-vulcanDIRECT4
quote • 1.0.37Quasi-quoting macro quote!(...)INDIRECT2
rand_chacha • 0.2.2ChaCha random number generator INDIRECT13
rand_core • 0.5.1Core random number generator traits and tools for implementation. INDIRECT4
rand_hc • 0.2.0HC128 random number generator INDIRECT5
rand • 0.7.3Random number generators and other randomness functionality. DIRECT15
scopeguard • 1.2.0A RAII scope guard that will run a given closure when it goes out of scope, even if the code between panics (assuming unwinding panic). Defines the macros `defer!`, `defer_on_unwind!`, `defer_on_success!` as shorthands for guards with one of the implemented strategies. INDIRECT0
serde_derive • 1.0.195Macros 1.1 implementation of #[derive(Serialize, Deserialize)]INDIRECT4
serde_json • 1.0.132A JSON serialization file formatDIRECT9
serde • 1.0.195A generic serialization/deserialization frameworkDIRECT5
shlex • 1.3.0Split a string into shell words, like Python's shlex.INDIRECT0
signal-hook-registry • 1.4.2Backend crate for signal-hookINDIRECT1
signal-hook • 0.1.17Unix signal handlingINDIRECT9
smallvec • 1.13.2'Small vector' optimization: store up to a small number of items on the stackINDIRECT0
syn • 1.0.109Parser for Rust source codeINDIRECT3
syn • 2.0.82Parser for Rust source codeINDIRECT2
thiserror-impl • 1.0.65Implementation detail of the `thiserror` crateINDIRECT4
thiserror • 1.0.65derive(Error)DIRECT5
unicode-segmentation • 1.12.0This crate provides Grapheme Cluster, Word and Sentence boundaries according to Unicode Standard Annex #29 rules. INDIRECT0
unicode-width • 0.1.14Determine displayed width of `char` and `str` types according to Unicode Standard Annex #11 rules. INDIRECT0
wasm-bindgen-backend • 0.2.95Backend code generation of the wasm-bindgen tool INDIRECT8
wasm-bindgen-macro-support • 0.2.95The part of the implementation of the `#[wasm_bindgen]` attribute that is not in the shared backend crate INDIRECT9
wasm-bindgen-macro • 0.2.95Definition of the `#[wasm_bindgen]` attribute, an internal dependency INDIRECT10
wasm-bindgen-shared • 0.2.95Shared support between wasm-bindgen and wasm-bindgen cli, an internal dependency. INDIRECT0
wasm-bindgen • 0.2.95Easy support for interacting between JS and Rust. INDIRECT12
winapi-i686-pc-windows-gnu • 0.4.0Import libraries for the i686-pc-windows-gnu target. Please don't use this crate directly, depend on winapi instead.INDIRECT0
winapi-x86_64-pc-windows-gnu • 0.4.0Import libraries for the x86_64-pc-windows-gnu target. Please don't use this crate directly, depend on winapi instead.INDIRECT0
winapi • 0.3.9Raw FFI bindings for all of Windows API.INDIRECT2
windows_aarch64_gnullvm • 0.52.6Import lib for WindowsINDIRECT0
windows_aarch64_msvc • 0.52.6Import lib for WindowsINDIRECT0
windows_i686_gnu • 0.52.6Import lib for WindowsINDIRECT0
windows_i686_gnullvm • 0.52.6Import lib for WindowsINDIRECT0
windows_i686_msvc • 0.52.6Import lib for WindowsINDIRECT0
windows_x86_64_gnu • 0.52.6Import lib for WindowsINDIRECT0
windows_x86_64_gnullvm • 0.52.6Import lib for WindowsINDIRECT0
windows_x86_64_msvc • 0.52.6Import lib for WindowsINDIRECT0
windows-core • 0.52.0Rust for WindowsINDIRECT9
windows-targets • 0.52.6Import libs for WindowsINDIRECT8
MIT7
PackageRelationDependenciesPublished
crossterm_winapi • 0.6.2WinAPI wrapper that provides some basic simple abstractions around common WinAPI callsINDIRECT3
crossterm_winapi • 0.7.0WinAPI wrapper that provides some basic simple abstractions around common WinAPI callsINDIRECT3
crossterm • 0.18.2A crossplatform terminal library for manipulating terminals.INDIRECT22
crossterm • 0.19.0A crossplatform terminal library for manipulating terminals.DIRECT28
mio • 0.7.14Lightweight non-blocking I/O.INDIRECT7
redox_syscall • 0.2.16A Rust library to access raw Redox system callsINDIRECT1
tui • 0.14.0A library to build rich terminal user interfaces or dashboards DIRECT32
MIT OR Unlicense2
PackageRelationDependenciesPublished
byteorder • 1.5.0Library for reading/writing numbers in big-endian and little-endian.INDIRECT0
memchr • 2.7.4Provides extremely fast (uses SIMD on x86_64, aarch64 and wasm32) routines for 1, 2 or 3 byte search and single substring search. INDIRECT0
Apache-2.0 OR BSD-2-Clause OR MIT2
PackageRelationDependenciesPublished
zerocopy-derive • 0.7.35Custom derive for traits from the zerocopy crateINDIRECT4
zerocopy • 0.7.35Utilities for zero-copy parsing and serializationINDIRECT6
Apache-2.0 OR BSL-1.01
PackageRelationDependenciesPublished
ryu • 1.0.18Fast floating point to string conversionINDIRECT0
BSD-3-Clause1
PackageRelationDependenciesPublished
instant • 0.1.13Unmaintained, consider using web-time instead - A partial replacement for std::time::Instant that works on WASM to.INDIRECT1
Unicode-DFS-2016 AND (Apache-2.0 OR MIT)1
PackageRelationDependenciesPublished
unicode-ident • 1.0.13Determine whether characters have the XID_Start or XID_Continue properties according to Unicode Standard Annex #31INDIRECT0
Apache-2.0 OR MIT OR Apache-2.0 WITH LLVM-exception1
PackageRelationDependenciesPublished
wasi • 0.9.0+wasi-snapshot-preview1Experimental WASI API bindings for RustINDIRECT0
Last updated on

Copy the licenses badge code for the latest version:

[![licenses](https://licenses.dev/b/cargo/proto-vulcan)](https://licenses.dev/cargo/proto-vulcan)
<a href="https://licenses.dev/cargo/proto-vulcan">
  <img src="https://licenses.dev/b/cargo/proto-vulcan" alt="licenses" />
</a>

Or the licenses badge code for the 0.1.6 version:

[![licenses](https://licenses.dev/b/cargo/proto-vulcan/0.1.6)](https://licenses.dev/cargo/proto-vulcan/0.1.6)
<a href="https://licenses.dev/cargo/proto-vulcan/0.1.6">
  <img src="https://licenses.dev/b/cargo/proto-vulcan/0.1.6" alt="licenses" />
</a>
GitHub