Search Results for "type"

...First and foremost, Catlab provides data structures, algorithms, and serialization for applied category theory. Macros offer a convenient syntax for specifying categorical doctrines and type-safe symbolic manipulation systems. Wiring diagrams (aka string diagrams) are supported through specialized data structures and can be serialized to and from GraphML (an XML-based format) and JSON.

...If you're looking for a complete CAS, similar to SymPy or Mathematica, see Symbolics.jl. If you want to build a crazy CAS for your weird Octonian algebras, you've come to the right place. Symbols in SymbolicUtils carry type information. Operations on them propagate this information. A rule-based rewriting language can be used to find subexpressions that satisfy arbitrary conditions and apply arbitrary transformations on the matches. The library also contains a set of useful simplification rules for expressions of numeric symbols and numbers. These can be remixed and extended for special purposes.

A combinatorics library for Julia, focusing mostly (as of now) on enumerative combinatorics and permutations. As overflows are expected even for low values, most of the functions always return BigInt, and are marked as such.

StaticArrays.jl is a Julia package that provides statically sized arrays with fast, stack-allocated memory storage and optimized performance for small array computations. It is particularly useful in numerical computing where small fixed-size matrices or vectors are used frequently, such as in robotics, physics simulations, or linear algebra. StaticArrays eliminate dynamic memory allocation overhead and enable compile-time optimizations for performance close to hand-written loops.

...It places a Julia interface to GR, a universal framework for visualization applications. GR allows users to create high quality, engaging visualizations, everything from 2D graphs to complex 3D scenes. With this module simply type in Julia 'using gr', and you can instantly start calling functions in the GR framework API. GR is based on an implementation of a Graphical Kernel System (GKS) and OpenGL. As a self-contained system, integration into existing applications is quick and easy-- simply use a direct call from Julia with ccall syntax.

Tokenize is a Julia package that serves a similar purpose and API as the tokenize module in Python but for Julia. This is to take a string or buffer containing Julia code, perform lexical analysis and return a stream of tokens.

...The core features of Metatheory.jl are a powerful rewrite rule definition language, a vast library of functional combinators for classical term rewriting and an e-graph rewriting, a fresh approach to term rewriting achieved through an equality saturation algorithm. Metatheory.jl can manipulate any kind of Julia symbolic expression type, as long as it satisfies the TermInterface.jl.