8256 projects for "education" with 1 filter applied:

  • 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
  • Gen AI apps are built with MongoDB Atlas Icon
    Gen AI apps are built with MongoDB Atlas

    Build gen AI apps with an all-in-one modern database: MongoDB Atlas

    MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
    Start Free
  • 1
    General Knowledge Machine Project

    General Knowledge Machine Project

    Intellect Modeling Kit: assisting research, diagnostics, consulting

    We humans are bound by intellectual abilities. All knowledge is far beyond power of any person. The only way to apply knowledge is to build machines able to present it human way but not limited by volume. Intellect Modeling Kit (IMK) is intended to build knowledge machines (KM) assisting experts on the steps of activity: * Observation; * Producing propositions based on knowledge; * Elimination of impossible propositions; * Selection and verification of the most appropriate...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 2
    gleditor

    gleditor

    A small programmer's editor.

    A small programmer's editor whith syntax highlight, extended search features, code completion (ctrl+space). Supported languages: htlm, sql, pascal, c/c++, c#, java, basic, javascript, css, php, python.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 3

    calc: C-style arbitrary precision system

    Calc: arbitrary precision C-like arithmetic & calculator

    Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions.
    Leader badge
    Downloads: 4 This Week
    Last Update:
    See Project
  • 4
    Eli is a programming environment that supports all phases of translator construction with extensive libraries implementing common tasks, yet handling arbitrary special cases. Output is the C subset of C++. Please use eli-project-users list for suppor
    Downloads: 4 This Week
    Last Update:
    See Project
  • Simple, Secure Domain Registration Icon
    Simple, Secure Domain Registration

    Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.

    Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.
    Sign up for free
  • 5
    PMViewer is a Visualization tool for Astrophysical N-Body and Hydro Simulations. GADGET-2 data support.With/Without periodical boundary conditions.Snapshot of scene in PPM and GIF formats.Flying in 3D space. Active/Passive Stereo 3D support.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 6
    OptionMatrix

    OptionMatrix

    Financial Derivatives Calculator with 171+ Models (Options Calculator)

    A real-time financial derivatives calculator supporting 171+ models from QuantLib, Financial Numerical Recipes in C++ and MetaOptions. Matrices of prices are created with iterating strikes and/or months. A strike control system can produce any strike. A generalized date engine can calculate re-occuring distances to any industry used expiration into the future. Spread engine with spread views. Models Supported: Black-Scholes, Merton-73, Black-76, Roll Geske Whaley, Garman KohlHagen, Jump...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 7
    Dice endgames

    Dice endgames

    Dice endgames — generation of endgames with dices.

    Dice endgames is a gambling and logical game with perfect information, at the same time being a variety of both variants of chess and checkers-like games, and dices. In this game, the arrangement of chess pieces depends on the values on the sides of the dice. It was conceived as teaching and training how to solve endgames, problems or random arrangements, such as Fischer's chess, in various board games of logic.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 8
    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: 2 This Week
    Last Update:
    See Project
  • 9
    Instigate Algebraic Concepts Library
    C++ Library of Abstract Algebra concepts and arithmetic algorithms defined in terms of these concepts, using Instigate Generic Programming Methodology. Based on this library we plan to develop Linear Algebra and Optimization concepts and algorithms.
    Downloads: 3 This Week
    Last Update:
    See Project
  • Build Securely on Azure with Proven Frameworks Icon
    Build Securely on Azure with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 10
    Implements the rules of Scrabble(tm) for Android devices (and historically, for PalmOS, PocketPC and others) (For development purposes there's also a Linux client using ncurses or GTK.) Easy to port to other platforms, supports multiple languages and multi-device play via the internet, SMS, Bluetooth, and NFC. Not vaporware: one of TIME.com's top 5 PalmOS apps
    Downloads: 3 This Week
    Last Update:
    See Project
  • 11
    Sharada-Braille-Writer

    Sharada-Braille-Writer

    Six key approach to producing print materials.

    Sharada-Braille-Writer (S.B.W) is a text editor for GNU/Linux which support braille input. In S.B.W, Simultaneous multiple press of braille combinations, will produce corresponding letters. So one can input text in more than 40 languages with braille knowledge in perkins like way. letters f, d, s, j, k, l represent 1 2 3 4 5 6 of the braille dots respectively. By pressing "f" and "s" together will produce letter k and like. Website : https://zendalona.com/sbw/ Github repository 1 :...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 12
    SimThyr

    SimThyr

    A simulation program for thyroid homeostasis.

    SimThyr is a continuous simulation program for the human pituitary-thyroid feedback control system. Applications of this program cover research, including development of hypotheses, and education of students in biology and medicine, nurses and patients.
    Leader badge
    Downloads: 3 This Week
    Last Update:
    See Project
  • 13
    MaxFEM

    MaxFEM

    Software for electromagnetic simulation

    MaxFem is an open software package for electromagnetic simulation by using finite element methods. The package can solve problems in electrostatics, direct current, magnetostatics and eddy-currents. Since version 0.4.0, MaxFEM requires Python 3. We have moved the installers to the MaxFEM website (see below). In order to improve MaxFEM, we will require you to fill out a simple form before downloading them.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 14
    C-BGP is a BGP routing solver.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    Bandicoot

    Bandicoot

    fast C++ library for GPU linear algebra & scientific computing

    * Fast GPU linear algebra library (matrix maths) for the C++ language, aiming towards a good balance between speed and ease of use * Provides high-level syntax and functionality deliberately similar to Matlab * Provides an API that is aiming to be compatible with Armadillo for easy transition between CPU and GPU linear algebra code * Useful for algorithm development directly in C++, or quick conversion of research code into production environments * Distributed under the permissive...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 16
    ransfoil

    ransfoil

    console to calculate airflow around an airfoil based on RANS approach

    RANSFOIL is a console program to calculate airflow field around an isolated airfoil in low-speed, subsonic, transonic or supersonic regime by numerically solving the Reynolds averaged Navier-Stokes (RANS) equations using mature computational fluid dynamics (CFD) method. As postprocess results, the aerodynamic parameters of the airfoil, e.g., lift coefficient and drag coefficient, can be integrated from the airflow distribution near wall boundary. In addition, the coupling between airflow and...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 17
    crossmap

    crossmap

    convert genome coordinates betweeen assemblies

    CrossMap is a program for convenient conversion of genome coordinates and genomeannotation files between assemblies (eg. lift from GRCh36/hg18 to GRCh37/hg19 or vice versa).It support file in BAM, SAM, BED, Wiggle, BigWig, GFF, GTF format.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 18
    CyberUnits

    CyberUnits

    Class library for computational cybernetics

    CyberUnits is a cross-platform class library for rapid development of high-performance computer simulations in life sciences. It supports modelling for biomedical cybernetics and systems biology with Object Pascal.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 19
    schur

    schur

    Interactive Program For Calculating Properties Of Symmetric Functions

    Schur is a standalone program for interactively calculating properties of Lie groups and symmetric functions. Schur has been designed to answer questions of relevance to a wide range of problems of interest to chemists, mathematicians, computer scientists,...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 20
    Kablink
    Kablink open team collaboration software uses social networking to unify team workspaces w/ real-time web conferencing. Collaboration for knowledge networking, program management, communities-of-practice, telework, other business process/functional areas
    Downloads: 2 This Week
    Last Update:
    See Project
  • 21
    Leaklog
    Leaklog is a leakage control system based on Regulation (EC) No 842/2006. It logs findings and parameters of leakage checks, shows a history of the development of parameters, compares them with nominal ones and calculates the percentage of leakage.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 22
    A web-based project management tool for workgroups. Encourage groups and individuals to work collaboratively. This tool aims to be functional and elegant without being complicated or graphically intensive.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 23
    AMBIT:Chemical Structure DB&Web Service

    AMBIT:Chemical Structure DB&Web Service

    Chemical structures database & machine learning with web services API

    AMBIT offers a cheminformatics data management for chemical substances, structures and nanomaterials. Flexible structure, similarity and study queries storage, descriptor calculation and predictive models building via REST web services.User interface for creating read across assessment and generating reports, aligned with regulatory and industrial requirements. Command line applications also available. Integration with third party tools and databases.
    Leader badge
    Downloads: 2 This Week
    Last Update:
    See Project
  • 24
    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: 1 This Week
    Last Update:
    See Project
  • 25

    treebolic-wordnet

    Treebolic hyperbolic visualization for WordNet

    WordNet Browser with Treebolic's hyperbolic rendering (see https://treebolic.sourceforge.net)
    Downloads: 1 This Week
    Last Update:
    See Project
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.