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-04 00:14:10 UTC
- JSON Representation
https://github.com/yitzchak/dicy
A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.
agda biblatex haskell javascript knitr latex literate-programming pythontex reproducible-research sage typescript
Last synced: 30 Sep 2024
https://github.com/twesterhout/halide-haskell
Haskell bindings to Halide
gpu halide haskell high-performance-computing jit
Last synced: 27 Oct 2024
https://github.com/leventerkok/cracknum
Convert to/from IEEE-754 HP/SP/DP formats
floating-point haskell ieee754
Last synced: 12 Oct 2024
https://github.com/fosskers/vectortiles
A native Haskell codec for Mapbox Vector Tiles.
Last synced: 19 Oct 2024
https://github.com/chris-martin/haskell-libraries
Incubator for my Haskell libraries
Last synced: 28 Oct 2024
https://github.com/skyzyx/alpine-pandoc
Docker container with Alpine Linux, Pandoc, PlantUML, and Sphinx.
alpine-linux container docker documentation haskell java pandoc plantuml python sphinx
Last synced: 29 Oct 2024
https://github.com/siraben/r5rs-denot
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
denotational-semantics haskell monad-transformers r5rs-scheme scheme scheme-interpreter
Last synced: 23 Oct 2024
https://github.com/ken-okabe/functional-programming-from-scratch-ja
Functional Programming From Scratch 日本語版
fsharp functional-programming functional-reactive-programming haskell learn-to-code learning mathematical-programming mathematics solidjs typescript verse
Last synced: 12 Oct 2024
https://github.com/csabahruska/demoscene
Demoscene: Lambda Team
demoscene engine3d graphics-3d haskell
Last synced: 14 Oct 2024
https://github.com/xldenis/ill
educational compiler for not (quite) toy languages
compiler functional-languages haskell haskell- language laziness
Last synced: 22 Oct 2024
https://github.com/dmjio/LC3
:floppy_disk: The LC3 virtual machine
assembly haskell instruction-set-architecture lc3 opcodes virtual-machine
Last synced: 01 Aug 2024
https://github.com/kowainik/trial
⚖️ Trial Data Type
data-structures hacktoberfest haskell haskell-library
Last synced: 02 Aug 2024
https://github.com/taktoa/eqsat
A language-generic implementation of equality saturation in Haskell
compiler equality-saturation haskell optimization term-indexing theorem-prover
Last synced: 12 Oct 2024
https://github.com/ndmitchell/hexml
A bad XML parser
haskell performant xml xml-parser
Last synced: 26 Oct 2024
https://github.com/sellout/haskerwaul
Category theory concepts in type classes and instances.
Last synced: 27 Oct 2024
https://github.com/sellout/compiling-anything-to-categories
a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
category-theory ghc ghc-plugin haskell
Last synced: 28 Oct 2024
https://github.com/typeclasses/stripe
Haskell libraries for working with the Stripe API
haskell haskell-library scotty stripe stripe-api wreq
Last synced: 12 Oct 2024
https://github.com/barrucadu/irc-client
This project is essentially abandonware!
Last synced: 01 Nov 2024
https://github.com/basvandijk/lifted-base
IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl
Last synced: 27 Oct 2024
https://github.com/sjoerdvisscher/effects
Control.Effects
eff haskell monad-transformers
Last synced: 15 Oct 2024
https://github.com/tfausak/imp
:smiling_imp: Automatically import Haskell modules.
Last synced: 28 Oct 2024
https://github.com/chshersh/sauron
👁🗨 The eye that watches everything you did on Twitter
Last synced: 29 Oct 2024
https://github.com/tek/ribosome
A Neovim plugin host and framework for Haskell
Last synced: 01 Nov 2024
https://github.com/obsidiansystems/beam-automigrate
Generated migrations for beam databases
beam database haskell migration
Last synced: 02 Aug 2024
https://github.com/leptonyu/salak
Haskell Configuration Loader
configuration-loader haskell salak toml yaml
Last synced: 29 Oct 2024
https://github.com/operating-function/pallas
An event sourced, purely functional application platform.
exokernel functional-programming haskell operating-function operating-system personal-server purely-functional unikernel
Last synced: 12 Oct 2024
https://github.com/noughtmare/hypercube
Minecraft clone in haskell focussed on performance.
game haskell minecraft-clone opengl voxel
Last synced: 14 Oct 2024
https://github.com/andys8/dotfiles
dotfiles repository
arch dotfiles el elm fish haskell i3 linux nix purescript qutebrowser rofi st typescript vim xmonad
Last synced: 28 Oct 2024
https://github.com/laurentrdc/javelin
Haskell implementation of series, or labeled one-dimensional arrays.
data-science data-structures-and-algorithms haskell quantitative-finance
Last synced: 02 Nov 2024
https://github.com/aionescu/oplang
Stack-based esoteric programming language
compiler esoteric-language haskell stack-based
Last synced: 14 Oct 2024
https://github.com/thunky-monk/kawhi
stats.nba.com library :basketball:
aeson basketball basketball-stats haskell haskell-language haskell-library nba nba-analytics nba-api nba-games nba-statistics nba-stats nba-stats-api nba-visualization thunky-monk
Last synced: 29 Oct 2024
https://github.com/y-taka-23/time-machine
A Haskell library to mock the current time. ⏰
Last synced: 14 Oct 2024
https://github.com/gvolpe/stm-demo
Bank transfer examples using STM in both Haskell and Scala (zio-stm)
haskell memory scala stm transactions zio
Last synced: 28 Oct 2024
https://github.com/glguy/config-value
Simple, layout-based, unambiguous configuration language implemented in Haskell
Last synced: 28 Oct 2024
https://github.com/alpacaaa/tex
Minimalistic file explorer, written in Haskell.
Last synced: 10 Aug 2024
https://github.com/aionescu/wasm-hs
Type-safe WebAssembly eDSL in Haskell
edsl haskell wasm web-assembly
Last synced: 24 Oct 2024
https://github.com/lucasvreis/organon
📖 view and generate static websites from your Org files (WIP).
ema haskell latex org-mode org-roam static-site-generator template zettelkasten
Last synced: 02 Aug 2024
https://github.com/composewell/unicode-data
Access unicode character database
Last synced: 12 Oct 2024
https://github.com/junjihashimoto/th-cas
Compile time CAS(Computer Algebra System) for Haskell
algebra cas computer-algebra haskell
Last synced: 14 Oct 2024
https://github.com/Kuratoro/haskell.zettel.page
Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)
Last synced: 02 Aug 2024
https://github.com/obsidiansystems/gargoyle
A framework for managing daemons from Haskell and libraries for use with postgresql and nix
Last synced: 02 Aug 2024
https://github.com/basvandijk/concurrent-extra
Extra concurrency primitives
Last synced: 27 Oct 2024
https://github.com/appliedfm/vstyle
A style guide for Coq
appliedfm c coq dependent-types formal-mathematics formal-methods formal-proofs formal-semantics formal-specification formal-verification haskell ocaml proof proof-assistant software-engineering style-guide verification
Last synced: 10 Oct 2024
https://github.com/leptonyu/odpic-raw
Haskell raw bindings to Oracle ODPI-C Library
Last synced: 29 Oct 2024
https://github.com/ariady-putra/morbid
Davy Jones' Locker
aiken dapp haskell offchain onchain playground plutus smart-contract
Last synced: 03 Aug 2024
https://github.com/nikita-volkov/hasql-tutorial1
Tutorial on organisation of Hasql code in a Postgres-integration layer
haskell hasql postgresql tutorial
Last synced: 12 Oct 2024
https://github.com/timjb/halma
Chinese Checkers Haskell library, GUI application and Telegram bot
chinese-checkers diagrams game-ai haskell serverless telegram-bot
Last synced: 22 Oct 2024
https://github.com/alpha-build/alpha-build
Simple monorepo build tool based on Make with out-of-the-box support for Python, Bash, Jupyter Notebooks, Markdown, YAML, HTML, CSS, JS, TS and with a strong focus on flexibility, transparency, and extensibility.
bash build-system build-tool conda haskell html isort jupyter jupyter-notebook make makefile markdown monorepo mypy npm pip prettier python yaml
Last synced: 01 Aug 2024
https://github.com/cdepillabout/servant-rawm
Effectful Raw handler for Servant servers.
hacktoberfest haskell raw servant
Last synced: 12 Oct 2024
https://github.com/mchav/courseramachinelearning
Exercises and notes from the Coursera Machine Learning Course by Andrew Ng.
haskell machine-learning machine-learning-coursera
Last synced: 29 Oct 2024
https://github.com/k0ral/imm
Execute arbitrary actions for each unread element of RSS/Atom feeds
Last synced: 10 Oct 2024
https://github.com/gvolpe/postgresql-resilient
Automatic re-connection support for PostgreSQL.
haskell postgres postgresql postgresql-database reconnection resilient
Last synced: 28 Oct 2024
https://github.com/tfausak/haskell-knowledge-base
:spider_web: A knowledge map about Haskell powered by Obsidian.
haskell knowledge-map obsidian
Last synced: 02 Aug 2024
https://github.com/holmusk/servant-hmac-auth
Servant authentication with HMAC
api auth crypto hacktoberfest haskell hmac servant web
Last synced: 05 Nov 2024
https://github.com/composewell/bench-show
Show, plot and compare benchmark results
benchmarking haskell haskell-library performance
Last synced: 12 Oct 2024
https://github.com/mrkkrp/hspec-megaparsec
Utility functions for testing Megaparsec parsers with Hspec
haskell hspec megaparsec testing
Last synced: 28 Oct 2024
https://github.com/solomon-b/monoidal-functors
A library encoding monoidal functors and related structures in Haskell.
category-theory haskell monoidal-categories
Last synced: 28 Oct 2024
https://github.com/psibi/sysinfo
Haskell Interface for getting overall system statistics
Last synced: 28 Oct 2024
https://github.com/basvandijk/levmar
An implementation of the Levenberg-Marquardt algorithm
Last synced: 28 Oct 2024
https://github.com/lysxia/quickcheck-higherorder
QuickCheck extension for higher-order properties
haskell higher-order quickcheck testing
Last synced: 28 Oct 2024
https://github.com/hasufell/hpath
Typed filepath in haskell
dirname filepath filepath-manipulation files haskell posix
Last synced: 14 Oct 2024
https://github.com/yetone/parsec.js
A JavaScript parser combinator library inspired by Parsec of Haskell.
haskell javascript parsec parser-combinators
Last synced: 28 Oct 2024
https://github.com/tfausak/burrito
:burrito: Parse and render URI templates.
Last synced: 28 Oct 2024
https://github.com/seagreen/station
The File Strikes Back
haskell ontology replace-the-web semantic-filesystem
Last synced: 24 Oct 2024
https://github.com/mrkkrp/identicon
Flexible generation of identicons in Haskell
Last synced: 27 Oct 2024
https://github.com/lukehoersten/activitypub
Haskell ActivityPub server library
Last synced: 13 Oct 2024
https://github.com/nikita-volkov/postgresql-syntax
PostgreSQL SQL syntax utilities
Last synced: 28 Oct 2024
https://github.com/serokell/haskell-crypto
Haskell cryptography done right
cryptography haskell libsodium
Last synced: 12 Oct 2024
https://github.com/blackmatov/fun.hpp
My old crazy idea about functional programming in C++
c-plus-plus c-plus-plus-17 cpp cpp17 functional-programming haskell type-classes
Last synced: 14 Oct 2024
https://github.com/lukemorales/funkcia
haskell nim ocaml option option-pattern option-type optional result result-pattern result-type rust scala type-safety typescript
Last synced: 02 Nov 2024
https://github.com/brandonchinn178/toml-reader
Haskell library for parsing v1.0 TOML files
Last synced: 28 Oct 2024
https://github.com/kleidukos/intrigue
My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
Last synced: 23 Oct 2024
https://github.com/slotthe/slotthe.github.io
blog emacs hakyll haskell personal-website typography xmonad
Last synced: 14 Oct 2024
https://github.com/mgajda/wordpass
Password generator
entropy hackage haskell password-generator xkcd xkcdpass
Last synced: 29 Oct 2024
https://github.com/leventerkok/conjugategradient
Sparse matrix linear equation solver, using the Conjugate Gradient algorithm
conjugate-gradient haskell optimization sparse-matrix
Last synced: 28 Oct 2024
https://github.com/andreainfufsm/elc117-2024b
ELC117 - Paradigmas de Programação - UFSM - 2024b
concurrent-programming functional-programming haskell java liascript-course logic-programming object-oriented-programming programming-paradigms prolog
Last synced: 12 Oct 2024
https://github.com/sestrella/asdf-ghcup
An asdf plugin wrapping GHCup.
asdf asdf-plugin ghcup haskell
Last synced: 19 Oct 2024
https://github.com/gelisam/mastering-haskell
The slides for my Packt course, "Mastering Haskell".
Last synced: 24 Oct 2024
https://github.com/nelsonmestevao/uminho
:books: University projects, exercises & notes
c cpp data-science distributed-systems haskell java software-engineering
Last synced: 11 Oct 2024
https://github.com/siraben/eopl
Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
Last synced: 23 Oct 2024
https://github.com/prikhi/brick-image
Show Images in Your Brick TUI Using w3mimgdisplay
brick haskell images library tui w3m w3mimgdisplay
Last synced: 11 Oct 2024
https://github.com/sjoerdvisscher/hueapi
Haskell API for controlling Phillips Hue lights
haskell hue hue-lights philips-hue
Last synced: 15 Oct 2024
https://github.com/ekmett/succinct-binary
Succinct binary serialization
haskell serialization succinct
Last synced: 15 Oct 2024
https://github.com/ofmooseandmen/jord
Geographical Position Calculations
geodesy geodetics geography haskell kinematics n-vector wgs84
Last synced: 19 Oct 2024
https://github.com/glguy/advent2021
Haskell solutions for https://adventofcode.com/2021/
adventofcode adventofcode2021 haskell
Last synced: 12 Oct 2024
https://github.com/ofmooseandmen/aeromess
Parsers and Formatters for Aeronautical messages [ICAO/AIDC/OLDI ATS messages, METAR, TAF, NOTAM...]
eurocontrol haskell icao metar parsing
Last synced: 19 Oct 2024
