[go: up one dir, main page]

Showing 49 open source projects for "desktop"

View related business solutions
  • Gen AI apps are built with MongoDB Atlas Icon
    Gen AI apps are built with MongoDB Atlas

    The database for AI-powered applications.

    MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
    Start Free
  • The Easy Way To Build A Referral Program Icon
    The Easy Way To Build A Referral Program

    Referral Factory is the #1 referral software used by SMEs and Marketers.

    Referral Factory offers over 1000 pre-built referral program templates you can use as your own, or you can build your own referral program from scratch. You get unlimited referral campaigns on all plans, and brilliant support from their team of referral marketing experts.
    Learn More
  • 1
    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: 0 This Week
    Last Update:
    See Project
  • 2
    pdfsandwich generates "sandwich" OCR pdf files, i.e. pdf files which contain only images (but no editable text) will be processed by optical character recognition (OCR) and the text will be added to each page invisibly "behind" the images. pdfsandwich is a command line tool which is supposed to be useful to OCR scanned books or journals. It is able to recognize the page layout even for multicolumn text. Essentially, pdfsandwich is a wrapper script which calls the following binaries:...
    Leader badge">
    Downloads: 286 This Week
    Last Update:
    See Project
  • 3
    savonet
    Audio toolkit for streaming, aiming at complex Internet radio systems. Our stream generator is highly extensible and flexible. Script based, it can be a fully automatic daemon streamer, but is also used for live shows with an user-friendly GUI.
    Leader badge">
    Downloads: 353 This Week
    Last Update:
    See Project
  • 4

    The cartesian programming language

    A functional programming language

    Cartesian is a pure functional programming language, wrapped in an imperative and object oriented layer. The main goal is to separate both worlds and to have some very clean and well defined interfaces. This project is the reference implementation of the language, as an interpreter. The interpreter's goal is not performance.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Attack Surface Management | Criminal IP ASM Icon
    Attack Surface Management | Criminal IP ASM

    For security operations, threat-intelligence and risk teams wanting a tool to get access to auto-monitored assets exposed to attack surfaces

    Criminal IP’s Attack Surface Management (ASM) is a threat-intelligence–driven platform that continuously discovers, inventories, and monitors every internet-connected asset associated with an organization, including shadow and forgotten resources, so teams see their true external footprint from an attacker’s perspective. The solution combines automated asset discovery with OSINT techniques, AI enrichment and advanced threat intelligence to surface exposed hosts, domains, cloud services, IoT endpoints and other Internet-facing vectors, capture evidence (screenshots and metadata), and correlate findings to known exploitability and attacker tradecraft. ASM prioritizes exposures by business context and risk, highlights vulnerable components and misconfigurations, and provides real-time alerts and dashboards to speed investigation and remediation.
    Learn More
  • 5
    CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 6
    MLDonkey is a multi-platform multi-network peer-to-peer client.
    Downloads: 63 This Week
    Last Update:
    See Project
  • 7

    The MinCaml Compiler

    *** Moved to http://github.com/esumii/min-caml ***

    *** Moved to http://github.com/esumii/min-caml *** MinCaml: An educational compiler from a tiny ML subset to the SPARC or PowerPC assembly language; Only 2000 lines of Objective Caml, but almost as efficient as---or even more efficient than---OCaml and GCC!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    STP

    MOVED TO GITHUB. Code here is STALE.

    THE STP CODE HAS MOVED TO GITHUB. THE CODE HERE IS STALE. PLEASE CHECKOUT THE FOLLOWING WEBSITE: http://stp.github.io/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    ant is a typesetting system inspired by TeX.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Ditto Edge Server is a lightweight standalone server for resource-constrained edge environments, based on the core Ditto Edge SDK. Icon
    Ditto Edge Server is a lightweight standalone server for resource-constrained edge environments, based on the core Ditto Edge SDK.

    With Ditto Edge Server, you can join devices as small as a Raspberry Pi to a local mesh network and synchronize data across edge environments.

    Ditto's Edge SDK is the only thing your edge devices need to ensure your application is operational in any environment, regardless of network conditions.
    Learn More
  • 10
    WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice
    Downloads: 13 This Week
    Last Update:
    See Project
  • 11
    ggelite aims to be a clone/improvement of the old eighty's game called "elite"
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    AdH is a 3D multiplayer role playing game based on the greek antiquity. Preliminary projects include a C++ types serialization generator, and a 3D train game.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    A UNIX style content indexer. Works like good old "locate" and provides functionality similar to tools like Google Desktop.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    MicroCartouche OSI est un petit logiciel de mesures et de formatage pour microphotographe. Il est particulièrement indiqué pour les échanges d'images dans le forum du Naturaliste (http://www.lenaturaliste.net/index.php)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Mini Gosix is a small program that allows you to play Gosix board game (by Pierre Canuel) against a computer opponent. There are selectable difficulty levels and GUI. Program is written in OCaml using TK widgets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    LaTeX editor written in Objective Caml (OCaml) with the GTK+ toolkit. It provides multi-document interface, syntax highlighting, code completion, UTF-8 support, plugins, customizable GUI, regexp-based find and replace and more...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Starting from various input files, we parse to find a list of addresses, then display them on a map.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Replaces traditional file system with tagged cloud. Designed to work with both point&click interfaces and command line. Data and tags are stored as regular files, so if something goes wrong, your data and tags won't disappear.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    POESIA= Public Opensource Environment for a Safer Internet Access an opensource Internet content filter (multimodal, mulitlingual) aimed for protection of youth (in schools...); partly funded by the European Commission
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Errances is a tactical role playing game written in OCaml. Features battles in a 3D environment. The aim is to have lots of secondary quests but not a single main story.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Un jeu de coinche, ou belote coinchée.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Flashdot is a program for generating and presenting visual perceptual experiments that require a high temporal precision. It is controlled by a simple experiment building language and allows experiment generation with either a text or a graphical editor.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    Moved to https://forge.ocamlcore.org/projects/ocaml-benchmark/ OCaml module to benchmark running times of code. It is inspired by Perl Benchmark.pm.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    OCaml-Magic is an OCaml (http://caml.inria.fr/) binding for libmagic (to determine the type of files).
    Leader badge">
    Downloads: 20 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next