Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Haskell
Haskell is a functional (that is, everything is done with function calls), statically, implicitly typed (types are checked by the compiler, but you donβt have to declare them), lazy (nothing is done until it needs to be) language.
- GitHub: https://github.com/topics/haskell
- Wikipedia: https://en.wikipedia.org/wiki/Haskell_(programming_language)
- Repo: https://github.com/haskell
- Released: 1990
- Last updated: 2024-11-14 00:13:26 UTC
- JSON Representation
https://github.com/serokell/o-clock
:hourglass: Type-safe time units in Haskell
haskell rational-numbers time type-level-programming type-safety
Last synced: 27 Oct 2024
https://github.com/cdepillabout/stacklock2nix
Easily build a Haskell project from a stack.yaml.lock file with Nix
hacktoberfest haskell nix nixpkgs stack stackage
Last synced: 11 Oct 2024
https://github.com/ix/lazyboy
An EDSL implemented in Haskell for programming the Nintendo Game Boy.
dsl edsl game-boy gameboy games gaming haskell homebrew videogames
Last synced: 01 Nov 2024
https://github.com/luc-tielen/telescope_hoogle
Hoogle search integration for Telescope
haskell lua neovim neovim-plugin
Last synced: 28 Oct 2024
https://github.com/kowainik/extensions
π Parse Haskell Language Extensions
extensions hacktoberfest haskel2010 haskell haskell-extensions language-pragmas
Last synced: 12 Nov 2024
https://github.com/vaclavsvejcar/headroom
Β©οΈ Manager for license headers in source code files.
Last synced: 30 Oct 2024
https://github.com/lpeterse/haskell-socket
A Haskell binding to the POSIX sockets API
Last synced: 06 Nov 2024
https://github.com/pkamenarsky/knit
Ties the knot on data structures that reference each other by unique keys
data-structures haskell tie-knot
Last synced: 08 Nov 2024
https://github.com/1computer1/errata
Source code error pretty printing
error error-messages haskell highlight pretty-printing source-code
Last synced: 31 Oct 2024
https://github.com/tfausak/cabal-gild
:crown: Format Haskell package descriptions.
Last synced: 27 Oct 2024
https://github.com/nikita-volkov/domain
Focused domain model declaration toolkit for Haskell
boilerplate codegen haskell model template-haskell
Last synced: 27 Oct 2024
https://github.com/two-twelve/fernery
A CLI tool for generating images of ferns πΏ and other Iterated Function Systems
barnsley-fern cli cli-app cli-tool dragon-curve fractal fractal-generators fractal-images fractal-rendering fractals generative-art haskell haskell-cli iterated-function-system koch-snowflake prs-welcome sierpinski sierpinski-gasket sierpinski-triangle
Last synced: 08 Nov 2024
https://github.com/roman/Haskell-etc
Declarative configuration spec for Haskell projects
cli-options haskell json-configuration
Last synced: 17 Aug 2024
https://github.com/gmarpons/asciidoc-hs
AsciiDoc parser that can be used as a Pandoc front-end, written in Haskell
asciidoc docs-as-code haskell pandoc
Last synced: 12 Nov 2024
https://github.com/shajra/haskell-hls-nix
Nix builds of Haskell Language Server
haskell haskell-language-server nix
Last synced: 15 Aug 2024
https://github.com/hatashiro/monkey-hs
An interpreter for the Monkey programming language written in Haskell
haskell interpreter monkey-programming-language
Last synced: 29 Oct 2024
https://github.com/kowainik/slist
βΎοΈ Sized list
data-structure hacktoberfest haskell list sized
Last synced: 30 Oct 2024
https://github.com/dfinity-side-projects/winter
Haskell port of the WebAssembly OCaml reference interpreter
haskell interpreter wasm webassembly
Last synced: 08 Nov 2024
https://github.com/achirkin/easytensor
Many-dimensional type-safe numeric ops
dimensions haskell linear-algebra matrices tensors vectors
Last synced: 29 Oct 2024
https://github.com/sternenseemann/spacecookie
gopher library & server written in Haskell
gopher gopher-protocol gopher-server haskell network server systemd
Last synced: 07 Nov 2024
https://github.com/freckle/graphula
A simple interface for generating persistent data and linking its dependencies
haskell terraform-managed testing
Last synced: 02 Nov 2024
https://github.com/fgaz/hackertyper
"Hack" like a programmer in movies and games! Inspired by hackertyper.net
Last synced: 12 Oct 2024
https://github.com/kleidukos/get-tested
Go get tested! Github Actions matrix generator for your haskell projects' CI
ci continuous-integration github-actions haskell
Last synced: 31 Oct 2024
https://github.com/concordium/concordium-node
The main concordium node implementation.
blockchain blockchain-node concordium haskell rust
Last synced: 09 Nov 2024
https://github.com/lpeterse/haskell-mqtt
An MQTT protocol implementation (client and server)
haskell iot message-broker mqtt
Last synced: 06 Nov 2024
https://github.com/antl3x/super-ts
𦸠λΠproviding super powers to Typescript.
fantasy-land functional-programming haskell purescript static-land typescript
Last synced: 12 Nov 2024
https://github.com/camfort/fortran-src
Fortran parsing and static analysis infrastructure
automated-refactoring fortran haskell parser static-analysis
Last synced: 12 Nov 2024
https://github.com/mstksg/advent-of-code-2021
π πβοΈβοΈππ
advent-of-code advent-of-code-2021 haskell
Last synced: 28 Oct 2024
https://github.com/nmattia/wai-lambda
Haskell Webapps on AWS Lambda
aws aws-lambda haskell nix webapp
Last synced: 31 Oct 2024
https://github.com/lsrcz/grisette
A monadic library for symbolic evaluation
haskell smt symbolic-evaluation symbolic-execution synthesis verification
Last synced: 27 Oct 2024
https://github.com/typedbyte/effet
An effect system based on type classes, written in Haskell.
Last synced: 01 Nov 2024
https://github.com/lysxia/generic-data
Generic data types in Haskell, utilities for GHC.Generics
Last synced: 01 Nov 2024
https://github.com/leventerkok/sbvplugin
Formally prove properties of Haskell programs using SBV/SMT.
Last synced: 26 Oct 2024
https://github.com/glguy/advent2019
Advent of Code 2019 solutions
advent-of-code advent-of-code-2019 haskell
Last synced: 28 Oct 2024
https://github.com/reflex-frp/reflex-native
Framework for writing fully native apps using Reflex, a Functional Reactive Programming library for Haskell.
frp functional-reactive-programming haskell reactive reflex-frp
Last synced: 11 Nov 2024
https://github.com/byteverse/colonnade
Generic types and functions for encoding and decoding columns
Last synced: 31 Oct 2024
https://github.com/parsonsmatt/rowdy
A convenient DSL for describing web routes
Last synced: 02 Nov 2024
https://github.com/mrkkrp/text-metrics
Calculate various string metrics efficiently in Haskell
hamming-distance haskell jaccard-similarity jaro-distance jaro-winkler-distance levenshtein-distance string-metrics
Last synced: 27 Oct 2024
https://github.com/i42output/neos
Language agnostic scripting engine with a custom bytecode JIT
ada bytecode cpp forth haskell javascript jit jit-compiler json lua python rjson rust vm
Last synced: 25 Oct 2024
https://github.com/oliviersohn/hamazed
Monorepo for a multi-player game engine, and game examples
addition animation ascii-art ascii-game ascii-graphics collision game haskell laser mathematics retrogaming
Last synced: 27 Oct 2024
https://github.com/porges/email-validate-hs
Email address validation for Haskell
email-validation hackage haskell
Last synced: 31 Oct 2024
https://github.com/tchoutri/pg-entity
A pleasant PostgreSQL database layer for Haskell
database-layer haskell postgresql simple-haskell sql
Last synced: 05 Nov 2024
https://github.com/ekmett/auth
authenticated data-structures haskell library
Last synced: 08 Nov 2024
https://github.com/k-bx/par
Small utility that runs multiple computations in parallel
haskell parallel scripting shell
Last synced: 09 Nov 2024
https://github.com/gvolpe/exchange-rates
:currency_exchange: Querying a rate-limited currency exchange API using Redis as a cache
cache dhall dhall-lang exchange-rates forex haskell rate-limiter redis transient wreq
Last synced: 28 Oct 2024
https://github.com/mercurytechnologies/ghciwatch
ghci-based file watching recompiler for Haskell development
Last synced: 12 Nov 2024
https://github.com/vijayphoenix/compiler-written-in-haskell
A Turing complete language π
compiler haskell iith jit-compiler just-in-time language llvm llvm-hs parsing popl toy-compiler toy-language
Last synced: 08 Nov 2024
https://github.com/kim/opentracing
OpenTracing (https://opentracing.io) for Haskell
Last synced: 01 Nov 2024
https://github.com/mquy/mlang
My toy programming languages
c99 compiler cpp haskell interpreter programming-language typescript
Last synced: 12 Oct 2024
https://github.com/MercuryTechnologies/ghciwatch
ghci-based file watching recompiler for Haskell development
Last synced: 12 Nov 2024
https://github.com/soupi/gathering
A self hosted website for announcing group events
Last synced: 10 Nov 2024
https://github.com/jrclogic/smcdel
A symbolic model checker for Dynamic Epistemic Logic.
epistemic-logic haskell logic model-checking symbolic
Last synced: 30 Oct 2024
https://github.com/krasjet/karasu
A self-hosted remote communication system designed for math discussions.
Last synced: 28 Oct 2024
https://github.com/jhedev/todobackend-haskell
Todobackend implementations in Haskell using various frameworks
Last synced: 05 Nov 2024
https://github.com/leftaroundabout/manifolds
Coordinate-free hypersurfaces as Haskell types
haskell mathematics numerical-calculations topology
Last synced: 12 Oct 2024
https://github.com/mrkkrp/forma
Parse and validate forms in JSON format
ajax-form form-validation haskell
Last synced: 26 Oct 2024
https://github.com/joom/divan.hs
Ottoman Divan poetry vezin checker in Haskell!
haskell natural-language-processing ottoman poetry turkish
Last synced: 12 Nov 2024
https://github.com/holmusk/postgresql-simple-named
:question: Implementation of named parameters for `postgresql-simple` library
haskell named-parameters postgresql
Last synced: 27 Oct 2024
https://github.com/andrewmacmurray/haskell-book-solutions
Solutions to exercises in Haskell Programming from first principles
Last synced: 28 Oct 2024
https://github.com/haskell/security-advisories
haskell security vulnerabilities
Last synced: 07 Oct 2024
https://github.com/cr-org/supernova
:milky_way: Apache Pulsar client for Haskell
Last synced: 11 Oct 2024
https://github.com/reflex-frp/reflex-ghci
Run GHCi from within a Reflex FRP application and interact with it using a functional reactive interface.
developer-tools ghci haskell reload repl
Last synced: 11 Nov 2024
https://github.com/haskell/pvp
Haskell Package Version Policy (PVP)
cabal hackage haskell pvp specification
Last synced: 07 Oct 2024
https://github.com/higherkindness/mu-graphql-example-elm
Complete full-stack web app with a mu-haskell GraphQL server and an Elm client! π³
elm-graphql elm-lang graphql graphql-client graphql-server hacktoberfest haskell mu mu-graphql mu-haskell schema
Last synced: 11 Oct 2024
https://github.com/glguy/advent2018
Advent of Code 2018 Solutions
advent-of-code advent-of-code-2018 haskell
Last synced: 28 Oct 2024
https://github.com/obsidiansystems/hydra-pay
An open-source library for Cardano developers using Hydra (Head)
Last synced: 07 Nov 2024
https://github.com/codyreichert/shakespeare-mode
An emacs major mode for editing hamlet, lucius, and julius files
emacs emacs-lisp haskell melpa yesod
Last synced: 07 Nov 2024
https://github.com/tfausak/strive
:bicyclist: A Haskell client for the Strava V3 API.
Last synced: 27 Oct 2024
https://github.com/soupi/chip-8
A CHIP-8 Emulator written in Haskell
chip-8 emulation emulator functional haskell sdl2
Last synced: 10 Nov 2024
https://github.com/fosskers/mapalgebra
Efficient, polymorphic Map Algebra in Haskell.
gis haskell map-algebra parallel-arrays
Last synced: 20 Oct 2024
https://github.com/trailofbits/indurative
Easily create authenticated data structures
cryptography haskell haskell-library trustless
Last synced: 08 Nov 2024
https://github.com/decentral1se/tasty-discover
Haskell test discovery for the tasty framework :eyes:
haskell haskell-test-discovery tasty tasty-framework tasty-ingredients
Last synced: 09 Nov 2024
https://github.com/mryndzionek/composable-sdr
SDR DSP utilities embedded in Haskell
dsp haskell liquid-dsp liquid-dsp-library rtlsdr rtlsdr-dongle sdr soapysdr software-defined-radio streamly
Last synced: 09 Nov 2024
https://github.com/hadolint/language-docker
Haskell Dockerfile parser, pretty-printer and EDSL
docker docker-image haskell parser pretty-print pretty-printer templating
Last synced: 31 Oct 2024
https://github.com/bodigrim/text-rope
A wrapper around Text for fast line/column navigation and logarithmic concatenation
concatenation haskell lines position rope slicing text unicode utf-16
Last synced: 26 Oct 2024
https://github.com/norfairking/easyspec
Signature inference for Functional Property Discovery in Haskell
haskell property-testing quickcheck quickspec
Last synced: 06 Nov 2024
https://github.com/kcsongor/symbols
Symbol manipulation
haskell symbols type-level-programming
Last synced: 08 Nov 2024
https://github.com/joom/wangsalgorithm
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
haskell sequent-calculus theorem-prover wang-algorithm
Last synced: 12 Nov 2024
https://github.com/soupi/pureli
A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
haskell interpreter lisp programming-language
Last synced: 10 Aug 2024
https://github.com/haskell/zlib
Compression and decompression in the gzip and zlib formats
compression gzip gzip-compression gzip-decompression gzip-format haskell zlib
Last synced: 07 Oct 2024
https://github.com/skyzh/mips-simulator
π» A 5-stage pipeline MIPS CPU design in Haskell.
computer-architecture cpu haskell mips mips-emulator mips-simulator
Last synced: 28 Oct 2024
https://github.com/aligusnet/mltool
Machine Learning Toolbox
haskell machine-learning neural-network
Last synced: 28 Oct 2024
https://github.com/creichert/haskellrustdemo
Example Integration for Embedding Rust in Haskell
Last synced: 28 Oct 2024
https://github.com/lprez/ombra
Graphics engine written in Haskell.
browser experimental graphics haskell rendering-engine webgl work-in-progress
Last synced: 12 Oct 2024
https://github.com/micheleriva/cadregalisp
π Just another useless programming language, but with inganno.
compiler esoteric-language haskell haskell-language javascript lisp node programming-language scheme
Last synced: 22 Oct 2024
https://github.com/lenguyenthedat/raptor
A lightweight product recommendation system (Item Based Collaborative Filtering) developed in Haskell.
collaborative-filtering ecommerce functional-programming haskell jaccard-distance recommendation-engine recommendation-system zalora
Last synced: 15 Oct 2024
