Haskell LibHunt Info
![]() |
Developer Ecosystem Survey 2022
sponsored
surveys.jetbrains.com
|
All Categories
-
Accelerate
-
ACME
-
Adjunctions
-
Aeson
-
AI
-
Algebra
-
Algorithmic Music Composition
-
Algorithms
-
ANSI
-
API
-
Application
-
Archive
-
Array
-
Arrows
-
ASP
-
Astrology
-
Astronomy
-
Authentication
-
Aviation
-
AWS
-
Backup
-
Benchmark
-
Benchmarking
-
Big Data
-
Bindings
-
Bioinformatics
-
Bit
-
Bitcoin
-
Bit Vectors
-
Blockchain
-
Book
-
Bsd3
-
Build
-
Builders
-
Build Tool
-
Bundle
-
ByteString
-
C
-
Cabal
-
Cache
-
Cardano
-
Chat
-
Chemistry
-
CI
-
CLI
-
Client
-
CLI Tool
-
Closure
-
Cloud
-
Codec
-
Codegen
-
Code Generation
-
Code-Generator
-
CodeQuality
-
CommandLine
-
Command Line Tool
-
Command Line Tools
-
Comonad
-
Comonads
-
Compiler
-
Compiler Plugin
-
Concourse
-
Concurrency
-
Conduit
-
Configuration
-
Console
-
Control
-
Control.Monad
-
CRDT
-
Cryptography
-
CSV
-
Cursor
-
Data
-
Database
-
Data Flow
-
Data Mining
-
Data Network
-
Data Structure
-
Data-structures
-
Data Structures
-
Debug
-
Debugging
-
Deep Learning
-
Default
-
Dependent Types
-
Development
-
DevOps
-
Diffing
-
Dijkstra
-
Distributed Computing
-
Distributed Systems
-
Distribution
-
DNS
-
Documentation
-
DSL
-
Editing
-
Editor
-
Effects
-
Emacs
-
Email
-
Embedded
-
Envars
-
ETL
-
Eventsourcing
-
Example
-
Fake
-
FCM
-
FFI
-
Filesystem
-
Filetypes
-
Finance
-
Folding
-
Foreign
-
Foreign Binding
-
Formal Languages
-
Format
-
Framework
-
FRP
-
FSM
-
Game
-
Games
-
Genealogy
-
General
-
Generics
-
Geo
-
Geospatial
-
GHC
-
Go
-
Graphics
-
Graphql
-
Graphs
-
GUI
-
Ham-radio
-
Hardware
-
Haskell
-
HTML
-
IDE
-
Identification
-
Image
-
Inspection
-
Interactive
-
Interpolation
-
IO
-
IoT
-
Java
-
JavaScript
-
JSON
-
Korean
-
Language
-
Language.Nix
-
Learning Environments
-
Lens
-
Lenses
-
Lib
-
Library
-
Linear Algebra
-
Linguistics
-
Linnet
-
Linux Desktop
-
List
-
Logging
-
Logic
-
Machine-learning
-
Machine Learning
-
Math
-
Megaparsec
-
ML
-
Multimedia
-
Music
-
N2O
-
Natural Language
-
Natural Language Processing
-
Neovim
-
Network
-
Networking
-
Nix
-
NLP
-
Number Theory
-
Numeric
-
Numerics
-
OAuth
-
OOP
-
OpenAPI
-
Options
-
Other
-
Parallelism
-
Parser
-
Parser Builder
-
Parsing
-
Password
-
Pattern
-
PDF
-
Performance
-
Pipes
-
Plotting
-
Plugin
-
Polysemy
-
Prelude
-
Primitive
-
Productivity
-
Profiling
-
Program
-
Project
-
Project Management
-
Prompt
-
Propagators
-
Quality
-
QuasiQuotes
-
Record
-
Records
-
Recursion
-
Relational Algebra
-
REPL
-
Resources
-
Roles
-
Science
-
Scientific
-
Security
-
Servant
-
Silly Tool
-
Simple
-
Simulation
-
Snap
-
Software
-
Sorting
-
Sound
-
Specific Industries
-
State Machines
-
Statistics
-
Streaming
-
String
-
SyntComp
-
System
-
Systems
-
Template
-
Template Haskell
-
TemplateHaskell
-
Templating
-
Test
-
Testing
-
Text
-
TH
-
Theorem Provers
-
This
-
Time
-
TODO
-
Tools
-
TouchDesigner
-
TUI
-
Type Errors
-
Types
-
Type System
-
UI
-
Unclassified
-
Unicode
-
Urbit
-
User Interfaces
-
Utils
-
Validation
-
Value
-
Vector
-
Wai
-
Web
-
Webdevelopment
-
Web Yesod
-
XML
![]() |
Static code analysis for 29 languages.
sponsored
www.sonarqube.org
|
MORE - Discover
trending Haskell projects by mentions on social networks.
The Awesome Haskell feed
Less time debugging, more time building
Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
Promo
scoutapm.com
Yesterday
Last 7 Days
sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Featured Package
// Category Bit Vectors
The list of monoids pattern
Article
Popular Story
// blog.ocharles.org.uk
Awesome Haskell Newsletter » 277
Top Stories
- ZuriHac2022 Playlist
- [2206.09206] Fusing Industry and Academia at GitHub (Experience Report)
- Let's Fold a Tree
Follow us on Twitter @HaskellLibHunt
what4
Symbolic formula representation and solver interaction library
Featured Package
// Category Formal Methods
Last 30 Days
ZuriHac2022 Playlist
Article
Popular Story
// youtube.com
Awesome Haskell Newsletter » 276
Top Stories
- The appeal of bidirectional type-checking
- Model Checking in Haskell, Part 2: From Programs to Transition Systems
- Lenses for Tree Traversals Redux
Follow us on Twitter @HaskellLibHunt
Haskell Keynotes ZuriHac 2022
Article
Popular Story
// www.youtube.com
cabal2nix
Generate Nix build instructions from a Cabal file
Featured Package
// Category Distribution
Awesome Haskell Newsletter » 275
Top Stories
- Richard Bird has passed away
- Dhall: A Gateway Drug to Haskell
- Equality & Identity: Fixing Haskell
Follow us on Twitter @HaskellLibHunt
hgeometry
HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms. The main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guarantees.
Featured Package
// Category Geometry
Dhall: A Gateway Drug to Haskell
Article
Popular Story
// www.saurabhnanda.in
souffle-haskell
Haskell bindings for the Souffle datalog language
Featured Package
// Category Bindings