Showing 15 open source projects for "tiny-workflow"

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
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Start Free
  • 1
    MathCode

    MathCode

    A Frontier Mathematical Coding Agent

    ...The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive mathematical engineer than a one-shot text generator. MathCode also includes visualization-oriented tooling such as theorem graph generation for Obsidian knowledge workflows. Its main value is bridging natural-language mathematics with formal verification systems in a way that is more automated, inspectable, and iterative than traditional theorem-proving pipelines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    MCPower

    MCPower

    MCPower — simple Monte Carlo power analysis for complex models

    MCPower-GUI is a desktop application that provides a graphical interface for the MCPower Monte Carlo power analysis library. It guides users through the full workflow across three tabs: Model setup (formula input with live parsing, CSV data upload with auto-detected variable types, effect size sliders, and correlation editing), Analysis configuration (find power for a given sample size or find the minimum sample size for a target power, with multiple testing correction and scenario analysis), and Results (interactive charts, exportable tables, and auto-generated Python replication scripts). ...
    Downloads: 26 This Week
    Last Update:
    See Project
  • 3
    MathSteps

    MathSteps

    Step by step math solutions for everyone

    mathsteps is a JavaScript library that performs step-by-step algebraic simplification and equation solving for expressions provided as strings. It exposes functions to simplify expressions and to solve equations, returning a structured sequence of steps that detail each transformation. For every step, mathsteps reports the original node, the change type, the resulting node, and any substeps, which makes it useful for education, debugging, and explainable math tooling. The library also...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4
    Another simpler implementation for float only uses integer types, we should use -msoft-float first or we get complex result, so we need this with huge or tiny exponents float.
    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
  • 5

    Command line FFT

    A simple command line utility to produce an FFT/IFFT of ASCII data

    Ever had a bunch of ASCII data that you would like to have a quick look at in frequency domain, but don't want to fire up some bulky analysis software package just for that? Well, I have... So I wrote this tiny tool. It is based on fftw (www.fftw.org) and boost's program options (boost.org). cli-fft is really simple: All it does is to receive ASCII data from a file or standard in, FFT it and write out the result into a file or to standard out.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    MathFu

    MathFu

    C++ math library developed primarily for games focused on simplicity

    ...Implementations are carefully tuned to leverage SIMD instruction sets such as SSE and NEON while preserving a clean fallback path for portability. Because types are fixed at compile time, the compiler can aggressively inline and unroll code, producing predictable performance and tiny binaries. The design emphasizes minimal dependencies and clear ownership so the library can be embedded into engines without dragging in heavyweight frameworks. It fits equally well in rendering math, physics helpers, animation blending, and camera control logic where determinism and speed matter.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    wxEcMath

    wxEcMath

    Easy mathematics in wxWidgets

    Tiny library written in C++/wxWidgets designed to manage mathematical objects : parser of expressions, plots, matrixes and complex numbers. Ansi and Unicode are supported. Documentation and rich samples are provided. Compiles with MSVC, BCC, GCC and Clang. Now on Git.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    WOLFGANG

    WOLFGANG

    Editor for Petri nets

    Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    SEPIA: Security-oriented PN Framework

    SEPIA: Security-oriented PN Framework

    Petri net framework for security related modeling and reasoning.

    SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and persons/agents participating in the process execution. ...
    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

    ATMSP

    ATMSP - A Tiny Mathematical Speed Parser

    A Tiny Mathematical Speed Parser ATMSP is a portable C++ parser for mathematical expressions like "sin(x)+y^2" e.g. These may contain arbitrary numbers of functions, variables and constants. Major design goal was minimalistic size and maximum speed. Tiny 320 code-lines offer a parser plus bytecode-generator, 26 mathematical functions and 17 supported base-types including complex and arbitrary MPFR-multiprecision.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Tiny Calculator is a command line calculator for developers. It can resolve a complex expression mixing decimal, esadecimal an binary number. The result is automatic converted in decimal, esadecimal ad binary format.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    http://ewi.utwente.nl/~biorange/rshell - The RShell project is a plugin for the Taverna workflow system. It enables one to execute R scripts within the Taverna workflow system. The RShell processor is built on the RServe project. For more info:
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    This Tiny Vector and Matrix template library uses Meta and Expression Templates to evaluate results at compile time, thus making it fast for low-end systems. Temporaries are avoided because of this. The dimensions are static and bounded at compile time.
    Downloads: 28 This Week
    Last Update:
    See Project
  • 14
    Tiny Flash ActionScript Speed math program to train rapid multiplication and addition. Good for any age who wants to improve arithmetic and general maths skills. Quick mathematics is useful.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    Can calculate mathematical expression. It have a module system witch make it very easy to add own functions. Other features are a graph painter and a tiny programming language designed too make it easy too write small mathematical tools.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next