Showing 51 open source projects for "engineering software"

View related business solutions
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • Stop Storing Third-Party Tokens in Your Database Icon
    Stop Storing Third-Party Tokens in Your Database

    Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.

    Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
    Try Auth0 for Free
  • 1
    The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    UfakPython is a small subset of Python programming language, for small embedded devices, like PICs. UfakPython sources are translated to C by UfakPython Compiler. Small Device C Compiler can then compile the C outputs to the target device's codes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/
    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
    Chasm-interop is a set of tools that parses C++ and Fortran 90 source files and automatically generates bridging code to provide for seamless language interoperability.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Runtime library for the JUndo language. See http://verdantium.blogspot.com/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    NXTAssembler is an assembler for the Lego Mindstorms NXT.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Build Securely on Azure with Proven Frameworks Icon
    Build Securely on Azure 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
  • 10
    ManMetAssembly is an assembly simulator wirtten in Java. The aim is to replace "Sim8086" used in universities, as well as enhancing the simulator by proviging fetch-execute cycle information, as well as features oftern found in modern IDEs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    GELLO is an ANSI-accredited HL7 standard for creating computable, unambiguous clinical queries. This project creates an open source compiler and client-server IDE. Projects are stored in a subversion repository, and created by the RCP based client.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    JSim8086 is platform-independent Assembly Language Simulator of the Intel 8086 CPU. It was designed to be a learning tool (CAL) for first year Computing students who are learning Computer Systems Organisation and Assembly Programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    RunCC is a new kind of parsergenerator that generates parsers and lexers at runtime. Source generation is only optional. It features the absence of any cryptography. Although intended for small languages, it comes with Java and XML example parsers.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    {sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    M+ Compiler/Interpreter is a interpreter library written in Java that delivers the possibility to extend any Java application with simple scripts. Besides the usage of native datatypes and operations you can instantiate and call native Java objects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    The SrcML Framework allows converting Sourcecode to a XML representation on which tools can then be used to deduce statical data for analyzing and visualizing the initial source. It also provides easy ways to write programs which modify other programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    This project aims to implement an LC2/LC3 assembler and simulator for the Linux and Windows platforms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    OpenL implements Java-like languages allowing to use code snippets placed in Excel, XML, or DB. OpenL is a foundation for OpenRules http://openrules.com. Maintained from http://openl.org
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    WSGRD stand for Web Service Grid Resource Discovery. When using Grid Computing, one of the problem is to find resources dynamically. WSGRD tries to address this problem using web services.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Visai Neri is an attempt to syntactically parse Natural Languages in general and Tamil in particular. To this end, we have developed an application using JavaCC to parse Venpa poetry after writing the grammar in BNF. Vision: complete Tamil grammar in
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    kin is a set of libraries and tools supporting meta-programming for engineering and technical computing applications. This JVM version of kin has been superseded by the stand-alone version being developed at http://purl.org/net/kin.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22
    The compilerMonitor persists a record of all javac error messages and the sources that caused/fixed the errors. It is a CAUSE (computer-aided usability engineering) tool that analyzes interaction between a developer and the compiler.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    JavaGuard is a general purpose bytecode obfuscator, designed to fit effortlessly into your regular build and testing process, providing peace of mind that your valuable Java code is more secure against decompilation and other forms of reverse engineering
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    It is basically an education Java compiler we are developing - just to gain an insight into the workings of a compiler. It is NOT meant for commercial use!! Its written in Java and uses ANTLR parser generator and the Byte Code Engineering Library extensiv
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    SHELLEY Software HardwarE Light LanguagE Yep !
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB