89 projects for "open-shell" with 2 filters applied:

  • 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
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 1
    TORCS - The Open Racing Car Simulator
    TORCS, The Open Racing Car Simulator is a highly portable multi platform car racing simulation. It is used as ordinary car racing game, as AI racing game and as research platform. It runs on Linux (x86, AMD64, ARM and PPC), FreeBSD, OpenSolaris and Windows.
    Leader badge
    Downloads: 390 This Week
    Last Update:
    See Project
  • 2
    Tux Paint

    Tux Paint

    An award-winning drawing program for children of all ages

    Tux Paint is a free, award-winning drawing program originally created for children ages 3 to 12, but enjoyed by all! It combines an easy-to-use interface, fun sound effects, and an encouraging cartoon mascot who guides children as they use the program. You're presented with a blank canvas and a variety of drawing tools to help them be creative. Along with paintbrush, shapes and text, Tux Paint includes a "stamp" feature to add pre-drawn or photographic imagery to pictures, and a set of...
    Leader badge
    Downloads: 13,168 This Week
    Last Update:
    See Project
  • 3
    Moodle

    Moodle

    A free course management system (CMS) to create online learning sites

    Moodle is a Course Management System (CMS), also known as a Learning Management System (LMS) or a Virtual Learning Environment (VLE). It is a Free web application that educators can use to create effective online learning sites. https://moodle.org/
    Leader badge
    Downloads: 530 This Week
    Last Update:
    See Project
  • 4
    Stud.IP ist ein Lern- und Informations-Management-System für Hochschulen, Bildungseinrichtungen und Unternehmen. Professioneller Support und Auftragsentwicklung wird durch data-quest (www.data-quest.de) angeboten.
    Leader badge
    Downloads: 13 This Week
    Last Update:
    See Project
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    Forever Free Full-Stack Observability | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • 5
    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: 0 This Week
    Last Update:
    See Project
  • 6
    MesoRD is a stochastic and deterministic simulator of coupled chemical reactions and diffusions in space.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Archive of Formal Proofs

    Archive of Formal Proofs

    A collection of machine-checkend mathematical proofs

    The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    Impro-Visor

    Impro-Visor

    Leadsheet notation with auto-generated playback, improvisation advice

    Impro-Visor® is a music notation tool for producing monophonic lead sheets, specifically intended to help the improviser. Chord symbols are used to generate backing tracks automatically. Improvisation advice exists in the form of note coloration, database of licks, and automatic lick generation from grammars. Grammars can be learned automatically from transcriptions. Styles can be edited and created by the user. Other features include generation of roadmaps for understanding keys and...
    Leader badge
    Downloads: 155 This Week
    Last Update:
    See Project
  • 9
    Digital Logic Simulator (DiLoSim)

    Digital Logic Simulator (DiLoSim)

    Allows you to build your own circuits and test them

    ...You are allowed to use this easy-to-use tool for educational reasons. Run on Windows: - Install Java: https://java.com/en/download/ - Download the binaries - Open the jar-file with the java runtime Limitations: - Currently only German language supported. - This software requires Java 8 or above to work. Tested with OpenJDK & Oracle Java. For more information check out the project's source code at https://github.com/Crusader99/digital-logic-simulator
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 10
    As a library of classes for generating and manipulating music and sound, jMusic provides a solid framework for computer assisted composition in Java. jMusic has a music data structure based upon note/sound events and methods for modifying and structu
    Downloads: 3 This Week
    Last Update:
    See Project
  • 11
    clipsmm is a C++ interface to the CLIPS libray, a C library for developing expert systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    DictionaryForMIDs

    DictionaryForMIDs

    Dictionary for Mobile Information Devices and PCs

    DictionaryForMIDs is an dictionary application for cell phones, tablets and PCs. The dictionary is completely installed on the device ("offline dictionary"), i.e. after installation there is no need for an internet connection. DictionaryForMIDs can be set up for any dictionary, for any language, or for any other lookup-purpose. The DfM-Creator tool is used to set up a dictionary for use with DictionaryForMIDs.
    Downloads: 23 This Week
    Last Update:
    See Project
  • 13
    adms
    ADMS is a code generator that converts electrical compact device models specified in high-level description language into ready-to-compile c code for the API of spice simulators. Repository migrated to: https://github.com/Qucs/ADMS For checkout do: git clone https://github.com/Qucs/ADMS.git
    Leader badge
    Downloads: 40 This Week
    Last Update:
    See Project
  • 14
    Repast

    Repast

    The Repast Suite is a family of free agent-based modeling libraries.

    The Repast Suite is a family of advanced, free, and open source agent-based modeling and simulation platforms that have been under continuous development for over 20 years. Current source code and releases are hosted on Github https://repast.github.io/
    Downloads: 8 This Week
    Last Update:
    See Project
  • 15

    OpenAxiom: Scientific Computation System

    A system for computer algebra and symbolic mathematics

    OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 16

    Coptic Encoder

    A full system for transcoding between legacy Coptic character sets.

    ...This package aims to act as a stepping stone to Unicode, by including several legacy fonts hard-coded to take advantage of the multiple encodings, as well as a UNIX shell script, in multiple shell languages, to transcode between these encodings. All twelve encodings in wide use are supported. The fonts in this package are compatible with many operating systems; the shell scripts support Mac and Linux (more soon).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    sdcv - console version of stardict, cross-platform and international dictionary. Please see https://github.com/dushistov/sdcv for project info and downloads.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 18
    ProtoMol is an object-oriented component based framework for molecular dynamics simulations.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 19

    Guma

    Guma: An application for elementary school math...

    To Guma είναι μια δωρεάν εκπαιδευτική εφαρμογή ελευθέρου λογισμικού όπου επιτρέπει στους μαθητές του δημοτικού να εξασκούνται στις πράξεις: πρόσθεσης, πολλαπλασιασμού, διαίρεσης και αφαίρεσης φυσικών αριθμών. Guma is a educational free of charge, free software (With the meaning of Richard Stallman) software that helps elementary school students to practice in adding,substraction, multiplication anb division with natural numbers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20

    Blue Basin

    General template for expressions using Lisp-like structures.

    A group of generic tools and containers for using in logical and mathematical terms. Lisp like type-safe n-Trees.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    FLENS (Flexible Library for Efficient Numerical Solutions) is a C++ library for scientific computing. It can be considered as a very convenient and --- at the same time --- extremely efficient interface for BLAS and LAPACK. But it is much more than this
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    TextMachine
    Want to write a program for beginners who start with 10 fingers. It provides a graphical interface with fast handling and rapid download, easy to type, and that's it! It even has no installer, there is only one file, you must download! It is available in German and English. To download Java is required.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    An open-source corpus analysis class library written in C#. GUI of Tenka Text 0.1.3 comes with Wordlister - an advanced, extremely fast graphical wordlist tool and a simple regex concordance tool. Tenka Text - the open-source answer to WordSmith Tool
    Downloads: 2 This Week
    Last Update:
    See Project
  • 25
    MarcXimiL is a flexible multi-platform bibliographic similarity analysis framework. Features: deduplication, information monitoring, visual analysis, plagiarism detection. Supported: MARCXML, OAI-PMH2 harvesting, and importation of text MARC.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • Next
MongoDB Logo MongoDB