Search Results for "pvpgn-support"
Sort By:
Showing 53 open source projects for "pvpgn-support"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
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.
-
1
crkbd is the firmware and PCB design for the Corne split mechanical keyboard (aka "Corne"), maintained by foostan and the community. It provides QMK/VIA/Vial firmware support, RGB underglow, multiple layouts, and flexible hardware customization.
-
2
xmonad
The core of xmonad, a small but functional ICCCM-compliant
...Out of the box, no window decorations, no status bar, no icon dock. just clean lines and efficiency. Haskell and smart programming practices guarantee a crash-free experience. It sports a vibrant extension library, including support for window decorations, status bars, and icon docks. Core features like per-screen workspaces, true xinerama support and managehooks can’t be found in any other wm. We work hard to make common configuration tasks one-liners. -
3
patat
Terminal-based presentations using Pandoc
...Experimental images support. Supports evaluating code snippets and showing the result. Written in Haskell. -
4
Kmonad
An advanced keyboard manager
KMonad is a cross-platform, advanced keyboard remapping tool written in Haskell. It provides low-level key control, supporting layers, tap-hold combos, multi-tap, macros, and more—even for keyboards without firmware-level customization. -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
tetris
A terminal interface for Tetris
A terminal interface for Tetris. Installation on MacOS and Linux is outlined below. Windows support is questionable, but you can try to install from source. The default game is run by simply executing the tetris command. If the unicode characters look a bit wonky in your terminal, you can also run. People seem to have varying levels of success with the linux binary. Please note that it is compiled dynamically and hence should not be expected to work on most distros. -
6
Hasktorch
Tensors and neural networks in Haskell
Hasktorch is a powerful Haskell library for tensor computation and neural network modeling, built on top of libtorch (the backend of PyTorch). It brings differentiable programming, automatic differentiation, and efficient tensor operations into Haskell’s strongly typed functional paradigm. This project is in active development, so expect changes to the library API as it evolves. We would like to invite new users to join our Hasktorch discord space for questions and discussions.... -
7
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... -
8
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... -
9
Matterhorn
A feature-rich Unix terminal client for the Mattermost chat system
Matterhorn is a terminal client for the Mattermost chat system. We provide pre-built binary releases for some platforms. Please see the release list to download a binary release for your platform that matches your server version. When you run Matterhorn you'll be prompted for your server URL and credentials. To connect, just paste your web client's Mattermost URL into the Server URL box and enter your credentials. See the Matterhorn User Guide on the details for providing each kind of... -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
10
Reflex
Interactive programs without callbacks or side-effects
...If your requirements change, your app can quickly and easily be reworked. The modularity of Reflex lets you iterate quickly, without wasting code. Reflex has been built to seamlessly support interfaces on desktop, mobile, web, and other platforms, all in Haskell. Regardless of your platform needs, Reflex lets you take your team and your code with you. Reflex is the key to writing self-updating user interfaces. Develop efficiently no matter how many times you pivot. One team, one code base, every platform. You don’t have to choose between building quickly or sustainably anymore. ... -
11
Echidna
Ethereum smart contract fuzzer
Echidna is a weird creature that eats bugs and is highly electrosensitive (with apologies to Jacob Stanley) More seriously, Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smarts contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions. We designed Echidna with modularity in mind, so it can be easily extended to include new mutations or test specific contracts in... -
12
Extism
The Universal Plug-in System. Extend anything with WebAssembly
...We've carefully designed it to be flexible, fitting into codebases of all shapes and sizes, but opinionated enough so that things Just Work™ the way they should. Extism's goal is to make all software programmable. You can use Extism in your codebase, regardless of the programming language. We support several environments through our official Host SDKs, and are adding more language support all the time. A plug-in system is software that enables your users or customers to add some logic into certain points in your application. You decide where this logic runs, and your users decide what the plug-in does. Many engineering teams face an ever-growing list of feature requests, often exceeding their bandwidth several times over. ... -
13
Brick
A declarative Unix terminal UI library written in Haskell
...Under the hood, this library builds upon vty, so some knowledge of Vty will be necessary to use this library. Brick depends on vty-crossplatform, so Brick should work anywhere Vty works (Unix and Windows). Brick releases prior to 2.0 only support Unix-based systems. -
14
emanote
Emanate a structured view of your plain-text notes
...Emanote is the spiritual successor to neurons based on Ema. Emanote is a Haskell software. Thanks to Nix, this repository is pre-configured to provide a delightful development experience with full IDE support in Visual Studio Code. -
15
Hakyll
A static website compiler library in Haskell
...It uses a highly configurable domain-specific language (DSL) embedded in Haskell, enabling users to define content compilation pipelines in code. It’s ideal for blogs and small-to-medium websites, with support for Markdown, Pandoc, and syntax highlighting. Hakyll is a static site generator library in Haskell. More information (including a tutorial) can be found on the Hakyll homepage. You can install this library using cabal. If Stack fails, please see which Stackage snapshots contain Hakyll and specify one explicitly. -
16
Yampa
Functional Reactive Programming domain-specific language
Yampa is a Functional Reactive Programming (FRP) library for Haskell, specifically designed for modeling hybrid systems that involve both continuous and discrete time behaviors, such as games, simulations, robotics, and reactive systems. Based on the concept of signal functions, Yampa offers a declarative way to model time-varying values and their transformations, making it easier to manage complex time-based logic without resorting to imperative state management. It is grounded in strong... -
17
Agda
Agda is a dependently typed programming language
Agda is a dependently typed, total functional programming language and interactive theorem prover based on Martin-Löf’s type theory. It allows expressing programs and proofs in the same language, using the Curry–Howard correspondence. It features interactive development via Emacs, Atom, or VS Code. Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has... -
18
Wire Server
Wire back-end services
Modern day communication meets the most advanced security and superior user experience. Protect your privacy and data like never before. Secure messaging, conferencing, file-sharing and more through end-to-end encryption for cloud, private cloud and On-Premises. All messaging on Wire uses end-to-end encryption (E2EE), giving users a strong degree of privacy and security. Wire is 100% open source with its code available on GitHub, independently audited and ISO, CCPA, GDPR, SOX-compliant. Wire... -
19
PureScript
A strongly-typed language that compiles to JavaScript
Compile to readable JavaScript and reuse existing JavaScript code easily. An extensive collection of libraries for development of web applications, web servers, apps and more. Excellent tooling and editor support with instant rebuilds. An active community with many learning resources. Build real-world applications using functional techniques and expressive types, such as: Algebraic data types and pattern matching. Row polymorphism and extensible records. Higher kinded types and type classes with functional dependencies, as well as higher-rank polymorphism. ... -
20
HStreamDB
HStreamDB is an open-source, cloud-native streaming database
...By subscribing to streams in HStreamDB, any update of the data stream will be pushed to your apps in real-time, and this promotes your apps to be more responsive. You can also replace message brokers with HStreamDB and everything you do with message brokers can be done better with HStreamDB. HStreamDB provides built-in support for event time-based stream processing. You can use your familiar SQL to perform basic filtering and transformation operations, statistics and aggregation based on multiple kinds of time windows and even joining between multiple streams. With connectors provided, you can easily integrate HStreamDB with other external systems, such as MQTT Broker, MySQL, Redis and ElasticSearch. ... -
21
Gitit
A wiki using HAppS, pandoc, and git
Gitit is a wiki application written in Haskell that uses Happstack for serving and Pandoc for markup conversion. Wiki content and attachments are stored in Git, Darcs, or Mercurial repositories, allowing versioning via VCS or web editing. To run gitit, you'll need git in your system path. (Or darcs or hg, if you're using darcs or mercurial to store the wiki data.) Gitit assumes that the page files (stored in the git repository) are encoded as UTF-8. Even page names may be UTF-8 if the file... -
22
Linux Notification Center
A notification daemon/center for linux
A haskell-written notification center for users that like a desktop with style. The notification center receives notifications via DBUS (like any notification daemon) and shows them in the upper right corner of the screen. The notification (if not specified in the notification otherwise) will also be shown in the notification center even after the notification disappeared by itself. The notifications can be clicked to make them disappear. Notifications can be replaced by the use of the... -
23
Amazonka
A comprehensive Amazon Web Services SDK for Haskell
An Amazon Web Services SDK for Haskell with support for most public services. Parts of the code contained in this repository are auto-generated and automatically kept up to date with Amazon's latest service APIs. You can find the latest Haddock documentation for each respective library on the Amazonka website. A release changelog can be found in lib/amazonka/CHANGELOG.md. The AWS service descriptions are licensed under Apache 2.0. -
24
The HaskellR project
The full power of R in Haskell
The HaskellR project provides an environment for efficiently processing data using Haskell or R code, interchangeably. HaskellR allows Haskell functions to seamlessly call R functions and vice versa. It provides the Haskell programmer with the full breadth of existing R libraries and extensions for numerical computation, statistical analysis and machine learning. Optionally, pass in the --nix flag to all commands if you have the Nix package manager installed. Nix can populate a local build... -
25
haskell-trainings
Haskell 101 and 102: slides and codelabs
...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.
