A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.

Project Activity

See All Activity >

License

BSD License

Follow lolo

lolo Web Site

Other Useful Business Software
Turn traffic into pipeline and prospects into customers Icon
Turn traffic into pipeline and prospects into customers

For account executives and sales engineers looking for a solution to manage their insights and sales data

Docket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of lolo!

Additional Project Details

Operating Systems

FreeBSD, Linux, Mac, Solaris, Windows

Intended Audience

Developers, Information Technology, Science/Research

Programming Language

Haskell

Related Categories

Haskell Artificial Intelligence Software

Registered

2008-02-19