Search Results for "haskell"
Sort By:
Showing 354 open source projects for "haskell"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
dhall-haskell
Maintainable configuration files
Maintainable configuration files. Navigate to each package's directory for their respective READMEs. You can download pre-built binaries for Windows, OS X and Linux on the release page. You can then click the "Help" button in the bottom right corner, which will show you a nix-env command that you can run to install the prebuilt executable. You will probably want to use the shared caches hosted at cache.dhall-lang.org and dhall.cachix.org when doing Nix development. This is not required, but... -
2
haskell-tools.nvim
Supercharge your Haskell experience in neovim
Supercharge your Haskell experience in Neovim. -
3
stylish-haskell
Haskell code prettifier
A simple Haskell code prettifier. The goal is not to format all of the code in a file since I find that kind of tools often "get in the way". However, manually cleaning up import statements, etc. gets tedious very quickly. This tool tries to help where necessary without getting in the way. Aligns and sorts import statements. Groups and wraps {-# LANGUAGE #-} pragmas, can remove (some) redundant pragmas. -
4
Haskell Dockerfile Linter
Dockerfile linter, validate inline bash, written in Haskell
A smarter Dockerfile linter that helps you build best practice Docker images. The linter parses the Dockerfile into an AST and performs rules on top of the AST. It stands on the shoulders of ShellCheck to lint the Bash code inside RUN instructions. You can run hadolint locally to lint your Dockerfile. You can download prebuilt binaries for OSX, Windows and Linux from the latest release page. However, if this does not work for you, please fall back to container (Docker), brew or source... -
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
5
Web3 API for Haskell
Web3 API for Haskell
This library implements Haskell API client for popular Web3 platforms. -
6
Software Design in Haskell
Software Design in Haskell
...The examples emphasize explicit boundaries for infrastructure concerns such as persistence, logging, configuration, and external services to keep business logic clean. Throughout, the code illustrates dependency inversion in Haskell, showing how to swap implementations without pervasive rewrites. The result is a cookbook of strategies and runnable examples that help teams structure real-world Haskell applications beyond small scripts or academic exercises. -
7
Aeson
A fast Haskell JSON library
aeson is a high-performance Haskell library for JSON parsing and encoding, optimized for speed and ease of use. It serves as a foundational tool in the Haskell ecosystem for handling JSON data efficiently. High-performance optimized for real-world workloads. Widely used and well-maintained community library. Compatible with popular frameworks and the Haskell web ecosystem. -
8
Hakyll
A static website compiler library in Haskell
Hakyll is a Haskell library for building static websites. 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. -
9
Stack
The Haskell Tool Stack
...It supports integration with GHC (Glasgow Haskell Compiler) and Hackage. -
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
HLint
Haskell source code suggestions
HLint is a linter for Haskell that suggests stylistic improvements and potential simplifications in Haskell code. It parses Haskell source files and provides hints to refactor code for better readability, maintainability, or performance. HLint is highly configurable and supports custom rules, integrations with CI tools, and editor plugins. It is widely used in the Haskell ecosystem for maintaining consistent code standards. -
11
Cabal
Upstream development repository for Cabal and cabal-install
Cabal is a system for building and packaging Haskell libraries and programs. It defines a common interface for package authors and distributors to easily build their applications in a portable way. Cabal is part of a larger infrastructure for distributing, organizing, and cataloging Haskell libraries and programs. The term cabal can refer to either: cabal-the-spec (.cabal files), cabal-the-library (code that understands .cabal files), or cabal-the-tool (the cabal-install package which provides the cabal executable); usually folks are referring to cabal-the-tool when they say cabal. ... -
12
IHP
The fastest way to build type safe web apps
The Haskell Framework for Non-Haskellers. Blazing fast, secure, easy to refactor and the best developer experience with everything you need, from prototype to production. IHP is a database-centric framework. It comes with an integrated Postgres server out of the box. With Haskell and Nix we use the most reliable technologies available, to make sure your application will never crash because of Null Pointer Exceptions. -
13
Clash
Haskell to VHDL/Verilog/SystemVerilog compiler
...The Clash project is a Haskell Foundation affiliated project. Clash is built on Haskell which provides an excellent foundation for well-typed code. Together with Clash's standard library it is easy to build scalable and reusable hardware designs. Load your designs in an interpreter and easily test all your component without needing to setup a test bench. Although Clash offers many features, you sometimes need to directly access VHDL, Verilog, or SystemVerilog directly. -
14
Plutus
The Plutus language implementation and tools
Plutus is the smart contract development framework for the Cardano blockchain, created using Haskell. It provides the core infrastructure for writing, testing, and deploying secure, deterministic smart contracts on the Cardano platform. Plutus includes a custom functional language (Plutus Core), a higher-level embedded DSL (Plutus Tx) for writing contracts in Haskell, and an off-chain infrastructure for managing interactions. It ensures strong correctness guarantees through formal verification and functional programming paradigms. -
15
Ormolu
A formatter for Haskell source code
...Implementing one “true” formatting style which admits no configuration. The formatting style aims to result in minimal diffs. Choose a style compatible with modern dialects of Haskell. As new Haskell extensions enter broad use, we may change the style to accommodate them. Idempotence: formatting already formatted code doesn't change it. -
16
nixfmt
The official formatter for Nix code
nixfmt is a code formatter for the Nix expression language, aiming to provide consistent and idiomatic formatting for Nix files. It is written in Haskell and designed to be fast, predictable, and fully automatic with zero configuration. nixfmt helps Nix developers maintain readability and code consistency across large codebases, facilitating collaboration and version control workflows. -
17
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. -
18
Tidal
Pattern language
...By default, sound is made with the featureful SuperDirt synth/sampler, but you can control other synths using Open Sound Control (OSC) or MIDI. Whether you're using SuperDirt or a synth, every filter and effect can be manipulated independently with Tidal patterns. Tidal is embedded in the Haskell language, although you don't have to learn Haskell to learn Tidal. You can learn Tidal through experimentation and play, most Tidal coders have little or no experience in software engineering. -
19
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. -
20
Algebraic graphs
Algebraic graphs
Alga is a library for algebraic construction and manipulation of graphs in Haskell. See this Haskell Symposium paper and the corresponding talk for the motivation behind the library, the underlying theory and implementation details. We can give semantics to the constructors in terms of the pair (V, E) of graph vertices and edges. Alga can handle graphs comprising millions of vertices and billions of edges in a matter of seconds, which is fast enough for many applications. ... -
21
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. -
22
Beam
A type-safe, non-TH Haskell SQL library and ORM
Beam is a Haskell interface to relational databases. Beam uses the Haskell type system to verify that queries are type-safe before sending them to the database server. Queries are written in a straightforward, natural monadic syntax. Combinators are provided for all standard SQL92 features, and a significant subset of SQL99, SQL2003, and SQL2008 features. -
23
xmonad
The core of xmonad, a small but functional ICCCM-compliant
A dynamically tiling X11 window manager that is written and configured in Haskell. In a normal WM, you spend half your time aligning and searching for windows. XMonad makes work easier, by automating this. xmonad automates the common task of arranging windows, so you can concentrate on getting stuff done. 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. ... -
24
emanote
Emanate a structured view of your plain-text notes
...Create beautiful websites such as personal webpage, blog, wiki, Zettelkasten, notebook, knowledge-base, documentation, etc. from future-proof plain-text notes and arbitrary data, with live preview that updates in real-time. 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. -
25
Pandoc
The universal markup converter
Pandoc is a universal document converter able to convert files from a multitude of markup formats into another. With Pandoc, you have a swiss-army knife of a converter, able to convert practically any markup format into any other. Pandoc contains a Haskell library for conversions as well as a command-line tool that uses this library. It can convert to and from just about anything-- lightweight markup formats, HTML formats, documentation formats, ebooks, TeX formats, word processor formats and so much more. It understands several useful markdown syntax extensions, such as document metadata, footnotes, tables, and more. ...
