Showing 11 open source projects for "code e-library"

View related business solutions
  • Keep company data safe with Chrome Enterprise Icon
    Keep company data safe with Chrome Enterprise

    Protect your business with AI policies and data loss prevention in the browser

    Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
    Download Chrome
  • Gen AI apps are built with MongoDB Atlas Icon
    Gen AI apps are built with MongoDB Atlas

    The database for AI-powered applications.

    MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
    Start Free
  • 1
    libinstrument (ex libcsdbg)

    libinstrument (ex libcsdbg)

    C/C++ function instrumentation (AOP, exception/stack tracing, GC)

    Libinstrument is a complete and easy way to do custom function instrumentation for C/C++. The project comes ready with classic applications of instrumentation, such as AOP (Aspect Oriented Programming), Concern and Side Effect injection, stack tracing, exception tracing, basic time profiling, callgraph profiling and other. A GC (Garbage Collector) module is also under development. Libinstrument is highly portable and decoupled. The project comes with a CMake build system, integration with...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    autoCode4

    Synthesizing embedded control software from formal specifications

    autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    G4LTL-ST

    G4LTL-ST

    Generating PLC programs from formal specifications

    G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    Java Call Trace to UML Sequence Diagram
    This tool helps you to reverse engineer UML Sequence Diagram for your java program at runtime. It works well with both complex java programs (that have multiple threads) and J2EE applications deployed on Application Servers.
    Downloads: 2 This Week
    Last Update:
    See Project
  • Payments you can rely on to run smarter. Icon
    Payments you can rely on to run smarter.

    Never miss a sale. Square payment processing serves customers better with tools and integrations that make work more efficient.

    Accept payments at your counter or on the go. It’s easy to get started. Try the Square POS app on your phone or pick from a range of hardworking hardware.
    Learn More
  • 5

    WSCreator

    Java library for automated Soap & Rest web Services Creation

    An awesome new way of adding SOAP and REST web services to any Spring IOC based Java project in minimum time. This library takes out all the pain part of implementing Soap & Rest Web Services specific code from developer's plate and does it in a very smart way. All you need to do is add dependency of this library to your project, add some annotations to your interfaces, add a servlet entry into your web.xml. & you are all set to go. Library uses Apache CXF to create SOAP based web services & for REST it uses Spring MVC. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    ReFit

    ReFit

    Eclipse Plug-in for Automatic Refactoring of Fit Tests.

    The ReFit Eclipse plugin performs automatic refactoring of the Fit test specs (http://fit.c2.com) and of the relevant code when a refactoring process is invoked. NOTE: The project is still in Beta, but we think stable enough, to be used. Just try. For more information about the project, installation and use instructions see https://sourceforge.net/apps/trac/fitrefactoring/ We are pleased about the many downloads. We are also pleased for your feedback/review - many thanks!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    WesWorkshop

    WesWorkshop

    Create units and attacks for Wesnoth!

    This utility provides a GUI to create unit files for the game "Battle for Wesnoth". The user sets the unit properties from the GUI of the utility. Once all the properties have been set, it is possible to export them into a .cfg which will be read by the game. Further details can be found in the project wiki: http://sourceforge.net/p/wesworkshop/wiki/. Version 1.1* released. Please go to the wiki page to see the changes. Note you will not be able to load your works developed with the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Dynamic tree of Java objects encapsulates hard-drive and Jar/Zip files (and their inner files) and Java objects all the same way. Create new ways of communication as executable Jar files, like a paint program that creates/uses paint programs as tools
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Hermes - Selenium For Humans

    Hermes - Selenium For Humans

    (H)uman (R)eadable and (M)achine (E)xecutable (S)pecification

    Hermes provides a powerful yet usable automation solution, making it the most popular Selenium framework in the world, with over 8,000 downloads. Create human readable, machine executable Selenese style tests in Excel. The world's first automation framework fully integrated with Selenium IDE, RC and GRID; yet built for humans. Be up and running using a feature rich Selenium RC framework in minutes. Hermes comes with advanced reporting, analysis, debugging and enterprise level Java...
    Downloads: 0 This Week
    Last Update:
    See Project
  • DAT Freight and Analytics - DAT Icon
    DAT Freight and Analytics - DAT

    DAT Freight and Analytics operates DAT One truckload freight marketplace

    DAT Freight & Analytics operates DAT One, North America’s largest truckload freight marketplace; DAT iQ, the industry’s leading freight data analytics service; and Trucker Tools, the leader in load visibility. Shippers, transportation brokers, carriers, news organizations, and industry analysts rely on DAT for market trends and data insights, informed by nearly 700,000 daily load posts and a database exceeding $1 trillion in freight market transactions. Founded in 1978, DAT is a business unit of Roper Technologies (Nasdaq: ROP), a constituent of the Nasdaq 100, S&P 500, and Fortune 1000. Headquartered in Beaverton, Ore., DAT continues to set the standard for innovation in the trucking and logistics industry.
    Learn More
  • 10
    A QT based code gen. app for visual php development. Based on a XML XSLT PHP framework that makes it possible to select visual elementsin a WebKit rendered HTML editor and generate PHP that gets the XML and add the XSLT into the current HTML.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Scooter framework is a high-productivity full-stack Java web framework. With Scooter, you can build RESTful database-backed web applications in minutes in Java. You will enjoy Ruby-on-Rails-like development style and much more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next