Open Source OCaml (Objective Caml) Electronic Design Automation (EDA) Software

x
Sort By:

OCaml (Objective Caml) Electronic Design Automation (EDA) Software

View 29 business solutions
Electronic Design Automation (EDA) OCaml (Objective Caml) Clear Filters

Browse free open source OCaml (Objective Caml) Electronic Design Automation (EDA) Software and projects below. Use the toggles on the left to filter open source OCaml (Objective Caml) Electronic Design Automation (EDA) Software by OS, license, language, programming language, and project status.

  • Level Up Your Cyber Defense with External Threat Management Icon
    Level Up Your Cyber Defense with External Threat Management

    See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

    Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.
    Try for Free
  • Business Automation Software for SMBs Icon
    Business Automation Software for SMBs

    Fed up with not having the time, money and resources to grow your business?

    The only software you need to increase cash flow, optimize resource utilization, and take control of your assets and inventory.
    Learn More
  • 1
    The Decision Procedure Toolkit (DPT) is a system of cooperating decision procedures for answering satisfiability queries. The DPT implementation in OCaml comprises a DPLL-style SAT solver with theory-specific decision procedures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    This project will develop a system for high-level logic design and simulation embedded in the Ocaml (http://caml.inria.fr/ocaml) programming language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The project has moved! see http://code.google.com/p/kicadocaml/ Kicadocaml is a small project that reads and writes Kicad board (*.brd) files produced by Kicad's pcbnew software. Currently, the software consists of an OpenGL gui & a tool to allow ar
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    VSYML is an automated symbolic simulator for VHDL designs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Leverage AI to Automate Medical Coding Icon
    Leverage AI to Automate Medical Coding

    Medical Coding Solution

    As a healthcare provider, you should be paid promptly for the services you provide to patients. Slow, inefficient, and error-prone manual coding keeps you from the financial peace you deserve. XpertDox’s autonomous coding solution accelerates the revenue cycle so you can focus on providing great healthcare.
    Learn More
  • Previous
  • You're on page 1
  • Next

Related Searches