Showing 17 open source projects for "education"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 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
  • 1
    hbox

    hbox

    Sokoban solver written in Ada

    This is a commandline-terminal sokoban solver written in Ada. It is "generic" in the sense that it contains no domain specific strategies. It also provides a demonstration of the incredible power of the Hungarian Algorithm. The proper command to extract the archive and maintain the directory structure is "7z x filename".
    Downloads: 15 This Week
    Last Update:
    See Project
  • 2
    Fuzzy machine learning framework

    Fuzzy machine learning framework

    A library and a GUI front-end for fuzzy machine learning

    Fuzzy machine learning framework is a library and a GUI front-end for machine learning using intuitionistic fuzzy data. The approach is based on the intuitionistic fuzzy sets and the possibility theory. Further characteristics are fuzzy features and classes; numeric, enumeration features and features based on linguistic variables; user-defined features; derived and evaluated features; classifiers as features for building hierarchical systems; automatic refinement in case of dependent...
    Downloads: 16 This Week
    Last Update:
    See Project
  • 3
    Wikibook Ada Programming
    The Demonstrations Programs for the Wikibook "Ada Programming".
    Downloads: 12 This Week
    Last Update:
    See Project
  • 4
    TeXCAD

    TeXCAD

    A simple LaTeX {picture} drawing tool

    TeXCAD is a program for drawing or retouching {picture}s in LaTeX. It extends the original {picture} capabilities, even without any obligatory LaTeX package, class or style sheet. Core of TeXCAD is totally portable. A MS Windows version is available. More information on... https://texcad.sourceforge.io/ Alire crate: https://alire.ada.dev/crates/texcad Mirror: https://github.com/zertovitch/texcad
    Downloads: 10 This Week
    Last Update:
    See Project
  • Keep company data safe with Chrome Enterprise Icon
    Keep company data safe with Chrome Enterprise

    Protect your business with AI policies and data loss prevention in the browser

    Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
    Download Chrome
  • 5
    Fuzzy sets for Ada

    Fuzzy sets for Ada

    Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis

    Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of...
    Downloads: 5 This Week
    Last Update:
    See Project
  • 6
    Asud

    Asud

    Sudoku Assistant

    Pencil & paper Sudoku fans that need help will find that this [free & offline] app can help them to identify & eliminate candidate digits, using Windows or Linux. ASUD is a sudoku assistant tool designed to help with manually solving Sudoku puzzles. It handles routine tasks so you can focus on more advanced puzzle solving strategies. Algorithms have been added to detect and display (hidden or naked) pairs, triples, & quads, whose display can be toggled. Executables that run...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    IntervalRpnCalculator

    IntervalRpnCalculator

    An HP RPN calculator with interval output

    This terminal app runs on PCs or laptops running OSX or GNU/Linux. It attempts to mimic the functionality of an HP ReversePolishNotation [RPN] calculator with the added enhancement of interval output. So along with your answer, you get a good idea of its trustworthiness. This app uses GAOL, a C++ library to perform arithmetic with floating-point intervals.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    lorenz

    Ada contributions : demos of GTKAda, binding to PCRE

    Ada contributions : 1/Lorenz is a small animation program which draws the Lorenz attractor using GTK+. For maximum portability, it uses Ada and GTKAda with a Glade3 interface Windows executable bundled with all the GTK DLL's is provided. Upgraded to Gtk3 in 2017 2/Thin Ada binding to PCRE regular expression. 3/Gate3 : Ada code sketcher for glade3. generates an Ada prototype from a XML file. Enables RAD of user interface with glade 4/Julia set with GtkAda 5/OpenGL demos...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 9
    Codegroup

    Codegroup

    A Java application for transferring computer files in 5 letter groups

    Codegroup is a Java application that will allow one to convert binary (or text) computer files in to 5 letter codegroups for transmission over email, landline telephones, radioteletype or Morse Code. Codegroup has internal error correction & limited cryptography capabilities. Codegroup : ZZZZZ YBPIL AIAIG FMOPP CPAAA DGNGP GPGPA ADNJN ELJKO ELIMO GEOHF KIFGP IFBCB PKCPI YJMHE PHBHP PPOBH NCOHD AKLLL AGHFP DEGEF LKELC EAIJI ABAGP AHPPO IHHPH OHPDF YNFPB ALEPO KMPKP Once this...
    Downloads: 2 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
    Helena is an explicit state model checker for high-level Petri nets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    An other connect4 written in Ada using GtkAda, main language is French. An Artificial Intelligence is provided, you can play against the computer. Un autre Puissance4 écrit en Ada s'appuyant sur GtkAda. Il est pourvu d'une Intelligence Artificielle.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    GTKAda wrapper is a very simplified interface to GTK Ada. It is intended to be used by beginner Ada programmers (students at the beginning of the computer science courses) to easily build graphical applications.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    WLAN 802.11 frame analyzer with educational purposes it will show on different windows : the measures, the MAC data frames, the MAC control frames... Programmed for linux systems using ADA. keywords: ADA, wifi, 802.11, ENST.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    OS based on Agent based Security with a new type of split kernel and agents platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Professional music typesetting, according to the book "The Art Of Music Copying" by Clinton Roemer. Reads MusicXML, CMN, ABC and Guido. Produces MIDI, EPS, PDF, PNG and SVG; from small images for the web to full printable sheet music.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    AdaPackageTesting is a tool for developers using the Ada95 programming language. With him, it's very fast to create the structure of a test program based of the package specifications (.ads).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Yet another human-readable plaintext music notation language. Somewhat similar to ABC and also Guido. Empty lines divide blocks of music, and every line is for one voice. Blocks can be repeated and merged to simplify structured composing.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next