3 programs for "code e-library" with 2 filters applied:

  • Powerful small business accounting software Icon
    Powerful small business accounting software

    For small businesses looking for desktop accounting software

    With AccountEdge, business owners can organize, process, and report on their financial information so they can focus on their business. Features include: accounting, integrated payroll, sales and purchases, contact management, inventory tracking, time billing, and more.
    Learn More
  • Eptura Workplace Software Icon
    Eptura Workplace Software

    From desk booking and visitor management, to space planning and office utilization data, Eptura Workplace helps your entire organization work smarter.

    With the world of work changed forever, it’s essential to manage your workplace and assets together to effectively create a high-performing environment. The Eptura experience combines the power of workplace management software with asset management, enabling you to effectively operate your building and facilitate hybrid work.
    Learn More
  • 1
    Lightweight ext4 filesystem library

    Lightweight ext4 filesystem library

    ext2/3/4 library for microcontrollers

    Code is also available on github: https://github.com/gkostka/lwext4 Feel free to contact me: kostka.grzegorz@gmail.com
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    EfiPy

    EfiPy

    Python Library for accessing UEFI BIOS internal function by protocol

    EfiPy is a Python Module on UEFI shell which can access UEFI BIOS kernel interface - System Table - Runtime Services - Boot Services pAnalyzer package - Tracing UEFI protocol calling flow Output protocol flow to screen or file with XML format CorePy (assembly package) - Simple Assembly code in Python environment. EfiPy Shell package- Simple uefi shell program coded with EfiPy library to prove EfiPy workable EfiPy leverage these open source packages - ctypes...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3

    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
  • Previous
  • You're on page 1
  • Next