Showing 19 open source projects for "openmtp‑3.2.0‑mac‑arm64.dmg"

View related business solutions
  • Striven | All In One Business Management Software Icon
    Striven | All In One Business Management Software

    Striven is an all-in-one business management software suite with everything your organization needs for success.

    Striven is the all-in-one business management software that lowers your costs, improves your operations, and makes work easier. Make your company’s data coherent, connected, and relevant.
    Learn More
  • Jscrambler: Pioneering Client-Side Protection Platform Icon
    Jscrambler: Pioneering Client-Side Protection Platform

    Jscrambler offers an exclusive blend of cutting-edge first-party JavaScript obfuscation and state-of-the-art third-party tag protection.

    Jscrambler is the leader in Client-Side Protection and Compliance. We were the first to merge advanced polymorphic JavaScript obfuscation with fine-grained third-party tag protection in a unified Client-Side Protection and Compliance Platform. Our integrated solution ensures a robust defense against current and emerging client-side cyber threats, data leaks, and IP theft, empowering software development and digital teams to innovate securely. With Jscrambler, businesses adopt a unified, future-proof client-side security policy all while achieving compliance with emerging security standards including PCI DSS v4.0. Trusted by digital leaders worldwide, Jscrambler gives businesses the freedom to innovate securely.
    Learn More
  • 1
    A scheme (lisp) interpreter written in ARM assembly language (currently: Cortex-M4F,M7, Cortex-A5,A8,A9, Cortex-A53; previously:ARM7TDMI, ARM920T, Cortex-M3) for education, robotics, wearable devices. Tested on Allwinner A64, Amlogic S905, Atmel SAMA5D4, SAME70, SAMV71, NXP LPC4300, RT1050, iMX8M, Samsung S5P6818, ST STM32F4, STM32F7, and TI AM3359, OMAP3530, DM3730, OMAP4430, TM4C1294 chips (previously: NXP LPC-1300,1700,2000, ATMEL AT91SAM7, STM STR711, STR911, STM32, CIRRUS EP9302, LMI...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    MScheme

    Scheme Interpreter implemented in Java

    MScheme is a Scheme interpreter implemented in Java. The project goals are to fully comply with the "Revised^5 Report on Scheme" and a clean and modular design.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    A quantitative finance C++ library for modeling, pricing, trading, and risk management in real-life. A cross-platform free/open-source tool for derivatives and financial engineering.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 4

    Cognidrome

    Knowledge-Based Simulation

    Downloads: 0 This Week
    Last Update:
    See Project
  • QA Wolf | We Write, Run and Maintain Tests Icon
    QA Wolf | We Write, Run and Maintain Tests

    For developer teams searching for a testing software

    QA Wolf is an AI-native service that delivers 80% automated E2E test coverage for web & mobile apps in weeks not years.
    Learn More
  • 5
    Flexible constraint-based FIR filter design program.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Burrow-owl is a software package for visualizing multidimensional nuclear magnetic resonance (NMR) spectra, with an emphasis on spectra used in macromolecular structure determination.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts
    Downloads: 2 This Week
    Last Update:
    See Project
  • 8
    Java based multi-agent platform built on an organizational model (agent, group, role). MadKit provides general agent facilities (lifecycle management, message passing, distribution, ...), and allows high heterogeneity in agents.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    The Scheme Natural Language Toolkit (S-NLTK) is a Scheme R6RS library for language and text processing, and various tasks related to symbolic and statistical analysis of language data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • AI-powered SAST and AppSec platform that helps companies find and fix vulnerabilities. Icon
    AI-powered SAST and AppSec platform that helps companies find and fix vulnerabilities.

    Trusted by 750+ companies and performing 200k+ code scans monthly.

    ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with advanced program analysis to find and automatically fix vulnerabilities.
    Learn More
  • 10
    This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.
    Downloads: 27 This Week
    Last Update:
    See Project
  • 11
    The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    SAT Solver in plain C99 and the Scheme programming language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    RYUON : many-particle simulation suite
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    MLP(Multilayer Perceptron) training library written in LISP like language called Scheme. Can work with any type of MLP.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    Formicidae is the official simulator and visualizer for the Ant-Wars competitive programming site, written in Java and SISC. The site is hosted at www.ant-wars.net.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Algheme is a computer Algebra system written in the Scheme language. This project is actually aimed to symbolic computation using Groebner Bases and related topics; nevertheless, it can eventually evolve in a computational system for Mathematics in g
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    The purpose of the project is to develop a quantitative medical imaging & visualization program for use on brain MR, DTI and MRS data. It is a joint project of the Kennedy Krieger Institute & the Johns Hopkins University, Psychiatric Neuroimaging Lab
    Downloads: 1 This Week
    Last Update:
    See Project
  • 18
    A simple, small proof checker that will accept a minimalist Lisp-ish syntax.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    A simple and incredibly powerful tool for scripting and fuzzing arbitrary network protocols written using the Chicken Scheme-to-C compiler.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB