Showing 18 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
  • Paessler: Easy to Use With Enterprise Power. Free Trial Icon
    Paessler: Easy to Use With Enterprise Power. Free Trial

    A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.

    You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
    Get Free Download
  • 1
    KACTL

    KACTL

    KTH algorithm competition template library

    KACTL (the KTH Algorithmic Contest Template Library) is an extensively curated and high-performance C++ algorithms library created by the competitive programming team at the Royal Institute of Technology (KTH) to serve as a trusted, battle-tested codebase for algorithmic contests, programming competitions, and general algorithm development. The repository aggregates dozens of concise implementations of essential data structures, numerical methods, graph algorithms, string processing tools,...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 2
    Proxy

    Proxy

    Proxy: Next Generation Polymorphism in C++

    ...To workaround these drawbacks, some languages like Java or C# choose to sacrifice performance by introducing GC to facilitate lifetime management, and JIT-compile the source code at runtime to generate full metadata. We improved the theory and implemented it as a C++ library without sacrificing performance, proposing to merge it into the C++ standard.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 3
    Abscom

    Abscom

    A C11 library of reusable data structures and platform utilities.

    ...On top of that it ships a Python-inspired dynamic runtime that brings var values, lists, dictionaries, sets, JSON, random utilities, and a light object system to plain C, plus a scientific layer with matrices, statistics, general math (scalar utilities, number theory, geometry, complex numbers), CSV, path helpers, and basic threading. A data science layer adds NumPy-style reshaping and generators, Pandas-style numeric CSV, functional utils, and SciKit-Learn-style preprocessing (one-hot encoding, train/test split). An AI/ML layer adds activations, softmax, MSE loss, and numerical gradients for neural-network forward passes. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    StudyFolderOrganizer-GUI

    StudyFolderOrganizer-GUI

    GUI App for creating study folders inside a drive in a structured way

    App for creating folders inside a drive in a structured and organized way for study purpose. It creates all the folders based on the user input at once so this saves the time of creating folders and managing them manually as a student. Study Folder Organizer is a command line tool to organize the life of a student. This tool helps to make a well structured directory of folders using year>semester>terms pattern for each subject. Creating these folders and managing the files after the end of...
    Downloads: 2 This Week
    Last Update:
    See Project
  • Veeam Data Platform v13.1 - Get Your Free Trial Icon
    Veeam Data Platform v13.1 - Get Your Free Trial

    Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try it Free
  • 5
    CoRoPa stands for Computational Rough Paths. The aim of CoRoPa is to provide a software framework for various ideas related to Rough Path Theory, including rough differential equations and the digital description of serial data streams.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    XInt

    A big number C++ class

    XInt is a big number class that is designed to be a "drop-in" replacement for both integers and all floating point types. In theory, you could take an existing programme, replace all integer and floating point types with XInt and it should compile and run exactly as it did before but with greater precision. There are some exceptions. Obviously, if you are relying on over/underflow behaviour, it won't work, XInt does not overflow! It will underflow but in a controlled fashion and you can specify how it behaves. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    Wirthless

    A simple programming language for teaching language theory

    Wirthless is a language developed for ThyLordRoot's "Developing A Programming Language" lecture series on Youtube. Wirthless is a simple language with no particular goal of fitness for use, but designed as a trivial language to demonstrate concepts related to language theory and programming languages. This project archives code developed over the course of the lecture series as well as lecture slides.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Caméléon, source code

    Caméléon, source code

    a graphical language for functional programming

    ...Caméléon Creator is a graphical algorithm editor designed for processing research, prototyping & calibration. With Caméléon, you construct & calibrate data processes with a simple drag & drop mechanism. Caméléon is a graphical language, based on the theory. Caméléon is a try to make data processing research & prototyping simple & addictive.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9

    Water Retention on Magic Squares Solver

    Water Retention on Magic Squares with Constraint-Based Local Search

    ...More can be read about it at: http://en.wikipedia.org/wiki/Water_retention_on_mathematical_surfaces Craig's website for the problem: http://www.knechtmagicsquare.paulscomputing.com/ The solver is mainly based on the theory and ideas from my bachelor thesis, which I wrote at Uppsala University, Sweden, for the Astra Group which does research about Constraint Programming and related technologies: Water Retention on Magic Squares with Constraint-Based Local Search http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-176018 I 'm posting two solvers in this project. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Start Free
  • 10
    Discrete Mathematics task solutioner. (The Theory For Scheduling / Network Graphs) Contains C++ mathematic algorithms and C# GUI.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    QtXGame is an intuitive, extensible, modern cross-platform tool to construct and solve extensive and strategic games related to Game Theory. Its extensibility allows user to create and add his own games, solvers and matrix transformations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    zinif is an object-oriented, typeless programming language, following the principle of "everything is an object", like unix's "everything is a file". In theory, a language with a small but complete instruction set should be easier to learn and extend.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    MpNT is a multi-precision number theory library that provides a base for building cryptographic applications. It may however be used in any domain where efficient integer, modular, and floating-point computations involving large numbers are required.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    An experimental language API and interpreter which combine ideas from functional programming and graph theory.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Signelf is a toolset written in c++ for signing elf binaries, specifically linux shared object, though in theory, any elf binary may be signed. It uses openssl's libcrypt to RSA sign the library, and the same to validate the signature.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    It's new technology for Development Personal Creation/Customization Services , based on XML standard and DAFSM (Finite State Machine Theory) , using multiple call control protocols.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    The Graph Implementation and Representation Libraries, or GIRLs, aim to be all-purpose libraries for solving graph theory problems. ie, shortest paths, matching, cycles, connectedness, creating 'random' graphs, etc...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    This STL-like C++ library contains classes for long integer numbers processing with using of assembler functions as a backend. Lazy evaluation is also used for optimization. It also contains generic implementation of classical number-theory algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next