Open Source Haskell Software - Page 10
Sort By:
Haskell Software
Browse free open source Haskell Software and projects below. Use the toggles on the left to filter open source Haskell Software by OS, license, language, programming language, and project status.
-
$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.
-
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.
-
1
haIDE is a GUI-based Haskell IDE written in Haskell using gtk. It does not include an editor but instead interfaces with NEdit, vim or GNU emacs.
-
2
haskell-trainings
Haskell 101 and 102: slides and codelabs
Haskell Trainings is a collection of slides, exercises, and documentation used by Google to teach Haskell programming. 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. -
3
-
4
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
A program for interactively solving crosswords, compatible with the Across Lite (tm) .puz format. Eventually, we hope to add support for constructing crosswords, and other grid-based word puzzles (like acrostics).
-
6
hscratch is a simple command-line tool to produce scratch sounds from a given phonogramme offline coded in Haskell. Currently, it lacks all that command-line sugar like '-v' and '-h'. Working prototype, still to be developed and improved.
-
7
An R5RS Scheme interpreter and library written in Haskell. Provides advanced features including continuations, hygienic macros, and the full numeric tower.
-
8
ip6addr is a command line tool written in Haskell for filtering IPv6 addresses parsed against RFC 4291
-
9
jl
Functional sed for JSON
jl ("JSON lambda") is a tiny functional language for querying and manipulating JSON. -
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.
-
10
lesspass
The Stateless Password Manager
An unofficial haskell implementation of Lesspass - The Stateless Password Manager. This is a haskell-native port of the Python program Lesspass which generates passwords on-the-fly instead of saving them in a database. It does not rely on Python. It produces the same passwords as the official Python program. -
11
A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.
-
12
m372tools
Tool set for m372 project
A set of (hopefully generic) tools that I intend to use in my m372 project. -
13
midori programming language
dependently typed functional programming language
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration. -
14
miso
A tasty Haskell front-end framework
Miso is a small, production-ready, "isomorphic" Haskell front-end framework for quickly building highly interactive single-page web applications. It features a virtual-dom, recursive diffing / patching algorithm, attribute and property normalization, event delegation, event batching, SVG, Server-sent events, Websockets, type-safe servant-style routing and an extensible Subscription-based subsystem. Inspired by Elm, Redux and Bobril. Miso is pure by default, but side effects (like XHR) can be introduced into the system via the Effect data type. Miso makes heavy use of the GHCJS FFI and therefore has minimal dependencies. Miso can be considered a shallow embedded domain-specific language for modern web programming. -
15
MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.
-
16
niv
Easy dependency management for Nix projects
Niv is a tool designed for managing dependencies in Nix projects. It simplifies adding, updating, and removing package sources via a single nix/sources.json file, improving reproducibility and version control in Nix-based workflows. niv simplifies adding and updating dependencies in Nix projects. It uses a single file, nix/sources.json, where it stores the data necessary for fetching and updating the packages. Nix is a very powerful tool for building code and setting up environments. niv complements it by making it easy to describe and update remote dependencies (URLs, GitHub repos, etc). It is a simple, practical alternative to Nix flakes. The add command will infer information about the package being added, when possible. This works very well for GitHub repositories. Run this command to add jq to your project. -
17
optparse-applicative
Applicative option parser
optparse-applicative is a haskell library for parsing options on the command line, and providing a powerful applicative interface for composing them. optparse-applicative takes care of reading and validating the arguments passed to the command line, handling and reporting errors, generating a usage line, a comprehensive help screen, and enabling context-sensitive bash, zsh, and fish completions. A value of type Parser a represents a specification for a set of options, which will yield a value of type a when the command line arguments are successfully parsed. If you are familiar with parser combinator libraries like parsec, attoparsec, or the json parser aeson you will feel right at home with optparse-applicative. If not, don't worry! All you really need to learn are a few basic parsers, and how to compose them as instances of Applicative and Alternative. -
18
ordinals
Collection of scripts for transfinite ordinals computations
Collection of scripts for transfinite ordinals computations -
19
A tool written in Haskell to parse GDSII (Calma) binary files and print the GDSII structure out in a readable text format.
-
20
patat
Terminal-based presentations using Pandoc
patat (Presentations Atop The ANSI Terminal) is a small tool that allows you to show presentations using only an ANSI terminal. It does not require ncurses. Leverages the great Pandoc library to support many input formats including Literate Haskell. Supports smart slide splitting. Slides can be split up into multiple fragments. There is a live reload mode. Theming support including 24-bit RGB. Auto advancing with configurable delay. Optionally re-wrapping text to terminal width with proper indentation. Syntax highlighting for nearly one hundred languages generated from Kate syntax files. Experimental images support. Supports evaluating code snippets and showing the result. Written in Haskell. -
21
PocketGames aims to provide an extended library for several games, so that they can be used with PocketPC, Linux, Windows Mobile, Web Based systems, Windows, etc.
-
22
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
23
-
24
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. Usage of partial functions can lead to unexpected bugs and runtime exceptions in pure code. The types of partial functions lie about their behaviour. And even if it is not always possible to rely only on total functions, relude strives to encourage best-practices and reduce the chances of introducing a bug. -
25
simgi is a simulation engine for stochastic simulations of reactive systems using Gillespie's method written in Haskell.
