Search Results for "logic"

This is a new code repository for SchemaSpy tool initially created and maintained by John Currier. I personally believe that work on SchemaSpy should be continued, and a lot of still existing issues should be resolved. Last released version of the SchemaSpy was in 2010, and I have a plan to change this. Process of installation is very simple because SchemaSpy is only one Java .jar application. You can learn more read the installation doc. When you environment will be ready, and you can start...

...Each endpoint can contain a number of input and output parameters. Compile-time guarantees, develop-time completions, read-time information. Separate the shape of the endpoint (the "what"), from the server logic (the "how"). Generate documentation from endpoint descriptions. Leverage the metadata to report rich metrics and tracing information. Re-use common endpoint definitions, as well as individual inputs/outputs. Library, not a framework, integrates with your stack. Is your company already using tapir? We're continually expanding the "adopters" section in the documentation; the more the merrier! ...

docToolchain is a toolkit built around the “docs as code” philosophy, designed to make writing, maintaining, and publishing technical documentation as smooth as software development itself. It provides a suite of scripts and integrations to generate documentation from AsciiDoc (and related formats), run automated checks, incorporate diagrams, and publish outputs in different formats (HTML, PDF, etc.). The framework encourages documentation and architecture artifacts to live alongside source...

jsPolicy runs policies with Google's super fast V8 JavaScript engine in a pool of pre-heated sandbox environments. Most policies do not even take a single millisecond to execute. JavaScript is made for handling and manipulating JSON objects (short for: JavaScript Object Notation!) and Kubernetes uses JSON by converting your YAML to JSON during every API request. Run custom JavaScript controllers that react to any changes to the objects in your cluster (controller policies are reactive, so...

In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.

The "Architecture Visualizator" parses source code and analyze the object oriented structure as well as the control flow and logic aspects. After that it visualize the results for example as graphviz file.

Search interface for the Mark Logic XQuery API function reference. Try it out at http://api.xqueryhacker.com, then download and run locally.

A set of MediaWiki extensions and other tools developed for the Twelf wiki (http://twelf.plparty.org) that enable a wiki to naturally incorporate logic Twelf in a number of meaningful and useful ways.