862 projects for "linux on windows" with 2 filters applied:

  • Auth0 B2B Essentials: SSO, MFA, and RBAC Built In Icon
    Auth0 B2B Essentials: SSO, MFA, and RBAC Built In

    Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.

    Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
    Sign Up Free
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
    Try it Free
  • 1

    ELFIO

    A header-only C++ library for accessing files in ELF binary format

    ELFIO is a header-only C++ library intended for reading and generating files in the ELF binary format
    Downloads: 2 This Week
    Last Update:
    See Project
  • 2
    Java Modeling Language (JML)
    This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    EJE (Everyone's Java Editor)

    EJE (Everyone's Java Editor)

    Learn Java the easy way!

    EJE is a simple Java editor, perfect to learn Java, without learning a complex development tool. EJE is multi-platform (written in Java), light- weight, user-friendly and have several useful basic features. A good help to start with Java! Supports the study of the Java for Aliens book (www.javaforaliens.com), or other my books (Italian Language) like www.nuovojava.it. You don't need to install the JDK anymore (the runtime is embedded). See the video "How to create the "Hello World App in...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    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: 1 This Week
    Last Update:
    See Project
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 5
    Eli is a programming environment that supports all phases of translator construction with extensive libraries implementing common tasks, yet handling arbitrary special cases. Output is the C subset of C++. Please use eli-project-users list for suppor
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    Simple components for Ada

    Simple components for Ada

    A software components library

    The Simple components for Ada library provides implementations of smart pointers for automatically collected objects (using reference counting), object persistence, unbounded and bounded arrays of smart pointers, generic unbounded arrays of private objects and plain pointers, generic sets, maps, arbitrary precision arithmetic, B-trees, directed graphs, directed weighted graphs, stacks, and storage pools. It also includes table management, string editing, IEEE 754 support, and infix...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7
    The Portable Tool Suite (PorTS) is a set of development tools and utilities providing a development environment for new experimental platforms, the main goal being ease of cross-development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    sleef

    sleef

    Vectorized libm

    SLEEF stands for SIMD Library for Evaluating Elementary Functions. SLEEF implements vectorized versions of all C99 math functions, that utilize SIMD instructions of modern processors to make computation more efficient. The library also includes vectorized DFT subroutines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    ULS

    A lexical analyzer generator that makes the class source code.

    ULS is a class library for creating lexical analyzer from language specification file. It's provided as C/C++/C# and Java (class) libraries with a few of tools on Linux/Windows platform.
    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.
    Try Free
  • 10

    Cobxref

    Cobol Cross reference tool for GnuCobol written in Cobol

    CobXRef is a Cobol cross reference tool that reads a Cobol source program and produces a file suitable for printing 'as is' that contains all variables, procedure paragraphs and section names referenced where they are defined as well as where they are used throughout the program or module as well as lists of unreferenced data names and paragraph & section names. it is used as a stand alone program. This version includes the code from printcbl which takes in the copy books when used by...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    Xi Programming Language

    A general-purpose, mutliparadigm language.

    Xi is a programming language which attempts to play a similar role to languages such as C, C++, or D. It is initially designed to leverage the procedural and object-oriented paradigms. It aims to provide an expressive language based off of a simple, LL(1) grammar with a comprehensive class library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    M.O.R.T.A.L.

    The M.O.R.T.A.L. programming language

    M.O.R.T.A.L. is a new general-purpose programming language now under development. It is meant to take the best features of multiple paradigms and combine them all into a single, easy-to-use language, suitable for professionals and hobbyists alike. (The basic OOP paradigm, with metaprogramming features, will be implemented first.) Its primary goal is to allow very heavy computations to be performed efficiently and easily, even by scientists from other fields than computer science. For...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    ALCHA

    ALCHA

    A New Programming Language for FPGA Projects

    ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    pascal p5c

    fast, portable Pascal compiler using gnu c as intermediate code

    p5c is a fast portable iso standard pascal compiler. It is derived from the pascal p5 compiler and creates gnu c code instead of p-code. This makes it very fast since it uses gcc to generate native code. p5c is multi platform - it is easy to get up and running since you only need gcc to start. Using gcc enables extra tools like a static analyser and code coverage analyser. Execution profiling described in the blog here ->...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    gputils is a collection of tools for Microchip PIC microcontrollers. Its goal is to be fully compatible with Microchip's tools, MPASM, MPLINK, and MPLIB.
    Leader badge
    Downloads: 101 This Week
    Last Update:
    See Project
  • 16
    Gnostic

    Gnostic

    A compiler for APIs described by the OpenAPI Specification with plugin

    Gnostic is a command-line tool and Go library developed by Google for converting OpenAPI specifications (in JSON or YAML) to and from Protocol Buffer (protobuf) representations. It allows developers to handle OpenAPI documents in a strongly typed, language-neutral, and extensible way by generating structured data models that can be used across different programming languages supported by protobuf. Using these protobuf models, developers can safely parse, validate, and manipulate OpenAPI...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    QtContribs - Harbour Qt Projects

    QtContribs - Harbour Qt Projects

    New home to HbQt, HbIDE & HbDBU once Harbour SVN hosted contribs.

    This is the repository to host all those Harbour's contrib libraries and applications which could not comply with strict Harbour project goals but had the potentiality to march into the future. The goal is to keep this repository parallel with Harbours contrib and use the same build system which Harbour uses. This way it will be possible easily to shift any library/application from here to Harbour or vice-verse. As I am totally ignorant of Harbour's build system, it will be appreciated...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 18
    SMC - The State Machine Compiler

    SMC - The State Machine Compiler

    Translates state machine into a target programming language.

    SMC takes a state machine stored in a .sm file and generates a State pattern in 14 programming languages. Includes: default transitions, transition args, transition guards, push/pop transitions and Entry/Exit actions. See User Manual for more info.
    Leader badge
    Downloads: 27 This Week
    Last Update:
    See Project
  • 19
    BTP is a Cross Plataform Basic To Pascal Translator Project that uses FPC (Free Pascal Compiler) and Lazarus for GUI support. Current State is acceptable :-). You will find full COCO/R source code.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 20

    open-watcom

    Open Watcom C/C++ compilers and tools Fork

    C/C++ compilers and tools to compile and build for targets DOS 16/32-bit, RDOS, Windows 16/32-bit, OS/2 16/32 bit, Linux 32-bit (x86), Netware running on host OS DOS, Windows 16/32/64-bit, OS/2, Linux 32/64-bit (x86/x64) Open Watcom is now completely moved to GitHub Open Watcom 2.0 https://github.com/open-watcom/open-watcom-v2#open-watcom-v2-fork Open Watcom 1.9 https://github.com/open-watcom/open-watcom-1.9
    Leader badge
    Downloads: 42 This Week
    Last Update:
    See Project
  • 21
    Flora-2
    Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22

    Memory Layout Specification Tool

    A tool for generating memory maps for low-level and embedded systems.

    The Memory Layout Specification Tool (MLST) is a file specification and a collection of tools for conveying the contents of a memory map. MLST can take an appropriately formatted specification and create both a representation of the memory map for a assembler and documentation from the input file.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23

    Ofront+

    Oberon family of languages to C translator for ARM, x64 and x86 archit

    ...In fact, an Oberon program translated by Ofront+ can be expected to execute as fast and read as well as an equivalent hand-coded C program. Ofront+ is based on Ofront by Software Templ OEG. Here are two versions: 1. Ofront+ for Windows & Linux command line 2. Ofront+ for BlackBox Component Builder (runs as a subsystem)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    RedtDec

    RedtDec

    RetDec is a retargetable machine-code decompiler based on LLVM

    ...Detection and reconstruction of C++ class hierarchies (RTTI, vtables). Signature-based removal of statically linked library code. Static analysis of executable files with detailed information. We currently support Windows (7 or later), Linux, macOS, and (experimentally) FreeBSD. An installed version of RetDec requires approximately 5 to 6 GB of free disk space.
    Downloads: 26 This Week
    Last Update:
    See Project
  • 25
    XL (eXtensible Language) is a general purpose compiled programming language. XL doesn't force you to use a limited set of concepts (such as "objects"). Instead, it can be extended (through libraries) to use the concepts that are natural to your a
    Downloads: 1 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB