Search Results for "prelude"
Sort By:
Showing 14 open source projects for "prelude"
View related business solutions-
Full-stack observability with actually useful AI | Grafana CloudBuilt 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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
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. -
2
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. -
3
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. -
4
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. -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
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. ... -
6
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. ... -
7
Isabelle/HOLCF Standard Prelude
A formalization of Haskell's standard prelude in Isabelle/HOLCF.
-
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... -
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).
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
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.
-
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.
-
12
User-friendly PHP frontend for the Prelude IDS database. Allows efficient processing of Prelude Intrusion Detection System reports.
-
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.
-
14
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.
- Previous
- You're on page 1
- Next
