32 projects for "python programming language" with 2 filters applied:

  • Attack Surface Management | Criminal IP ASM Icon
    Attack Surface Management | Criminal IP ASM

    For security operations, threat-intelligence and risk teams wanting a tool to get access to auto-monitored assets exposed to attack surfaces

    Criminal IP’s Attack Surface Management (ASM) is a threat-intelligence–driven platform that continuously discovers, inventories, and monitors every internet-connected asset associated with an organization, including shadow and forgotten resources, so teams see their true external footprint from an attacker’s perspective. The solution combines automated asset discovery with OSINT techniques, AI enrichment and advanced threat intelligence to surface exposed hosts, domains, cloud services, IoT endpoints and other Internet-facing vectors, capture evidence (screenshots and metadata), and correlate findings to known exploitability and attacker tradecraft. ASM prioritizes exposures by business context and risk, highlights vulnerable components and misconfigurations, and provides real-time alerts and dashboards to speed investigation and remediation.
    Learn More
  • CloudZero: The Cloud Cost Optimization Platform Icon
    CloudZero: The Cloud Cost Optimization Platform

    CloudZero automates the collection, allocation, and analysis of your infrastructure and AI spend to uncover waste and improve unit economics.

    CloudZero is the leader in proactive cloud cost efficiency. We enable engineers to build cost-efficient software without slowing down innovation. CloudZero's next-generation cloud cost optimization platform automates the collection, allocation, and analysis of cloud costs to uncover savings opportunities and improve unit economics. We are the only platform that enables companies to understand 100% of their operational cloud spend and take an engineering-led approach to optimizing that spend. CloudZero is used by industry leaders worldwide, such as Coinbase, Klaviyo, Miro, Nubank, and Rapid7.
    Learn More
  • 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: 13 This Week
    Last Update:
    See Project
  • 2
    AL-IV

    AL-IV

    ALFOUR Programming language. Simple, safe, power, multi-platform.

    A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    GNU Prolog

    GNU Prolog

    The GNU Prolog native compiler

    GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
    Leader badge
    Downloads: 246 This Week
    Last Update:
    See Project
  • 4
    MLton

    MLton

    A whole-program optimizing compiler for Standard ML

    ...MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler.
    Leader badge
    Downloads: 22 This Week
    Last Update:
    See Project
  • The CRM you will want to use every day Icon
    The CRM you will want to use every day

    With CRM, Sales, and Marketing Automation in one, Act! gives you everything you need for happier clients, more revenue, and less stress.

    Act! Premium is perfect for small and midsize businesses looking to market better, sell more, and create customers for life. With unparalleled flexibility and freedom of choice, Act! Premium accommodates the unique ways you do business. Whether it’s customizations to fit your specific business or industry processes or your preferences for deployment and access, the possibilities with Act! Premium are limitless.
    Learn More
  • 5
    COOK

    COOK

    Software build-automation tool written in Common Lisp

    COOK is a software build-automation tool made with a goal of letting you, the programmer, to utilize the most elegant and powerful programming language - Common Lisp - for managing your software builds. You write a recipe file which describes what objectives must be constructed. COOK will load and process this file, then produce either a regular Makefile or a Bourne Shell script, which will actually perform the task of building and installing your targets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    X11-Basic

    X11-Basic

    A BASIC interpreter and compiler with graphics.

    X11-Basic is a dialect of the BASIC programming language with graphics capability that integrates features like shell scripting, cgi-Programming and full graphical visualisation into the easy to learn basic language on modern computers.
    Leader badge
    Downloads: 24 This Week
    Last Update:
    See Project
  • 7

    The ATS PL System

    Unleashing the potentials of types and templates

    The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    Mozart-Oz Programming System

    Mozart-Oz Programming System

    Runtime and development environment of Oz

    The Mozart Programming System is an open source implementation of the programming language Oz 3. Oz is a multi-paradigm language that supports declarative programming, object-oriented programming, constraint programming, concurrency and distributed programming as part of a coherent whole.
    Downloads: 75 This Week
    Last Update:
    See Project
  • 9

    DistAlgo

    A Language for Distributed Algorithms

    DistAlgo is a very high-level language for expressing distributed algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Run your private office with the ONLYOFFICE Icon
    Run your private office with the ONLYOFFICE

    Secure office and productivity apps

    A Comprehensive Alternative to Office 365 for Business
    Learn More
  • 10

    ValaWindowsInstaller

    Vala programming language distribution for Windows

    Windows all-in-one distribution of the Vala programming language to build console and GTK+ GUI programs. Includes Vala command-line compiler, MinGW C compiler toolchain and GTK+ version 2 and 3 runtimes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    BOLT Programming

    BOLT Programming

    The programming language for begginers.

    This is a programming language dedicated toward teaching beginning programmers proper concepts and helping them adjust to more complex languages such as C++ or Java. BOLT uses a syntax similar you BASIC to help the programs written in BOLT to be more user friendly.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    ferite is a modern, lighweight, portable, threadsafe scripting engine with a language that is very easy to pick up and leverage for any task. It\'s been designed for rapid deployment in other programs as well as stand alone use.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Development of a fully-conforming implementation of a compiler for the Sirius programming language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Basic language between high level assembler und small C. The Compiler outputs x86 assembler code. No use of extern library an nearly independent from the operating system. The compiler is only some KByte in size.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Tako is a direct programming language with Java-like syntax. Direct languages avoid routine aliasing and allow programmers to view all variables directly as independent objects, simplifying both formal and informal reasoning.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    This is a project to develop tools for the MOUSE programming language and to encourage its use as an experimental and teaching language.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    lfyre is a general purpose, compiled programming language. It offers high performance, expressive power and flexibility. It has many features found in other languages, plus extra features as creating new operators, keywords and programming paradigms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    The XPS is a scalable platform for meta-programming and domain engineering. It provides a virtual machine, compiler, and runtime library that make it possible to efficiently develop, debug, and run programs based on XPL (eXtensible Programming Language)
    Downloads: 2 This Week
    Last Update:
    See Project
  • 20
    ZAM is an experimental lazy functional programming language. It is related to languages like Haskell and Clean. In fact, the current implementation translates to Clean. It features a different typing mechanism and aims at a greater ease of use.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    VB2JAVA is a proof-of-concept about programming language translation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Pluk is a programming language. Something i am building because i want a compiled java/c# variant.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    NovaX is a set of programs that is being devloped for small company's and beginners in the fields of HTML and programming. Coded in Python and C++, this is also a good replacement for MS Office. NOTE: This requires Python to be on your PC. ( Python.org )
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    A full development kit, based on XSCompiler. Multi-platform compiler and IDE, many libraries and examples. Uses an innovative programming language, an improved version of the standard and well-known C/C++.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    A GCC front end for the BCPL programming language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB