Showing 2014 open source projects for "linux is"

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
  • Context for your AI agents Icon
    Context for your AI agents

    Crawl websites, sync to vector databases, and power RAG applications. Pre-built integrations for LLM pipelines and AI assistants.

    Build data pipelines that feed your AI models and agents without managing infrastructure. Crawl any website, transform content, and push directly to your preferred vector store. Use 10,000+ tools for RAG applications, AI assistants, and real-time knowledge bases. Monitor site changes, trigger workflows on new data, and keep your AIs fed with fresh, structured information. Cloud-native, API-first, and free to start until you need to scale.
    Try for free
  • 1

    aguacate

    With aguacate you get a better taste

    Aguacate is a framework with focus on implement business logic functionality, using configuration files (json) instead of programming. See the wiki and the videos See https://github.com/mcnew/aguacate-swagger-demo for a functional demo using docker-compose Videos in Spanish: https://www.youtube.com/playlist?list=PLSHQIkodyHroW2XF7BWCrymDv_Nlj7HRS
    Downloads: 5 This Week
    Last Update:
    See Project
  • 2
    Java Modeling Language (JML)
    This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3
    ERP Demo Application

    ERP Demo Application

    ERP Demo application

    An ERP application developed with JVx and other open source libraries.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 4
    Anti-Plagiarism (Check on plagiarism)
    Anti-Plagiarism - software designed to effectively detect and thereby prevent plagiarism. It is a versatile tool to deal with World Wide Web copy-pasting information from the assignment of authorship. The goal of this program is to help reduce the impact of plagiarism on education and educational institutions. Checking documents in a format *.rtf, *.doc, *.docx, *.pdf Check the source code C, C++, C#, Java, ... Download - https://ap.km.ua/ Documentation - https://ap.km.ua/
    Downloads: 5 This Week
    Last Update:
    See Project
  • Desktop and Mobile Device Management Software Icon
    Desktop and Mobile Device Management Software

    It's a modern take on desktop management that can be scaled as per organizational needs.

    Desktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.
    Learn More
  • 5
    BiblioHouse
    BiblioHouse es un gestor de biblioteca personal moderno y eficiente desarrollado en Java. Diseñado para amantes de la lectura que desean llevar un control detallado de su colección, préstamos y estadísticas de lectura, todo en local y totalmente privado.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 6
    java symbolic computing library and math editor, with : polynomial system solving, vectors & matrices, factorization, derivatives, integrals (rational functions), boolean algebra, simplification, MathML output, java code generation, geometric algebra
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7
    Linguistic Tree Constructor

    Linguistic Tree Constructor

    Syntax tree editor for rapid annotation of existing text

    Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 8
    JQM Java Quine McCluskey

    JQM Java Quine McCluskey

    JQM - Java Quine McCluskey for minimization of Boolean functions.

    Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 9
    EulerSharp

    EulerSharp

    Euler Yet another proof Engine

    EYE [1] is a reasoning engine supporting the Semantic Web layers [2]. It performs controlled chaining and it supports Euler paths [3]. Via N3 [4] it is interoperable with Cwm [5]. [1] http://eulersharp.sourceforge.net/README [2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a [3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html [4] http://www.w3.org/TeamSubmission/n3/ [5] http://www.w3.org/2000/10/swap/doc/cwm
    Downloads: 1 This Week
    Last Update:
    See Project
  • Kinetic Software - Epicor ERP Icon
    Kinetic Software - Epicor ERP

    Discrete, make-to-order and mixed-mode manufacturers who need a global cloud ERP solution

    Grow, thrive, and compete in a global marketplace with Kinetic—an industry-tailored, cognitive ERP that helps you work smarter and stay connected.
    Learn More
  • 10
    RobBX

    RobBX

    RobBX - is a powerfull DIY Arduino constructor based from IQBX

    RobBX - is a first in the world DIY Arduino constructor based from IQBX. Difference from prototype, RobBX has complete conception witch includes: a complete STL 3D-models with OpenSCAD sources; a special schemes and electronics connections; and powerfull Arduino firmware for ESP32 based on WiFi AP Server, connection to it from mobile device give a controller, programmable from IDE (on Blockly). Robb - is a low cost constructor, but it powerful for STEAM education.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11

    Math Expression Evaluator

    Evaluates simple mathematical expressions

    A simple Android app to evaluate mathematical expressions. It can handle variables. Somewhat more useful then a calculator but not sophisticated as mathcad or linux octave. Small app, does not take up much space. The following is an example of the type of input it takes: apple = 3, pear = 7 78 * (apple + pear) the output would be 780
    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    PCuaderno, teacher grade book.

    PCuaderno, teacher grade book.

    Teacher grade book. Aplication teacher support tool

    Useful application easy to handle for the management of information on the process of teaching and learning that takes place in a class. The idea is that the teacher comes to class or anywhere else, insert a USB (Universal Serial Bus) in the personal computer and run the application. When the application is launched the first thing we ask is a key that will be used to authenticate the user and to hide the information stored in database files using a cryptographic method. Once the user is...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 13
    GHMessen
    ...Currently it works with various CASSY(CASSY is a trademark by LD Didactic GmbH) interfaces and Go! Link(Go! Link is a trademark of Vernier GmbH) interface. It's designed for school usage. Binary packages are available from the openSUSE Linux Build-Service: download.opensuse.org/repositories/home:/fschuett
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Pick a polygon, then a transformation, then press the Go button. Cartesian coordinates grid. Unit of length is the pixel. See BestWavesLive.com No File I/O Java code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    Java Tutorial

    A Java Tutorial by examples

    Learn Java by writing real and usefull small applications. This tutorial teach you not only the language; documentation, bug-fixing and simple version control are also faced. The tutorial is in italian language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    treebolic-wordnet

    Treebolic hyperbolic visualization for WordNet

    WordNet Browser with Treebolic's hyperbolic rendering (see https://treebolic.sourceforge.net)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    RINO Software

    RINO Software

    RINO generates random maths exercises for secondary school teachers.

    RINO software is a resource for secondary school maths teachers. It is designed to create lists of maths exercices. It has been programmed using JAVA. Thus it is multi-platform. The output exercices are LaTeX files. It also has an option to provide PDF format.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18

    EasyCSP

    Constraint Satisfaction Problem solving library for Java

    EasyCSP is an open-source Java library for Constraint Satisfaction Programming. EasyCSP offers search algorithms for both CSPs and CSOPs. EasyCSP supports CSPs to be formalized using objects or int expressions. EasyCSP on GitHub: http://github.com/cordisvictor/easycsp-lib
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Krishnamurti's Book of Life D.Thoughts

    Krishnamurti's Book of Life D.Thoughts

    Jiddu Krishnamurti's Book of Life|Libro de la Vida

    FREE distribution of the JAVA-XML multiplatform e-book about Jiddu Krishnamurti's Book of Life (a witty daily cookie-like reflection). Ahora, lea diariamente los pensamientos de Krishnamurti en castellano- Obtenga una agenda gratis.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Scribe
    Scribe is a CMS for the Liferay Portal framework. It includes Web Content Management as well as Learning Management System features.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    Prime number ( primenumbers )

    Benchmark for 50 000 000 prime numbers as single and multicore

    Simple source files and compiled JAR Java programs, for benchmark 50 000 000 cycle finding prime numbers. On Intel(R) Core(TM) i5-8600K CPU, Windows 10 20H2, i have 39 second on single core and 7,6 second on multi core. (PS: C++ multicore 6 second). Added C files for gcc compiler in Windows 10 and for Xcode C command line project in MacOS ( tested on Mac mini M2 with single core 16 to 25 sec and multicore 2,3 to 5 second by compiler -O switch). Surprise, same code in JavaScript for M2 chip...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22

    lingvolearner-dicts-jeditor

    Dictionary editor for LingvoLearner android app

    Editor requires java 19 or above installed. Use this app for adding words with translations into database. You can use it in android application (not yet in Google Play). Then copy db file to your mobile. Download app from apks folder here and install it, open Setting in the app, then click upgrade database button.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23

    BoPlanets planetarium

    BoPlanets shows planets relatively to an observing planet.

    BoPlanets is a virtual planetarium showing the planets relatively to any observing planet. The planets can be viewed in ecliptical-, equatorial- or horizontal view. The times of rise, transit and set of a planet can be determined. Click on the link below to the web site of BoPlanets to see the help file of BoPlanets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    JaCoP
    JaCoP is a Java Constraint Programming solver. It provides a significant number of (global) constraints to facilitate efficient modeling of combinatorial problems, as well as modular design of search. Documentation is available at project Web site. Please, note that the sources from version 4.0 are only available at GitHub.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 25
    JSmol

    JSmol

    JavaScript-Based Molecular Viewer From Jmol

    JSmol is the extension of the Java-based molecular visualization applet Jmol (jmol.sourceforge.net) as an HTML5 JavaScript-only web app. It can be used in conjunction with the Java applet to provide an alternative to Java when the platform does not support that (iPhone/iPad) or does not support applets (Android). Used in conjunction with the Jmol JavaScript Object (http://wiki.jmol.org/index.php/Jmol_Javascript_Object), JSmol seamlessly offers alternatives to Java on these non-Applet...
    Leader badge
    Downloads: 11 This Week
    Last Update:
    See Project