An interpreter of well-formed formulas in propositional calculus.
A resolution-based propositional logic tool
A resolution-based propositional logic tool
Experimental Lua compiler based on llvm
Interpreter for the CEL expression language
Procedural macros for the cellang crate
LavelLang - secure, compiled, object-oriented programming language
Safe Rust bindings for Apple's NaturalLanguage framework — language detection, tokenization, tagging, embeddings, gazetteers, and custom models on macOS
No description provided.
No description provided.
No description provided.