Search Results for "prelude"
Sort By:
Showing 8 open source projects for "prelude"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
The #1 Embedded Analytics Solution for SaaS Teams.Qrvey’s comprehensive embedded analytics software enables you to design more customizable analytics experiences for your end users.
-
1
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... -
2
The Agda standard library
The Agda standard library
The standard library aims to contain all the tools needed to write both programs and proofs easily. 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... -
3
Kubernetes Handbook
Cloud native application architecture practice handbook
Cloud native is a behavioral method and design concept. 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... -
4
zenburn-theme for Emacs
The Zenburn colour theme ported to Emacs
..., 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. -
Build enterprise-ready GenAI experiences with MongoDB AtlasMongoDB Atlas is a unified developer platform that enables you to confidently accelerate the deployment of GenAI-powered applications. Additionally, when purchased on Google Cloud Marketplace, you pay for only the resources you use with no upfront commitment.
-
5
Summoner
Tool for scaffolding batteries-included production-level Haskell
Summoner is a tool for scaffolding fully configured batteries-included production-level Haskell projects. 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... -
6
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... -
7
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.
-
8
User-friendly PHP frontend for the Prelude IDS database. Allows efficient processing of Prelude Intrusion Detection System reports.
- Previous
- You're on page 1
- Next