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: 2025-01-10 00:14:00 UTC
- JSON Representation
https://github.com/wei2912/wei2912.github.io
Personal blog.
blog cryptography functional-programming haskell ml utterances website
Last synced: 09 Nov 2024
https://github.com/foxhound-systems/eved
Eved is an API definition eDSL in the spirit of Servant
Last synced: 06 Nov 2024
https://github.com/srid/miso-viso
Playing with abstract visualizations in Miso. Work in Progress.
haskell miso svg visualization
Last synced: 10 Oct 2024
https://github.com/leptonyu/boots
IoC Monad in Haskell.
haskell haskell-application haskell-library salak
Last synced: 29 Oct 2024
https://github.com/zudov/servant-realworld-example-app
Exemplary real world application built with servant
example haskell realworld servant
Last synced: 24 Oct 2024
https://github.com/rpearce/robertwpearce.com
💾 My personal site; built with hakyll
blog hakyll haskell static-site static-site-generation
Last synced: 02 Nov 2024
https://github.com/hvr/cabal-env
Tool for managing GHC package environments
Last synced: 12 Oct 2024
https://github.com/xgrommx/haskell-ecosystem
ecosystem haskell haskell-ecosystem
Last synced: 23 Oct 2024
https://github.com/tfausak/salve
:syringe: Semantic version numbers and constraints for Haskell.
Last synced: 28 Oct 2024
https://github.com/mchakravarty/welcome-to-fp-workshop
Support material for the “Introduction to Functional Programming” workshop @ the "Welcome to Functional Programming" day of YOW! Lambda Jam, Sydney, 2018 & 2019
functional-programming haskell introduction learning
Last synced: 12 Oct 2024
https://github.com/micheleriva/hackerrank-my-solutions
🍿My solutions to HackerRank problems
ai artificial-intelligence bot cpp cpp11 elixir elixir-lang euler hackerrank hackerrank-solutions haskell js mysql regex regexp ruby scala sql
Last synced: 23 Oct 2024
https://github.com/nicolast/landlock-hs
Haskell bindings for the Linux Landlock API
haskell haskell-library landlock linux sandbox sandboxing security
Last synced: 12 Oct 2024
https://github.com/l29ah/hatexmpp3
XMPP client with synthetic filesystem (9P) and (optional) graphical (GTK3) interfaces
Last synced: 24 Oct 2024
https://github.com/taktoa/hsdm
An X11 display manager, written in Haskell. (WIP)
Last synced: 12 Oct 2024
https://github.com/tristancacqueray/haxible
Ansible interpreter powered by Haxl
Last synced: 23 Oct 2024
https://github.com/thma/hswiki
Simple Wiki in the spirit of the legendary C2-Wiki - written in haskell with yesod
graphviz haskell html markdown milligram-css regex wiki wikiwiki yesod
Last synced: 29 Oct 2024
https://github.com/fresheyeball/shpadoinkle
This is the OFFICIAL MIRROR of the project. It is kept automatically up to date. Source of truth here: https://gitlab.com/fresheyeball/Shpadoinkle/-/tree/master
framework functional-programming haskell javascript user-interface
Last synced: 31 Oct 2024
https://github.com/meooow25/samsort
A stable adaptive mergesort implementation
Last synced: 30 Oct 2024
https://github.com/alexandru/days-since
Simple command line for showing the number of passed days since a certain date
Last synced: 09 Nov 2024
https://github.com/gusenov/stepik-functional-programming-hs
:mortar_board: Функциональное программирование на языке Haskell.
course examples haskell problem-solving problemsolving stepik
Last synced: 08 Nov 2024
https://github.com/oisdk/type-indexed-queues
Queues with verified and unverified versions
data-structures dependent-types haskell
Last synced: 21 Nov 2024
https://github.com/lupino/sharefs
A share file system base on http and fuse
fuse fuse-filesystem haskell haskell-library microservice microservices
Last synced: 21 Nov 2024
https://github.com/keera-studios/haskelloids
Haskelloids: A reproduction of the Atari 1979 classic "Asteroids"
frp functional-reactive-programming game haskell opengl yampa
Last synced: 14 Nov 2024
https://github.com/andreainfufsm/elc117-2020a
ELC117 - Paradigmas de Programação - UFSM - 2020a
concurrent-programming education functional-programming haskell java logic-programming object-oriented-programming programming-paradigms prolog
Last synced: 11 Nov 2024
https://github.com/corsis/splice
A Haskell library that implements most efficient socket-to-socket data transfer loops for proxy servers on every operating system using and exposing related OS-specific system calls.
Last synced: 24 Nov 2024
https://github.com/soupi/msg
a toy chat server
chat frp haskell purescript purescript-specular sockets stm websockets
Last synced: 10 Nov 2024
https://github.com/vmchale/language-xats
Language library for manipulating ATS3 in Haskell.
Last synced: 10 Nov 2024
https://github.com/arowm/haskell-bookkeeping
A Haskell module for bookkeeping by double entry.
bookkeeping haskell haskell-bookkeeping
Last synced: 14 Nov 2024
https://github.com/obsidiansystems/push-notifications
apns firebase haskell push-notifications
Last synced: 07 Nov 2024
https://github.com/petertseng/adventofcode-hs-2022
Solutions to https://adventofcode.com/2022 (complete)
advent-of-code advent-of-code-2022 haskell
Last synced: 13 Nov 2024
https://github.com/iijlab/direct-hs
Client library for https://direct4b.com in Haskell
bot bot-framework direct4b haskell
Last synced: 08 Nov 2024
https://github.com/unkindpartition/yaml-combinators
haskell parser validation yaml
Last synced: 08 Nov 2024
https://github.com/moodmosaic/bookmarks
A selection of the links I find interesting over time. Updated on a regular basis.
c category-theory cryptocurrencies dotnet fsharp git haskell leisure unix-like
Last synced: 13 Nov 2024
https://github.com/aztek/atp
Haskell interface to automated theorem provers
atp automated-theorem-provers first-order-logic formal-methods haskell logic prover theorem-proving tptp
Last synced: 16 Nov 2024
https://github.com/tejasbubane/haskell-book-code
[Complete] Solutions to exercises from "Haskell Book" along with study notes
exercises haskell haskell-learning learning-by-book
Last synced: 13 Nov 2024
https://github.com/adetokunbo/tmp-proc
Use docker to run 'tmp' processes in haskell integration tests
docker haskell haskell-library testing
Last synced: 07 Nov 2024
https://github.com/tfausak/haskell-package-checklist
:ballot_box_with_check: Write better Haskell packages
Last synced: 17 Nov 2024
https://github.com/haskell-github-trust/true-name
Template Haskell hack to violate another module's abstractions
Last synced: 12 Dec 2024
https://github.com/ucsd-progsys/intro-refinement-types
Introductory Tutorial on Refinement Types
haskell liquidhaskell refinement-types smt
Last synced: 24 Dec 2024
https://github.com/michelboucey/glabrous
A minimalistic Mustache-like syntax, truly logic-less, pure Text DSL template library
haskell haskell-library template-engine templating
Last synced: 26 Dec 2024
https://github.com/michelboucey/nanoid
NanoID generator library and CLI tool in Haskell
binary cli haskell library nanoid unique-id-generator uuid-like
Last synced: 26 Dec 2024
https://github.com/duijf/boring-software
Boring Software with Haskell - Monadic Party 2019
architecture boring-software education haskell talk
Last synced: 23 Oct 2024
https://github.com/caneroj1/filter-logger
Filterable request logging as wai middleware
Last synced: 14 Oct 2024
https://github.com/bbc/haskell-workshop
Haskell workshop that will hopefully contribute something back to the open-source community
book-club haskell learning-by-doing learning-exercise learning-haskell
Last synced: 06 Nov 2024
https://github.com/thalesmg/reflex-skeleton
A skeleton Reflex project with Hpack, Nix and Emacs/HIE/LSP integration
emacs ghcjs haskell haskell-ide-engine haskell-stack hpack lsp nix reflex-frp
Last synced: 28 Oct 2024
https://github.com/matsubara0507/haskell-and-elm
Example application using Haskell and Elm
elm example-project haskell haskell-extensible-record haskell-servant
Last synced: 19 Oct 2024
https://github.com/matsubara0507/extensible-instances
instances of extensible data type for any type class
Last synced: 19 Oct 2024
https://github.com/okmttdhr/haskell-algorithms
Algorithms and data structures implemented in Haskell
algorithm data-structures functional-programming haskell
Last synced: 19 Oct 2024
https://github.com/stackbuilders/rollbar-haskell
A group of libraries written in Haskell to communicate with Rollbar API.
Last synced: 19 Oct 2024
https://github.com/udacity/geode
Geolocation as a service, replaced by https://github.com/udacity/geo
geolite2 geolocation haskell infrastructure maxmind platform
Last synced: 04 Nov 2024
https://github.com/manpages/algorand-merkle
data-structures haskell literate-programming merkle-tree polymorphic
Last synced: 14 Oct 2024
https://github.com/dahlia/nicovideo-translator
Nico Nico Douga (ニコニコ動画) Comment Translator
agplv3 haskell niconico nicovideo proxy-server translator
Last synced: 05 Jan 2025
https://github.com/romac/lfc-haskell
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
fixed-points haskell lambda-calculus recursion-schemes
Last synced: 06 Nov 2024
https://github.com/mbg/hoop
A Haskell library for object-oriented programming
haskell haskell-library object-oriented-programming subtyping template-haskell
Last synced: 23 Oct 2024
https://github.com/micheleriva/aika
⛈ In-memory key-value multithreaded database
database haskell in-memory in-memory-database key-value redis
Last synced: 23 Oct 2024
https://github.com/halogenandtoast/nhk-reader-haskell
Haskell implementation of my NHK Reader
Last synced: 03 Oct 2024
https://github.com/minad/tasty-stats
Collect statistics of your Tasty testsuite
benchmark haskell statistics tasty testing
Last synced: 13 Oct 2024
https://github.com/reneklacan/yesod-heroku-example
Minimal example of a pipeline for deploying Yesod app to Heroku through CircleCI.
Last synced: 13 Oct 2024
https://github.com/eta-lang/eta-prelude
The Prelude for Eta programming language.
eta functional-programming haskell prelude
Last synced: 07 Nov 2024
https://github.com/kakkun61/haskell-invokes-rust
The sample of the FFI from Haskell (GHC) to Rust
Last synced: 24 Oct 2024
https://github.com/vonzhou/programminginscala
Programming In Scala 3rd Examples.《Scala编程》第三版代码
functional-programming haskell java scala
Last synced: 08 Nov 2024
https://github.com/jaalonso/categorias_y_programacion
Bibliografía sobre teoría de categorías y programación funcional
category-theory functional-programming haskell
Last synced: 06 Dec 2024
https://github.com/joshuaclayton/file-fun
A fun program for files, written in Haskell, to demonstrate a monad transformer stack
Last synced: 07 Nov 2024
https://github.com/siraben/hasktran
A compiler for FRACTRAN written in Haskell.
assembler compiler fractran haskell monad-transformers tagless-final
Last synced: 24 Oct 2024
https://github.com/jyothsnasrinivas/eta-android-animation
Eta Android Animation example
android eta functional-programming haskell
Last synced: 29 Nov 2024
https://github.com/gaumala/translatejpbot
Telegram bot to translate Japanese words
haskell japanese-language jmdict telegram-bot translator
Last synced: 14 Dec 2024
https://github.com/nikita-volkov/ptr-poker
Pointer poking action construction and composition toolkit
haskell marshalling memory ptr serialization
Last synced: 28 Oct 2024
https://github.com/aloussase/emoji-cli
Emoji tool for the command line, with autocompletion!
Last synced: 06 Nov 2024
https://github.com/jyothsnasrinivas/eta-scotty-example
Scotty example in Eta
eta functional-programming haskell jvm
Last synced: 29 Nov 2024
https://github.com/battermann/connect-4
Connect 4 implemented with event sourcing and CQRS using Haskell, PureScript, Redis, Postgres, GraphQL/Hasura and Elm
cqrs elm event-sourcing graphql haskell hasura microservices no-frameworks postgres purescript redis
Last synced: 22 Oct 2024
https://github.com/lambdageek/centrinel
Analyze how a C program uses memory regions
haskell language-c region-inference static-analysis
Last synced: 13 Oct 2024
https://github.com/csabahruska/lambdacube-stunts
Remake of Stunts 4D Sports Driving in Haskell
3d-graphics bullet-physics cpu-emulator game gpu haskell
Last synced: 14 Oct 2024
https://github.com/glguy/config-schema
Self-documenting, combinator constructed configuration schemas
Last synced: 12 Oct 2024
https://github.com/sternenseemann/likely-music
experimental application for probabilistic music composition
es6 haskell javascript midi music musical-score notation notes sound visjs wav yarn
Last synced: 12 Oct 2024
https://github.com/brandonchinn178/tasty-autocollect
Automatic collection of Tasty tests
Last synced: 27 Oct 2024
https://github.com/agrafix/powerqueue
Haskell: A flexible job queue with exchangeable backends
distributed-computing haskell job-queue job-scheduler
Last synced: 12 Oct 2024
https://github.com/minad/wl-pprint-annotated
Wadler/Leijen pretty printer with annotations and API conforming to modern Haskell
haskell pretty-print wadler-leijen
Last synced: 28 Oct 2024
https://github.com/basvandijk/unbounded-delays
Unbounded thread delays and timeouts
Last synced: 12 Oct 2024
https://github.com/kompendium-ano/pegnetd-haskell-client
Haskell JSON-RPC client for PegNet
api api-client factom haskell pegnet rpc-client
Last synced: 03 Dec 2024
https://github.com/tfausak/patrol
:signal_strength: A Sentry SDK for Haskell
Last synced: 28 Oct 2024
https://github.com/prikhi/ksp-automation
A Kerbal Space Program Automation TUI & Haskell Library.
automation brick haskell kerbal-space kerbal-space-program krpc krpc-hs tui
Last synced: 11 Oct 2024
https://github.com/chiroptical/snailscheme
A read friendly Scheme implementation
Last synced: 27 Oct 2024
https://github.com/lysxia/coq-mtl
Formalized laws for mtl
coq effects formalization haskell laws monad monad-transformers
Last synced: 10 Oct 2024
