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

View related business solutions
  • Run applications fast and securely in a fully managed environment Icon
    Run applications fast and securely in a fully managed environment

    Cloud Run is a fully-managed compute platform that lets you run your code in a container directly on top of scalable infrastructure.

    Run frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.
    Try for free
  • Securden Privileged Account Manager Icon
    Securden Privileged Account Manager

    Unified Privileged Access Management

    Discover and manage administrator, service, and web app passwords, keys, and identities. Automate management with approval workflows. Centrally control, audit, monitor, and record all access to critical IT assets.
    Learn More
  • 1
    Software Design in Haskell

    Software Design in Haskell

    Software Design in Haskell

    This repository accompanies a comprehensive guide to building large, maintainable Haskell systems, focusing on architecture, modularity, and practical design techniques. It presents patterns for separating pure domain logic from side effects, organizing code into layers and components that can be tested in isolation. Readers encounter multiple styles—MTL/typeclass constraints, tagless-final encodings, free and freer monads, ReaderT-style application environments—and learn when to apply each....
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    CodeWorld

    CodeWorld

    Educational computer programming environment using Haskell

    CodeWorld is an educational programming environment that uses a Haskell-inspired language to teach computational thinking through graphics and interactive animation. The web-based IDE provides immediate visual feedback: students write code that draws shapes, composes pictures, and responds to events to build simple games and simulations. Its API emphasizes mathematics and geometry rather than low-level UI details, making it approachable for classrooms and self-learners. Projects run in the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    haskell-trainings

    haskell-trainings

    Haskell 101 and 102: slides and codelabs

    Haskell Trainings is a collection of slides, exercises, and documentation used by Google to teach Haskell programming. It covers a wide range of topics from beginner to advanced, including functional programming principles, monads, type classes, concurrency, and performance. The repository is designed to support self-paced learning or instructor-led training and reflects Google's internal education efforts to promote functional programming skills.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    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: 2 This Week
    Last Update:
    See Project
  • The full-stack observability platform that protects your dataLayer, tags and conversion data Icon
    The full-stack observability platform that protects your dataLayer, tags and conversion data

    Stop losing revenue to bad data today. and protect your marketing data with Code-Cube.io.

    Code-Cube.io detects issues instantly, alerts you in real time and helps you resolve them fast. No manual QA. No unreliable data. Just data you can trust and act on.
    Learn More
  • 5
    Kaleidoscope

    Kaleidoscope

    Haskell LLVM JIT Compiler Tutorial

    This repository is a Haskell port of the classic LLVM “Kaleidoscope” tutorial that walks you through building a tiny programming language from scratch. It covers the complete pipeline: tokenizing and parsing a simple, expression-oriented language, constructing an AST, and generating LLVM IR with a JIT so you can execute code interactively. Along the way it adds language features like user-defined functions, conditionals, loops, and operator precedence, demonstrating how each addition impacts...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Functional Networked Integrated Environment (FUNNIE) is a networked CSCW programming environment specifically tuned to the needs of students and instructors, based on a subset of Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    ZhDict provides command-line tools to aid English speakers in reading and understanding Chinese texts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB