Showing 23 open source projects for "theory"

View related business solutions
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • Save Up to 91% on Cloud Compute With Spot VMs Icon
    Save Up to 91% on Cloud Compute With Spot VMs

    Automatic sustained-use discounts. One free VM per month. No negotiation needed.

    Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
    Start Free
  • 1
    Nemo.jl

    Nemo.jl

    Julia bindings for various mathematical libraries (including flint2)

    Nemo is a computer algebra package for the Julia programming language. It aims to cover commutative algebra, number theory and group theory. Julia bindings for various mathematical libraries (including flint2)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    DFTK.jl

    DFTK.jl

    Density-functional toolkit

    The density-functional toolkit, DFTK for short, is a collection of Julia routines for experimentation with plane-wave density-functional theory (DFT). The unique feature of this code is its emphasis on simplicity and flexibility with the goal of facilitating algorithmic and numerical developments as well as interdisciplinary collaboration in solid-state research.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Circuitscape.jl

    Circuitscape.jl

    Algorithms from circuit theory to predict connectivity

    Circuitscape is an open-source program that uses circuit theory to model connectivity in heterogeneous landscapes. Its most common applications include modeling the movement and gene flow of plants and animals, as well as identifying areas important for connectivity conservation. The new Circuitscape is built entirely in the Julia language, a new programming language for technical computing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Chromatone

    Chromatone

    Chromatone is a digital garden of visual music theory

    Cards and short overviews on the physics and physiology of vision and hearing and their intersection at visual music research, exploration, practice, and self-expression. Useful tools to have in the pocket like a pack of interactive cards to learn and use in everyday music practice. These are open source web experiments with different aspects of sound and color. Chromatone is an open source research and design project to explore, develop and implement the scientific way of visual music...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 99.99% Uptime for MySQL and PostgreSQL Databases Icon
    99.99% Uptime for MySQL and PostgreSQL Databases

    Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

    Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
    Start Free
  • 5
    miepython

    miepython

    Mie scattering of light by perfect spheres

    miepython is a pure Python module to calculate light scattering for non-absorbing, partially-absorbing, or perfectly-conducting spheres. Mie theory is used, following the procedure described by Wiscombe. This code has been validated against his results. This code provides functions for calculating the extinction efficiency, scattering efficiency, backscattering, and scattering asymmetry. Moreover, a set of angles can be given to calculate the scattering for a sphere at each of those angles.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    CausalityTools.jl

    CausalityTools.jl

    Algorithms for detecting associations, dynamical influences

    CausalityTools.jl is a package for quantifying associations and dynamical coupling between datasets, independence testing, and causal inference. Association measures from conventional statistics, information theory, and dynamical systems theory, for example, distance correlation, mutual information, transfer entropy, convergent cross mapping and a lot more. A dedicated API for independence testing, which comes with automatic compatibility with every measure-estimator combination you can think of. For example, we offer the generic SurrogateTest, which is fully compatible with TimeseriesSurrogates.jl, and the LocalPermutationTest for conditional independence testing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    DiffOpt.jl

    DiffOpt.jl

    Differentiating convex optimization programs w.r.t. program parameters

    ...methods, to differentiate models (quadratic or conic) with optimal solutions. Differentiable optimization is a promising field of convex optimization and has many potential applications in game theory, control theory and machine learning. Recent work has shown how to differentiate specific subclasses of convex optimization problems. But several applications remain unexplored. With the help of automatic differentiation, differentiable optimization can have a significant impact on creating end-to-end differentiable systems to model neural networks, stochastic processes, or a game.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Cytoscape.js

    Cytoscape.js

    Graph theory library for visualization and analysis

    A fully featured graph library written in pure JS. Permissive open source license (MIT) for the core Cytoscape.js library and all first-party extensions. Used in commercial projects and open-source projects in production. Designed for users first, for both frontfacing app usecases and developer usecases. Highly optimized. Compatible with All modern browsers. Legacy browsers with ES5 and canvas support. ES5 and canvas support are required, and feature detection is used for optional...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 9
    DynamicHMC

    DynamicHMC

    Implementation of robust dynamic Hamiltonian Monte Carlo methods

    ...In contrast to frameworks that utilize a directed acyclic graph to build a posterior for a Bayesian model from small components, this package requires that you code a log-density function of the posterior in Julia. Derivatives can be provided manually, or using automatic differentiation. Consequently, this package requires that the user is comfortable with the basics of the theory of Bayesian inference, to the extent of coding a (log) posterior density in Julia. This approach allows the use of standard tools like profiling and benchmarking to optimize its performance.
    Downloads: 0 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 10
    F2

    F2

    An elegant, interactive and flexible charting library for mobile

    F2 is an out-of-the-box visualization engine focused on the mobile terminal, oriented to conventional statistical charts, perfectly supporting the H5 environment and compatible with multiple environments (Node, applet), complete graphics grammar theory, to meet your various visualization needs , professional mobile design guidelines to bring you the best mobile graphics experience. Best practices for moving side charts around design, performance and heterogeneous environments. Based on the grammar of graphics, Flexible construction of various charts (50+), complete components, covering various scenarios. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Measurements.jl

    Measurements.jl

    Error propagation calculator and library for physical measurements

    ...Measurements.jl relieves you from the hassle of propagating uncertainties coming from physical measurements, when performing mathematical operations involving them. The linear error propagation theory is employed to propagate the errors.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    DeepH-pack

    DeepH-pack

    Deep neural networks for density functional theory Hamiltonian

    DeepH-pack is the official implementation of the DeepH (Deep Hamiltonian) method described in the paper Deep-learning density functional theory Hamiltonian for efficient ab initio electronic-structure calculation and in the Research Briefing. DeepH-pack supports DFT results made by ABACUS, OpenMX, FHI-aims or SIESTA and will support HONPAS.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    ProxSDP.jl

    ProxSDP.jl

    Semidefinite programming optimization solver

    ProxSDP is an open-source semidefinite programming (SDP) solver based on the paper "Exploiting Low-Rank Structure in Semidefinite Programming by Approximate Operator Splitting". The main advantage of ProxSDP over other state-of-the-art solvers is the ability to exploit the low-rank structure inherent to several SDP problems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    ggplot2-book

    ggplot2-book

    ggplot2: elegant graphics for data analysis

    The ggplot2-book repository contains the source for ggplot2: Elegant Graphics for Data Analysis, written by Hadley Wickham. The book explains the theory and application of the ggplot2 package in R for data visualization, guiding readers through its layered grammar of graphics approach. It serves as both a practical guide and conceptual reference for building advanced plots and mastering ggplot2.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    A shell for using the methods of Contextual Logic to do qualitative data analysis, mathematical research on the theory underlying Conceptual Knowledge Processing, or learning Formal Concept Analysis. It uses the framework provided by the Tockit project..
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    DARPA Urban Challenge, a C++ based platform for testing Path Planning Algorithms: An application of Game Theory and Neural Networks. Rubin, Raphael (2007)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    QTnew is a universal Queueing Theory simulator. Different types of serving disciplines, time distributions, routes are supported. Simulation is extremely flexible: any custom simulation can be performed with JavaScript.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Graph Theorizer will be a java application that will help to teach and research Graph Theory. We will support Windows, Linux, and Mac in our first releases, while hopefully moving towards any platform that supports Java Standard Editon.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    2D soccer simulation focussing the theoretical covering strategies of the game. Academic research tool based on computational geometry science.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Chaotic Attractors is a JAVA program to generate images of chaotic attractors. Chaotic attractors are used in chaos theory. Even though they have their seeds in science, they are very artistic. They are great as wallpaper, too.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    GraphScript project is a network theory simulator based purely on Java and Java scripting engines. It is intended to allow fast development, testing and visualization of network theory (graph) algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    QMeshView is a cross-platform tool for visualization results of of Finite-Element modeling for 2D and axisymmetric tasks of Non-linear elastic theory.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    SCTMF is an in development progress software aimed to educational learning of Formal Models, used in Computer Theory course. The meaning of SCTMF is Sistema para Criação e Testes de Modelos Formais (Formal Model Creation and Tests System).
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next