Haskell Mathematics Software

View 2693 business solutions

Browse free open source Haskell Mathematics Software and projects below. Use the toggles on the left to filter open source Haskell Mathematics Software by OS, license, language, programming language, and project status.

  • PairSoft | AP Automation and Doc Management Icon
    PairSoft | AP Automation and Doc Management

    Free your team from manual processes.

    Streamline operations and elevate your team's efficiency with PairSoft. Our AP automation, procurement, and document management solutions eliminate manual processes, cut costs, and free your team to focus on strategic initiatives. Experience our state-of-the-art invoice-to-pay solution, now integrated with advanced AI technology for faster, smarter results. Our customers report a significant 70% reduction in approval times and annual savings of $62,000 in employee hours. At PairSoft, we aim to transform your business operations through automation. Explore the future of automation at pairsoft.com, where you can leverage cutting-edge features like invoice capture, OCR, and comprehensive AP automation to transform your workflow. Whether you are a small business or a large enterprise, our solutions are designed to scale with your needs, providing robust functionality and ease of use. Join the growing number of businesses that trust PairSoft.
    Learn More
  • ATF Compliance Made Simple. Guaranteed. Icon
    ATF Compliance Made Simple. Guaranteed.

    For Federal Firearms Licensees (FFLs)

    Since 2010, FastBound Firearms Compliance Software has processed hundreds of millions of serial numbers for thousands of Federal Firearms Licensees (FFLs). FastBound comes with an attorney-backed ATF compliance guarantee. You won't find this anywhere else. FastBound Plans start at $8/mo with no contracts, upgrade, downgrade or cancel any time. Try FastBound free for 14 days and see for yourself why FastBound is the leader in Firearms Compliance Software. FastBound transforms any computer, tablet, or even the buyer’s smartphone into a compliant 4473 with digital signature support with no transaction fees or special hardware requirements. FastBound offers a robust API and syncs effortlessly with a growing list of point of sale (POS), enterprise resource planning (ERP), and other software packages. Only FastBound gives you the peace of mind to prosper backed by a guaranteed legal defense related to the use of our software. Nobody else offers this!
    Learn More
  • 1
    Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Algebraic graphs

    Algebraic graphs

    Algebraic graphs

    Alga is a library for algebraic construction and manipulation of graphs in Haskell. See this Haskell Symposium paper and the corresponding talk for the motivation behind the library, the underlying theory and implementation details. We can give semantics to the constructors in terms of the pair (V, E) of graph vertices and edges. Alga can handle graphs comprising millions of vertices and billions of edges in a matter of seconds, which is fast enough for many applications. We believe there is a lot of potential for improving the performance of the library, and this is one of our top priorities. If you come across a performance issue when using the library, please let us know.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    BuddyScout is an interface between BuDDy (Binary Decision Diagram library) and GHC (Glasgow Haskell Compiler). It enables you to use the BDD library from within Haskell programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • R3 Contract Management for GovCon Icon
    R3 Contract Management for GovCon

    Designed to meet the unique needs of Federal Government Contractors.

    R3 Contract Management for GovCon is a practical, flexible, and affordable software solution designed specifically for small to mid-size Federal Government Contractors. It provides you with a centralized contract management system. This gives you greater control over your contracts, reduces risks, increases your effectiveness and provides you with cost savings from increased productivity.
    Learn More
  • 5
    The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    This is the extended euclidean algorithm implemented in haskell. It will put every single step of the algorithm in a file and show the actual result and everything in between.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A set of MediaWiki extensions and other tools developed for the Twelf wiki (http://twelf.plparty.org) that enable a wiki to naturally incorporate logic Twelf in a number of meaningful and useful ways.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    bignum: Infinite precision math library

    Infinite precision scientific math library for Haskell, Miranda & KRC

    bignum is a KRC and Miranda library and BigFloat a Haskell type for dealing with infinite-precision values with all arithmetic and scientific functions. Unlike most long-precision calculation systems, it guarantees that every digit it returns is correct. It has no known bugs except for bottoming out on certain values like 1/3 * 3 and is maintained at https://codeberg.org/martinwguy/bigfloat
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    This will be a graph generator, generating lists of graphs satisfying given conditions (filters).
    Downloads: 0 This Week
    Last Update:
    See Project
  • Modernize Your Lab with the #1 Rated LIMS Icon
    Modernize Your Lab with the #1 Rated LIMS

    Labs that need a powerful LIMS system

    Nothing is more critical to a lab’s success than the quality, security, and traceability of samples. The Lockbox LIMS system provides robust sample management functionality to laboratory professionals, giving them full visibility on every aspect of a sample’s journey, from accessioning to long-term storage.
    Learn More
  • 10

    proof-logic

    Proof Logic : A logical framework for theorem proving

    Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next