50 projects for "https" with 3 filters applied:

  • Find Hidden Risks in Windows Task Scheduler Icon
    Find Hidden Risks in Windows Task Scheduler

    Free diagnostic script reveals configuration issues, error patterns, and security risks. Instant HTML report.

    Windows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
    Download Free Tool
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 1
    Armadillo

    Armadillo

    fast C++ library for linear algebra & scientific computing

    ... * Downloads: http://arma.sourceforge.net/download.html * Documentation: http://arma.sourceforge.net/docs.html * Bug reports: http://arma.sourceforge.net/faq.html * Git repo: https://gitlab.com/conradsnicta/armadillo-code
    Leader badge
    Downloads: 2,524 This Week
    Last Update:
    See Project
  • 2
    Hibernate

    Hibernate

    An object relational-mapping (ORM) library for Java

    ...Hibernate projects do not consistently release binaries or documentation to SourceForge anymore. For up-to-date information, refer to the Hibernate website: * Hibernate ORM: https://hibernate.org/orm/ * Hibernate Validator: https://hibernate.org/validator/ * Hibernate Search: https://hibernate.org/search/ That website will also be updated with newer projects, such as Hibernate Reactive.
    Leader badge
    Downloads: 333 This Week
    Last Update:
    See Project
  • 3
    Community Z Tools

    Community Z Tools

    Tool support for the Z formal notation

    Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt
    Leader badge
    Downloads: 493 This Week
    Last Update:
    See Project
  • 4
    The Chemistry Development Kit
    The Chemistry Development Kit (CDK) is a scientific, LGPL-ed library for bio- and cheminformatics and computational chemistry written in Java. The main home page of the CDK is now at: http://cdk.github.io
    Downloads: 61 This Week
    Last Update:
    See Project
  • 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
  • 5
    Sparx' EA - MDG for TRAK

    Sparx' EA - MDG for TRAK

    MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions

    Custom add-in (MDG technology) for Sparx Systems Enterprise Architect UML modelling tool (https://sparxsystems.com/products/ea/index.html) to create architecture descriptions using TRAK https://sf.net/projects/trak Provides: - the set of TRAK views that can be represented using UML and SysML . Each view display a custom toolbox palette with the objects and relationships that are needed for that TRAK view - relationships can be made directly from the objects on a view using the Quicklink feature which presents the allowed relationship(s) by TRAK between the pair of objects selected - a custom set of searches. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Eclipse 4diac

    Eclipse 4diac

    Eclipse 4diac the open source solution for industrial automation

    Eclipse 4diac is an open source PLC environment allowing to implement industrial control solutions in a vendor neutral way. 4diac implements IEC 61499 extending IEC 61131-3 with improved support for controller to controller communication and dynamic reconfiguration. With that 4diac provides the infrastructure for Industrie 4.0 and industrial IoT. Further information and the latest versions can be found here: https://eclipse.dev/4diac/
    Leader badge
    Downloads: 39 This Week
    Last Update:
    See Project
  • 7
    TRURL

    TRURL

    A suite of RPN calculators and a class library for Object Pascal

    TRURL is a suite of desktop calculators with reverse Polish notation (RPN) written in Object Pascal. Additionally, it comes with a free reusable class library (RPN Engine) as a toolbox for creating your own calculator. TRURL is an acronym for "TRURL is a Reusable Universal RPN Library". Class Libraries: • RPN Engine: Full-featured calculation engine for Pascal-based RPN calculators • Segmitator: Library for virtual seven-segment displays Applications: • TRURL A: Simple demo app...
    Downloads: 12 This Week
    Last Update:
    See Project
  • 8
    JMEScriptGUI

    JMEScriptGUI

    Pequeño IDE para el lenguaje JMEScript.

    Con este IDE podrá probar cualquier script escrito en JMEScript con toda la funcionalidad del lenguaje, incluidos gráficos 2D y conexión MySQL. La versión para Android, en este momento, tiene menos funcionalidad y ejecuta la versión 0.1 de JMEScript. Parser JME y lenguaje JMEScript en https://sourceforge.net/projects/jme/ Documentación en https://morenobarrientos-jme.site44.com/ Código fuente y UDL para Notepad++ en pestaña 'FILES'
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9
    Biosphere3D

    Biosphere3D

    Interactive landscape rendering based on a virtual globe.

    ...For more information about the used concepts have a look at the thesis of Malte Clasen: Towards Interactive Landscape Visualization Doctoral Thesis published 2011 via Technische Universität Berlin https://doi.org/10.14279/depositonce-3005
    Downloads: 9 This Week
    Last Update:
    See Project
  • Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software. Icon
    Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software.

    Banks, lending institutions

    Founded in 2004, axefinance is a global market-leading software provider focused on credit risk automation for lenders looking to provide an efficient, competitive, and seamless omnichannel financing journey for all client segments (FI, Retail, Commercial, and Corporate.)
    Learn More
  • 10

    COBOL copybook to XML converter

    Converts cobol copybooks to Xml/Java objects

    ...This project includes utilities to convert an XML instance file into its COBOL copybook equivalent string buffer and vice versa. Source is now available in GitHub: https://github.com/bmTas/cb2xml
    Leader badge
    Downloads: 7 This Week
    Last Update:
    See Project
  • 11
    PetoronHash-System

    PetoronHash-System

    PHASH | post-quantum XOF hashing algorithm | C++20

    ...Optimized performance — ~120–130 MB/s Comprehensive verification — verify_all.sh performs KAT tests, determinism checks, and performance validation. Verification Script: chmod +x verify_all.sh ./verify_all.sh https://github.com/01alekseev/PetoronHash-System Ivan Alekseev | petoron.org
    Downloads: 3 This Week
    Last Update:
    See Project
  • 12
    GATE
    NOTE THAT THE SOURCE CODE AND ISSUE TRACKER HAVE NOW MOVED TO GITHUB. FIND US AT https://github.com/GateNLP/ GATE (General Architecture for Text Engineering) is an architecture, framework and development environment for developing, evaluating and embedding Human Language Technology. See http://gate.ac.uk for full details.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    JME (Java Math Expression)

    JME (Java Math Expression)

    Evaluador de expresiones matemáticas para Java en español

    ...También implementa un potente modo REPL que permite usar interactivamente la mayoría de características del lenguaje implementado por la biblioteca JME, incluida la importación y exportación CSV, HTML, JSON y XML. Puede consultarse la documentación de usuario y de desarrollador en la página https://miguelalejandromorenobarrientos.github.io/JmeDoc/ IDE JMEScriptGUI https://sourceforge.net/projects/j
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    ...Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and flexibility for expert users. * More info + downloads: https://mlpack.org * Git repo: https://github.com/mlpack/mlpack
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    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,715 This Week
    Last Update:
    See Project
  • 16

    ExRandom

    Sampling exactly from the normal and exponential distributions

    ...This library provides an implementation of the algorithms described in C. F. F. Karney, Sampling exactly from the normal distribution, ACM Trans. Math. Software 42(1), 3:1-14 (Jan. 2016), https://doi.org/10.1145/2710016, https://arxiv.org/abs/1303.6257.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 17
    DSPatch

    DSPatch

    The Refreshingly Simple C++ Dataflow Framework

    ...DSPatch is not limited to any particular domain or data type, from reactive programming to stream processing, DSPatch's generic, object-oriented API allows you to create virtually any dataflow system imaginable. *See also:* DSPatcher ( https://github.com/MarcusTomlinson/DSPatcher ): A cross-platform graphical tool for building DSPatch circuits. DSPatchables ( https://github.com/MarcusTomlinson/DSPatchables ): A DSPatch component repository.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    coarrays

    coarrays

    A free Fortran 2008, 2018 coarrays course with notes and exercises

    ...The F2008 standard provides coarray syntax, remote calls, coarray data objects, allocatable coarrays, syncronisation, atomics, etc. F2018 adds new functionality, e.g. collectives, teams, events, more atomics. Coarrays are used extensively in CASUP library for HPC (https://cgpack.sourceforge.io). The course is aimed at experienced Fortran users. Working knowledge of Fortran is assumed. The course is designed for a 1 day study with an instructor. Multiple exercises with full solutions are accompanied by notes. This course is taught to the University of Bristol HPC users. Exercises have been verified with Intel and GCC/OpenCoarrays. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    ...The use of SCNSL allows the easy and complete modelling of distributed applications of networked embedded systems such as wireless sensor networks, routers, and distributed plant controllers. SCNSL has migrated: please go to GitLab for the latest version: https://gitlab.com/open-kappa/scnsl
    Downloads: 1 This Week
    Last Update:
    See Project
  • 20
    Jenetics: Java Genetic Algorithm Library
    ...In contrast to other GA implementations, the library uses the concept of an evolution stream (EvolutionStream) for executing the evolution steps. Since the EvolutionStream implements the Java Stream interface, it works smoothly with the rest of the Java Stream API. Other repositories: - https://github.com/jenetics/jenetics Maven: - https://mvnrepository.com/artifact/io.jenetics
    Downloads: 1 This Week
    Last Update:
    See Project
  • 21
    Rotations Conversion Library

    Rotations Conversion Library

    Library for working with 3D rotations in C++

    ...The implementation of the Rotations Conversion Library is based on the very related Matlab/Octave Rotations Library (MORL), which is a highly tested reference implementation for the required algorithms (see https://sourceforge.net/projects/rotationslib/).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    FUMOLA - Functional Mock-up Laboratory

    FUMOLA - Functional Mock-up Laboratory

    An FMI-based co-simulation framework.

    FUMOLA is a co-simulation framework specifically designed to support the features offered by the FMI specification. It provides a flexible platform that allows to configure and execute co-simulation setups in an easy way. FUMOLA is developed on top of the Ptolemy II framework (https://ptolemy.eecs.berkeley.edu) and the FMI++ library (http://fmipp.sourceforge.net). The online documentation of FUMOLA is available here: https://sourceforge.net/p/fumola/wiki/Home/
    Downloads: 1 This Week
    Last Update:
    See Project
  • 23

    Simple Python Fixed-Point Module

    Pure-python binary fixed-point arithmetic library

    ...The number of fractional binary digits is tunable, allowing near-arbitrary precision arithmetic. Arithmetic & functions such as sqrt, exp, log, sin & cos are available. For the latest releases please visit https://github.com/rwpenney/spfpm
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Taurus

    Taurus

    A python based User Interface library.

    The Taurus Project has *moved* to: https://github.com/taurus-org/taurus This SourceForge page is *outdated* and kept for historical reference only. Taurus is a python framework for control and data acquisition CLIs and GUIs in scientific/industrial environments. It supports multiple control systems or data sources: Tango, EPICS, ... New control system libraries and data sources can be integrated through plugins.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    yacas

    yacas

    Computer calculations made easy

    NOTE: Yacas and yagy development has moved to github. The new repositories are located at https://github.com/grzegorzmazur/yacas and https://github.com/grzegorzmazur/yagy . The mailing list has been moved over to https://groups.google.com/forum/#!forum/yacas . The downloads section at sourceforge will be kept up to date for the foreseable future. Yacas is an easy to use, general purpose computer algebra system. It uses its own programming language designed for symbolic as well as arbitrary-precision numerical computations. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next