Showing 14 open source projects for "prelude"

View related business solutions
  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | 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
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 1
    Emacs Prelude

    Emacs Prelude

    Enhanced Emacs 25.1+ distribution

    Prelude is an enhanced Emacs 25.1+ distribution that should make your experience with Emacs both more pleasant and more powerful. Prelude is an Emacs distribution that aims to enhance the default Emacs experience. Prelude alters a lot of the default settings, bundles a plethora of additional packages and adds its own core library to the mix.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Summoner

    Summoner

    Tool for scaffolding batteries-included production-level Haskell

    ...Do you want to create a library that is to be uploaded to Hackage/Stackage, that builds with both Cabal and Stack and supports the latest three major GHC versions? Or are you building a production application that uses a custom prelude and has CI with GitHub Actions or Travis Linux and AppVeyors Windows checks? Maybe do you want to play with your idea in a single module without introducing the whole complexity of the Haskell projects. Summoner can help you do all that with minimal effort from you - it can even upload the project to GitHub if you wish! By the way, Summoner operates as either CLI or TUI application, so you can choose what you are more comfortable with and install only the required one.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    zenburn-theme for Emacs

    zenburn-theme for Emacs

    The Zenburn colour theme ported to Emacs

    ...This theme uses the "new" (it used to be new several years ago when I created this package) built-in theming support available starting with Emacs 24.1. You can support the development of Zenburn for Emacs via GitHub Sponsors, ko-fi, PayPal and Patreon. Zenburn for Emacs is already bundled into Emacs Prelude. If you're a Prelude user - you're probably already using Zenburn, since it's Prelude's default color theme. You can load Zenburn at any time by M-x load-theme zenburn. If you'd like to tweak the theme by changing just a few colors, you can do so by defining new values in the zenburn-override-colors-alist variable before loading the theme.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    The Agda standard library

    The Agda standard library

    The Agda standard library

    ...While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group at Chalmers. Other languages in this tradition are Alf, Alfa, Agda 1, Cayenne. Some other loosely related languages are Coq, Epigram, Idris, and Lean.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go From AI Idea to AI App Fast Icon
    Go From AI Idea to AI App Fast

    One platform to build, fine-tune, and deploy ML models. No MLOps team required.

    Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
    Try Free
  • 5
    Kubernetes Handbook

    Kubernetes Handbook

    Cloud native application architecture practice handbook

    ...In its essence, all behaviors or methods that can improve resource utilization and application delivery efficiency on the cloud are cloud-native. The history of cloud computing is a history of cloud native. Kubernetes opened the prelude to cloud native 1.0. The emergence of service mesh Istio led to microservices in the post-Kubernetes era. The rise of serverless has enabled cloud native to advance from the infrastructure layer to the application architecture layer. We are in a cloud native The new era of 2.0. Kubernetes is a container orchestration and scheduling engine developed by Google in June 2014 based on its internal Borg system. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    relude

    relude

    Safe, performant, user-friendly and lightweight Haskell library

    relude is a safe, performant, user-friendly and lightweight Haskell standard library. The default Prelude is not perfect and doesn’t always satisfy one’s needs. At this stage, you may want to try an alternative prelude library. relude has some strong goals and principles that it sticks to. That principles define the library's decisions and might tell you more about the priorities of the library. You can be more productive with a “non-standard” standard library, and relude helps you with writing safer and more efficient code faster. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    Isabelle/HOLCF Standard Prelude

    A formalization of Haskell's standard prelude in Isabelle/HOLCF.

    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    prelude.pl

    Perl5 library that adds something to the language, like lazy lists

    This Perl5 library contains some nice utilities: case, match, lazy, lazy Lists...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    The i-Code Console is a web based application purposely created to access the existing database of a Prelude installation and provide a single access point to the stored events. This project includes the web app, the web server and all the utilities and 3 example rules for the Prelude Correlator module. This console was created within the i-Code Project (http://www.icode-project.eu).
    Downloads: 0 This Week
    Last Update:
    See Project
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Access competitive interest rates on your digital assets.

    Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 10
    PortscanGeoinfo is a plugin for the powerful Prelude correlation engine. This plugin correlates alerts from Snort NIDS and OSSEC HIDS sensors regarding portscans. Geographical information (GeoIP) is included in the correlated alert.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    This project offers a collection of resources that can be used to document object models in the Z language. This mainly consists in prelude files for z type checking and latex demo files that use it.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    User-friendly PHP frontend for the Prelude IDS database. Allows efficient processing of Prelude Intrusion Detection System reports.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Prelude is an Hybrid Intrusion Detection system. It is composed of differents sensors and of a Manager. Currently distributed is an NIDS sensor. the Manager is for reporting attacks in an user readable form. Prelude is completly modulable and distributed.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Prelude OS

    Prelude OS

    A new desktop experience

    Prelude will redefine computing down to a science. From its ease of use to its solid foundation, Prelude will make the computing experience more intuitive, easy, and practical. Coming soon to PCs and Melody machines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB