Surikata Icon


Add a Review
0 Downloads (This Week)
Last Update:
  Browse Code SVN Repository


SURIKATA (Syntactic Universal Reasoning for Inducing Kolmogorov Abstract Theories Automatically) is a system for searching large spaces of artifacts and inducing algorithms for generating similar artifacts.

Surikata Web Site


  • [AUTOMATED] automatically form theories in pure Mathematics, either from axioms alone or from some background theory
  • [UNIVERSAL] use any logic or axiomatic system; first-order and ZFC axiomatic system pre-packed with Surikata
  • [INTERACTIVE] inteact with the theory formation process by rating artifacts (definitions, theorems), adding meta-tags, establishing links between artifacts or by writing your own artifacts
  • [FRIENDLY] browse mathematical theories in HTML, order and filter concepts by any user-defined function; search the produced theory as in a search engine
  • [COOPERATIVE] contribute to the worldwide theory produced by the Surikata network by running a Surikata server which shares your findings with the community


Other Useful Business Software

Gartner’s Recommendations for DevOps Pipeline Success Icon

Is your CI/CD pipeline a hodge-podge of randomly connected tools?

Gartner’s Recommendations for DevOps Pipeline Success Icon
You’ve likely added a tool to fix one problem and then a different tool to fix another problem. Pretty soon you have multiple instances of the same tool, different tools with overlapping functionality, no ability to collaborate across teams—all resulting in unknown bottlenecks and complicated or no reporting. As a DevOps leader, it’s up to you to balance the autonomy and flexibility of a DevOps approach. But how?
Write a Review

User Reviews

Be the first to post a review of Surikata!

Additional Project Details

Intended Audience

Advanced End Users, Science/Research

Programming Language

OCaml (Objective Caml)



Thanks for helping keep SourceForge clean.

Screenshot instructions:
Red Hat Linux   Ubuntu

Click URL instructions:
Right-click on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies

Briefly describe the problem (required):

Upload screenshot of ad (required):
Select a file, or drag & drop file here.

Please provide the ad click URL, if possible:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks