Open source AI chatbot platform builder in 100% C#
The Triton Inference Server provides an optimized cloud
Unsupervised text tokenizer for Neural Network-based text generation
Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis
The GNU Prolog native compiler
A real time inference engine for temporal logical specifications
Proof Logic : A logical framework for theorem proving
This is a suite of mathematical software solvers GUI
CTL-RP is a theorem prover for Computation Tree Logic (CTL)
Suite of community detection algorithms based on Modularity
Original C-IL2P
CLIPS with lock support. CLIPS for safely handling simultaneous access
Programming language for artificial intelligence