Showing 35 open source projects for "owlapi-api"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Say goodbye to broken revenue funnels and poor customer experiences Icon
    Say goodbye to broken revenue funnels and poor customer experiences

    Connect and coordinate your data, signals, tools, and people at every step of the customer journey.

    LeanData is a Demand Management solution that supports all go-to-market strategies such as account-based sales development, geo-based territories, and more. LeanData features a visual, intuitive workflow native to Salesforce that enables users to view their entire lead flow in one interface. LeanData allows users to access the drag-and-drop feature to route their leads. LeanData also features an algorithms match that uses multiple fields in Salesforce.
    Learn More
  • 1
    OpenGL Mathematics

    OpenGL Mathematics

    Highly Optimized Graphics Math (glm) for C

    Highly optimized 2D|3D math library, also known as OpenGL Mathematics (glm) for `C`. cglm provides lot of utils to help math operations to be fast and quick to write. It is community-friendly, feel free to bring any issues, bugs you faced. Almost all functions (inline versions) and parameters are documented inside the corresponding headers. OpenGL-related functions are dropped to make this lib platform/third-party independent. Make sure you have the latest version and feel free to report...
    Downloads: 6 This Week
    Last Update:
    See Project
  • 2
    gretl

    gretl

    A cross-platform statistical package for econometric analysis

    gretl is a cross-platform software package for econometric analysis, written in the C programming language.
    Leader badge
    Downloads: 5,010 This Week
    Last Update:
    See Project
  • 3

    mers

    Portable software and data related to Mersenne numbers

    Portable software related to Mersenne numbers. Useful to automate certain tasks related to GIMPS (www.mersenne.org) for computers that cannot run the GIMPS software for whatever reason. Much of the code has been in use since 1990 or so by a few people. The project web site at https://mers.sourceforge.io/mersenne.html has data about Mersenne numbers from many people generated by this and other software, notably from the GIMPS project.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 4
    Multifario is a C API for computing manifolds. The manifold is represented as an atlas of charts whose domains are balls. Multifario can compute implicitly defined manifolds and invariant manifolds. See also https://multifario.sourceforge.io/ Keywords: Continuation, Bifurcation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • The AI workplace management platform Icon
    The AI workplace management platform

    Plan smart spaces, connect teams, manage assets, and get insights with the leading AI-powered operating system for the built world.

    By combining AI workflows, predictive intelligence, and automated insights, OfficeSpace gives leaders a complete view of how their spaces are used and how people work. Facilities, IT, HR, and Real Estate teams use OfficeSpace to optimize space utilization, enhance employee experience, and reduce portfolio costs with precision.
    Learn More
  • 5
    TXM

    TXM

    Unicode XML TEI text analysis platform

    TXM is a free and open-source cross-platform Unicode & XML based text analysis environment and graphical client, supporting Windows, Linux and Mac OS X. It can also be used online as a J2EE standard compliant web portal (GWT based) with access control built in. DOWNLOAD LATEST VERSION OF TXM : http://textometrie.ens-lyon.fr/spip.php?rubrique61&lang=en TXM offers a comprehensive range of analysis tools (concordances, collocate search, frequency lists, etc.) based on the powerfull CQP...
    Leader badge
    Downloads: 10 This Week
    Last Update:
    See Project
  • 6
    Etchimaths (ALL categories)

    Etchimaths (ALL categories)

    This is a maths solving app and study guide for various levels..

    Etchimaths is a Mathematics software, a helping tool for Mathematics simulation(solving) and study.It is a solving as well as a teaching software. It involves Mathematics programs at various levels of studies;they include: 1.Etchimaths(O'LEVEL) 2.Etchimaths(A'LEVEL) 3.Etchimaths(UNIVERSITY) 4.Etchimaths(BEPC/BEPC+1) 5.Etchimaths(BAC) 6.Etchimaths(UNIVERSITE) 7.Etchimaths(ULTIMATE) and more to come in future..
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    lpsolve

    Mixed Integer Linear Programming (MILP) solver.

    Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/
    Leader badge
    Downloads: 1,642 This Week
    Last Update:
    See Project
  • 8
    newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL
    Downloads: 8 This Week
    Last Update:
    See Project
  • 9
    ATLAS (Automatically Tuned Linear Algebra Software) provides highly optimized Linear Algebra kernels for arbitrary cache-based architectures. ATLAS provides ANSI C and Fortran77 interfaces for the entire BLAS API, and a small portion of the LAPACK AP
    Downloads: 43 This Week
    Last Update:
    See Project
  • The Most Powerful Software Platform for EHSQ and ESG Management Icon
    The Most Powerful Software Platform for EHSQ and ESG Management

    Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.

    Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
    Learn More
  • 10
    GLPK for Windows

    GLPK for Windows

    Windows binaries for the GNU Linear Programming Kit (GLPK)

    GLPK 4.65 (GNU Linear Programming Kit, http://www.gnu.org/software/glpk/) is a solver for large-scale linear programming (LP), and mixed integer programming (MIP). This project supplies the most recent Windows executables - 2018-03-17. Linux and OSX users should download the source distribution from http://ftp.gnu.org/gnu/glpk
    Leader badge
    Downloads: 223 This Week
    Last Update:
    See Project
  • 11
    mathSuite

    mathSuite

    Powerful Calculus Environment and Matrices Handling Engine

    mathSuite is a very powerful Mathematical Suite which deals principally with complex algebric and geometric operations. It is powered by the fabulous ExprEval C Parser. The main purpose of this project is fast math-oriented algorithm virtualization, with an optimized direct text interface. Also it gives you a very powerful and fast Calculus Environment which let you handle easily interchangeable variable lists, matrices, LOGS and Settings Layouts with optimized Items Lists Managing Engine....
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Trad4 is a fully concurrent, thread safe, graph-based programming language that scales linearly on multiple cores. It is initially intended for deployment in the financial industry to model real-time risk.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 13
    allink

    allink

    Software for data analysis, image processing, simulations, solver.

    Collection of utilities based on two basics classes: Matematica and VarData. Matematica) performs math operations on vectors and matrices for smoothing, interpolation, convolution, image processing... VarData) manipulate a structure of points connected by links. Addraw) openGL engine. ElPoly) analyze mechanical properties of polymer and membrane like structures. Addyn) perform molecular dynamics and Monte Carlo simulations and has a solver for 4th oder PDE. Avvis) perform all the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14

    libfgen

    Library for optimization using a genetic algorithm or particle swarms

    libfgen is a library that implements an efficient and customizable genetic algorithm (GA). It also provides particle swarm optimization (PSO) functionality and an interface for real-valued function minimization or model fitting. It is written in C, but can also be compiled with a C++ compiler. Both Linux and Windows are supported.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15

    BP (Bilinear Pairing)

    library for Bilinear Pairing

    ...The size is only 3.7% of the size of the BPC library. Maximum supported group size is 911 bits. It is easy to compile the library for Android, ARM or x86 CPU. The API of the library is compatible with the PBC library. It is easy for the PBC library users to port their programs to this library, only with little modification.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    Gradesystem

    Gradesystem

    C programmed text-based software. Inputs : -Name of a course -Number of students -The 100% value of a mark -All the marks Then it estimates the Standard Deviation and grades, then assigns the marks to the grades inside a text.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    cuLsoda is an implementation of the Livermore Solver for Ordinary Differential Equations with Automatic switching for stiff and non-stiff problems (LSODA), written in NVIDIA's C for CUDA GPGPU API. NOTE: This repository is now deprecated and replaced by a new one at GitHub: https://github.com/Celemourn/cuLsoda
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    C++ Airline Travel Market Simulator
    That project aims at studying and comparing typical airline IT methods, for instance RM-related algorithms. It works from a Unix/Linux/Mac command-line, and exposes basic APIs. It is being developed in C++, with Python wrappers for some components.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Compilation of Physics Calculators

    Compilation of Physics Calculators

    A compliation of Physics derived claculators

    A NEW GUI VERSION WILL BE RELEASED SOON! Thank you for visiting the Physics Calculator, provided by PIezoSystems Inc., please visit their company website at https://piezosystems.org. For other downloads, please visit our github page, https://github.com/PiezoSystems. We hope that you find this program useful and easy to use, for troubleshooting, please email us, contact@piezosystems.org. If any bugs were found, please email us at bugs@piezosystems.org.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    LibAran is a 2D/3D Fast Multipole Method software library. Distributed under the GNU LGPL, it provides a C API to allow developers to use such algorithms in their own applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    The UMCL library provides a single API to developers of applications necessitating conversions between different Maths formats and especially Braille specific notations.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    MySci
    The aim of this project is to create a series of User Defined Functions, for MySQL servers. (Formerly known as MySQL/Scientific)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Java OpenCL Process Virtual Machine. Spring IoC based framework for complex data analysis with OpenCL computing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    A fully customizable, extensible, scalable computational engine pluggable with various statistical and mathematical engines (R, Matlab, Octave, scilab...) The main focus and datatype considered is timeseries: the project contains also a portable and effi
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next