9 projects for "void-linux" with 2 filters applied:

  • Find Hidden Risks in Windows Task Scheduler Icon
    Find Hidden Risks in Windows Task Scheduler

    Free diagnostic script reveals configuration issues, error patterns, and security risks. Instant HTML report.

    Windows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
    Download Free Tool
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • 1
    EcoLab
    EcoLab is a C++ based Agent Based Modelling system, with emphasis on high performance computing for scaling to large simulations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Adaptive Simulated Annealing (ASA)

    Adaptive Simulated Annealing (ASA)

    simulated annealing optimization and importance-sampling

    Adaptive Simulated Annealing (ASA) is a C-language code that finds the best global fit of a nonlinear cost-function over a D-dimensional space. ASA has over 100 OPTIONS to provide robust tuning over many classes of nonlinear stochastic systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    setupdocx

    setupdocx

    Multidocument automation by templates - for sphinx, mkdocs, epydoc ...

    The ‘setupdocx‘ provides a control layer for continuous documentation by the simplified creation, packaging, and installation of documentation. The provided commands are distributed as entry points and optional base classes for further customization into 'setup.py' - setuptools / distutils. Manages arbitrary document templates for the supported builder, supports multiple builds with arbitrary document layouts, designs, and patched contents. The current release supports the following...
    Downloads: 1 This Week
    Last Update:
    See Project
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
    Try Retool free
  • 5

    glob

    OpenGL 3D Mesh generating library

    GLOB allows OpenGL programmers to create a variety of 3D meshes ranging from spheres, cubes and cyliders to NURBS and extrusions. GLOB compiles under Windows, Linux-based OSs and MAC. The library is compatible with OpenGL 4.0+ and doesn't use any deprecated features. 4 attrributes: 4D color, 3D normal, 3D position and 2D texture coordinate are stored per vertex in VAO (Vertex Array Objects). GLOB doesn't do any rendering to the screen and only builds the attributes for the mesh. Thus, the user must provide his own shader programs. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Fiona is a tool to automatically analyze the interactional behavior of a given oWFN. It provides two techniques: it checks for the controllability of the given net by computing the interactiong graph and it calculates the operating guideline for the net.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducing the accidental cost of programming. http://github.com/h4ck3rm1k3/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Coral is a tool and a development platform to create and transform models and modeling languages. It can be used to edit UML models, to develop editors for other modeling languages and to implement MDA and QVT-like model transformations.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Atera all-in-one platform IT management software with AI agents Icon
    Atera all-in-one platform IT management software with AI agents

    Ideal for internal IT departments or managed service providers (MSPs)

    Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
    Learn More
  • Previous
  • You're on page 1
  • Next