Showing 11 open source projects for "tk-filters"

View related business solutions
  • Our Free Plans just got better! | Auth0 by Okta Icon
    Our Free Plans just got better! | Auth0 by Okta

    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 secuirty. Auth0 now, thank yourself later.
    Try free now
  • Bright Data - All in One Platform for Proxies and Web Scraping Icon
    Bright Data - All in One Platform for Proxies and Web Scraping

    Say goodbye to blocks, restrictions, and CAPTCHAs

    Bright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
    Get Started
  • 1
    ECLiPSe CLP

    ECLiPSe CLP

    ECLiPSe Constraint Logic Programming System

    The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
    Leader badge
    Downloads: 33 This Week
    Last Update:
    See Project
  • 2
    Michel Max - SSMS Tools 2019

    Michel Max - SSMS Tools 2019

    Tools for Microsoft SQL Server Management Studio 2019

    Extension for Microsoft SQL Server Management Studio 2019, it provides the SSMS with: - Format SQL Code. - Prepare the Procedures/Functions to be called. - Regions to organize the code. - Retrieve the complete Information of a Table. - Tab Colorize, base in the configuration window you can colorize the existing session based in the filters that you applied, making easy to the developer to identify each server/database he/she is working on. - Selection Highlight for the same word...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    Michel Max - SSMS Tools 2017

    Michel Max - SSMS Tools 2017

    Tools for Microsoft SQL Server Management Studio 2017

    Extension for Microsoft SQL Server Management Studio 2017, it provides the SSMS with: - Format SQL Code. - Prepare the Procedures/Functions to be called. - Regions to organize the code. - Retrieve the complete Information of a Table. - Tab Colorize, base in the configuration window you can colorize the existing session based in the filters that you applied, making easy to the developer to identify each server/database he/she is working on. - Selection Highlight for the same word...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    Michel Max - SSMS Tools 2016

    Michel Max - SSMS Tools 2016

    Tools for Microsoft SQL Server Management Studio 2016

    Extension for Microsoft SQL Server Management Studio 2016, it provides the SSMS with: - Format SQL Code. - Prepare the Procedures/Functions to be called. - Regions to organize the code. - Retrieve the complete Information of a Table. - Tab Colorize, base in the configuration window you can colorize the existing session based in the filters that you applied, making easy to the developer to identify each server/database he/she is working on. - Selection Highlight for the same word...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 5
    Michel Max - SSMS Tools 2014

    Michel Max - SSMS Tools 2014

    Tools for Microsoft SQL Server Management Studio 2014

    Extension for Microsoft SQL Server Management Studio 2014, it provides the SSMS with: - Format SQL Code. - Prepare the Procedures/Functions to be called. - Regions to organize the code. - Retrieve the complete Information of a Table. - Tab Colorize, base in the configuration window you can colorize the existing session based in the filters that you applied, making easy to the developer to identify each server/database he/she is working on. - Selection Highlight for the same word...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Michel Max - SSMS Tools 2012

    Michel Max - SSMS Tools 2012

    Tools for Microsoft SQL Server Management Studio 2012

    Extension for Microsoft SQL Server Management Studio 2012, it provides the SSMS with: - Format SQL Code. - Prepare the Procedures/Functions to be called. - Regions to organize the code. - Retrieve the complete Information of a Table. - Tab Colorize, base in the configuration window you can colorize the existing session based in the filters that you applied, making easy to the developer to identify each server/database he/she is working on. - Selection Highlight for the same word...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Tag Cloud Maker

    Tag Cloud Maker

    Make a tag cloud from text in your files

    The Tag Cloud Maker application allows the specification of a source folder containing files that are parsed and the words counted and displayed in an HTML word tag cloud.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    PETRILab

    PETRILab

    Simulador de Redes de Petri Interpretadas para Controle

    O PETRILab é um software multiplataforma desenvolvido inteiramente em Python. Ele permite a modelagem e simulação de Redes de Petri Interpretadas para Controle (RPIC), tendo suporte a todos seus elementos: lugares, transições, arcos ordinários e inibidores, eventos, condições e ações. Com uma interface gráfica simples e intuitiva, o usuário consegue modelar e simular passo-a-passo sua RPIC de forma rápida e prática, afim de estudá-la e aprimorá-la. Além disso, o software conta com uma...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 9
    A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Innovate faster with enterprise-ready generative AI—enhanced by Gemini Icon
    Innovate faster with enterprise-ready generative AI—enhanced by Gemini

    Build, deploy, and scale machine learning (ML) models faster, with fully managed ML tools for any use case.

    Vertex AI offers everything you need to build and use generative AI—from AI solutions, to Search and Conversation, to 130+ foundation models, to a unified AI platform.
    Try for free
  • 10
    An AToM3 definition of a CASE framework for creating Zope products with files in the filesystem. The framework consists of a modelling notation ZProduct and a suit of related transformations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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
  • Previous
  • You're on page 1
  • Next