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-09 00:13:42 UTC
- JSON Representation
https://github.com/luc-tielen/souffle-haskell
Haskell bindings for the Souffle datalog language
bindings datalog haskell souffle-datalog-language
Last synced: 29 Oct 2024
https://github.com/smallhadroncollider/ascii-runner
An infinite runner in your terminal
command-line game haskell infinite-runner sillyness
Last synced: 10 Aug 2024
https://github.com/dewey92/typed-fp-good-reads
📚 List of useful resources to learn typed FP
functional-programming haskell purescript types
Last synced: 02 Aug 2024
https://github.com/tfausak/github-release
:octocat: Upload files to GitHub releases.
Last synced: 26 Oct 2024
https://github.com/utdemir/hs-nix-template
A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.
hacktoberfest haskell nix template-project
Last synced: 27 Oct 2024
https://github.com/leopiney/tensor-safe
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
ai deep-learning dependent-types functional-programming haskell haskell-library machine-learning
Last synced: 03 Nov 2024
https://github.com/jcouyang/grokking-monad
购买 :point_right: https://gum.co/grokking-monad 在线阅读 :point_right:
Last synced: 27 Oct 2024
https://github.com/stackbuilders/hapistrano
Deploy tool for Haskell applications, like Capistrano for Rails
capistrano continuous-deployment deployment hacktoberfest hacktoberfest2023 haskell haskell-applications
Last synced: 02 Aug 2024
https://github.com/input-output-hk/stack2nix
Generate nix expressions for Haskell projects
Last synced: 15 Aug 2024
https://github.com/dhall-lang/dhall-to-cabal
Compile Dhall expressions to Cabal files
Last synced: 02 Nov 2024
https://github.com/kowainik/typerep-map
⚡️Efficient implementation of Map with types as keys
arrays binary-search cache dependent-map dmap hacktoberfest haskell typerep-map
Last synced: 02 Aug 2024
https://github.com/hercules-ci/hercules-ci-agent
https://hercules-ci.com build and deployment agent
ci continuous-integration haskell nix nix-packages nixos-module
Last synced: 11 Oct 2024
https://github.com/wzhouwzhou/one-line-wonders
OneLineWondersCode | 1000+ Commits | 279/300 One Liners | 200+ Forks | Actively maintained open-source collection of "one-line" programs performing various tasks in different languages
bash coffeescript cpp gpl3 hacktoberfest hacktoberfest2021 haskell help-wanted javascript maintained nodejs one-line open-source pascal perl php powershell python r typescript
Last synced: 01 Nov 2024
https://github.com/Platonic-Systems/process-compose-flake
A `flake-parts` module to spin up processes for development by leveraging `process-compose`
flake flake-parts flakes haskell nix nixos process-compose purescript
Last synced: 02 Aug 2024
https://github.com/haskell-waargonaut/waargonaut
JSON decoding/encoding/manipulation library.
haskell haskell-library json json-parser json-serialization
Last synced: 02 Aug 2024
https://github.com/dwayne/haskell-programming
My notes and solutions to exercises for the book "Haskell Programming from first principles".
Last synced: 06 Nov 2024
https://github.com/dustin/gopro
Tools for making the most out of GoPro Plus.
Last synced: 27 Oct 2024
https://github.com/zenhack/haskell-capnp
Cap'n Proto for Haskell
capn-proto capnp capnproto haskell rpc serialization
Last synced: 01 Nov 2024
https://github.com/monadfix/named
Named parameters (keyword arguments) for Haskell
Last synced: 12 Oct 2024
https://github.com/composewell/packcheck
Universal build and CI testing for Haskell packages
build continuous-integration haskell test
Last synced: 02 Aug 2024
https://github.com/snowdriftcoop/snowdrift
Infrastructure for Snowdrift.coop. This is a MIRROR of https://gitlab.com/snowdrift/snowdrift. Your issue reports and merge requests are welcome, but they will be moved to gitlab.com. You are encouraged to start there instead!
Last synced: 04 Nov 2024
https://github.com/konn/computational-algebra
General-Purpose Computer Algebra System as an EDSL in Haskell
algorithm computational-algebra groebner-basis haskell ideal math mathematics polynomial
Last synced: 01 Nov 2024
https://github.com/lettier/parsing-with-haskell-parser-combinators
🔍 A step-by-step guide to parsing using Haskell parser combinators.
functional-programming functional-programming-examples haskell haskell-exercises haskell-learning haskell-tutorial learn-to-code learning-by-doing parsec parser parser-combinator parser-combinators parsers parsing programming-exercises srt srt-format srt-parser srt-subtitles subtitles
Last synced: 30 Oct 2024
https://github.com/2016rshah/heckle
:black_nib: Jekyll in Haskell (feat. LaTeX)
blog-engine haskell jekyll latex static-site-generator
Last synced: 11 Oct 2024
https://github.com/diekmann/iptables_semantics
Verified iptables Firewall Ruleset Analysis
access-control firewall haskell iptables ipv4 ipv6 isabelle security
Last synced: 29 Oct 2024
https://github.com/haskellnews/haskellnews
An aggregation of all online content related to Haskell.
Last synced: 02 Aug 2024
https://github.com/ypares/porcupine
Express parametrable, composable and portable data pipelines
analytics haskell reproducible-research workflows
Last synced: 12 Oct 2024
https://github.com/haskellweekly/haskellweekly.github.io
A free weekly newsletter about the Haskell programming language.
Last synced: 02 Aug 2024
https://github.com/rumblesan/improviz
DEPRECATED: A live-coded visual performance tool
algorave deprecated graphics haskell live-coding livecoding visual vjing
Last synced: 27 Oct 2024
https://github.com/bodigrim/linear-builder
Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
buffer builder bytestring concatenation haskell linear-types strict-types string-buffer string-builder string-manipulation stringbuffer stringbuilder text unicode
Last synced: 30 Oct 2024
https://github.com/haskell/stm
Software Transactional Memory
ghc haskell software-transactional-memory stm
Last synced: 07 Oct 2024
https://github.com/rmehri01/thock
⌨️ A modern TUI typing game featuring online racing against friends.
brick haskell tui typing-practice websockets
Last synced: 31 Oct 2024
https://github.com/holmusk/elm-street
:deciduous_tree: Crossing the road between Haskell and Elm
backend code-generation elm frontend haskell web
Last synced: 05 Nov 2024
https://github.com/andys8/type-signature-com
Who Wants to Be a Millionaire - but with types
Last synced: 27 Oct 2024
https://github.com/Holmusk/elm-street
:deciduous_tree: Crossing the road between Haskell and Elm
backend code-generation elm frontend haskell web
Last synced: 04 Aug 2024
https://github.com/sellout/yaya
Yet another yet another recursion scheme library in Haskell.
Last synced: 12 Oct 2024
https://github.com/sjsyrek/malc
Make a lambda calculus.
elixir functional-programming haskell javascript lambda-calculus lambda-expressions lambda-functions perl6 python ruby
Last synced: 10 Oct 2024
https://github.com/abarbu/matplotlib-haskell
Haskell bindings for Python's Matplotlib
charts haskell matplotlib plot
Last synced: 26 Oct 2024
https://github.com/yvan-sraka/cargo-cabal
A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
Last synced: 31 Oct 2024
https://github.com/blackhole89/macros
A more powerful C/C++ preprocessor.
algebraic-data-types c cplusplus haskell macros preprocessor
Last synced: 28 Oct 2024
https://github.com/ocharles/what-it-do
Automatically trace all (showable) binds in do expressions
Last synced: 22 Oct 2024
https://github.com/andys8/git-brunch
Git branch checkout menu
branch checkout command-line-tool git hacktoberfest haskell tui
Last synced: 26 Oct 2024
https://github.com/ice1000/kt2dart
:flashlight: [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again
dart flutter haskell kotlin parser parser-combinators
Last synced: 27 Oct 2024
https://github.com/agrafix/funblog
A simple blog software written in Haskell
blog blog-engine functional-programming haskell spock
Last synced: 28 Oct 2024
https://github.com/nikita-volkov/jsonifier
Fast and simple JSON encoding toolkit
bytestring haskell json marshalling serialization
Last synced: 26 Oct 2024
https://github.com/simonmichael/haskell-atom-setup
How to set up and use the Atom IDE for Haskell development in 2016. 2020: Obsolete, use VS Code instead.
haskell haskell-atom-setup haskell-ides howto
Last synced: 28 Oct 2024
https://github.com/ekmett/linear-logic
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
category-theory chu-spaces haskell linear-logic math proof
Last synced: 08 Nov 2024
https://github.com/chrispenner/json-to-haskell
In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.
Last synced: 12 Oct 2024
https://github.com/lysxia/generic-random
Generic random generators
arbitrary generics haskell quickcheck random-generation testing
Last synced: 26 Oct 2024
https://github.com/mrkkrp/zip
Efficient library for manipulating zip archives
Last synced: 29 Oct 2024
https://github.com/Nike-Inc/bartlett
A simple Jenkins command line client to serve your needs.
bartlett command-line command-line-app haskell jenkins jenkins-command nike profile stack workflow
Last synced: 10 Aug 2024
https://github.com/hpdeifel/hledger-iadd
A terminal UI as drop-in replacement for hledger add.
curses finance haskell hledger ledger plaintext-accounting tui ui
Last synced: 02 Nov 2024
https://github.com/Anut-py/h-raylib
Haskell bindings for raylib
bindings game game-library haskell opengl raylib raylib-binding
Last synced: 05 Nov 2024
https://github.com/alhassy/next-700-module-systems
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
agda canonical-structures coq emacs first-class-citizens haskell language lisp metaprogramming modules ocaml phd records typeclasses
Last synced: 10 Oct 2024
https://github.com/wxHaskell/wxHaskell
MOVED TO https://codeberg.org/wxHaskell/wxHaskell
Last synced: 02 Aug 2024
https://github.com/bodigrim/tasty-bench
Featherlight benchmark framework, drop-in replacement for criterion and gauge.
benchmark benchmark-framework benchmark-suite benchmarking benchmarking-suite benchmarks criterion gauge haskell performance-analysis performance-measurement performance-testing
Last synced: 01 Nov 2024
https://github.com/zmactep/hasbolt
Haskell driver for Neo4j 3+ (BOLT protocol)
hackage haskell haskell-driver neo4j-driver
Last synced: 29 Oct 2024
https://github.com/thephoeron/quipper-language
Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)
haskell quantum-computing quipper quipper-language unofficial-fork
Last synced: 03 Nov 2024
https://github.com/jwiegley/putting-lenses-to-work
A presentation for BayHac 2017 on how I uses lenses at work
functional-programming haskell lens lenses practical
Last synced: 28 Oct 2024
https://github.com/tfausak/rampart
:european_castle: Determine how intervals relate to each other.
Last synced: 26 Oct 2024
https://github.com/plclub/hs-to-coq
Convert Haskell source code to Coq source code.
Last synced: 10 Oct 2024
https://github.com/reflex-frp/reflex-examples
See Reflex FRP in action with tinker-friendly code samples you can run yourself.
frp functional-reactive-programming haskell reactive reflex-frp
Last synced: 02 Aug 2024
https://github.com/haskell-github-trust/replace-megaparsec
Stream editing with Haskell Megaparsec parsers
find-and-replace haskell haskell-library megaparsec stream-editor
Last synced: 02 Aug 2024
https://github.com/IHaskell/ihaskell-notebook
IHaskell image for Jupyter Docker Stacks
Last synced: 30 Oct 2024
https://github.com/zudov/24-days-of-syntactic-witchery
Aligning characters for fun and profit, with Haskell and PureScript
Last synced: 02 Nov 2024
https://github.com/jasonstolaruk/CurryMUD
A Multi-User Dungeon server in Haskell.
game game-dev game-development haskell mud mudlet mudlet-lua multi-user-dungeon telnet text-based text-based-adventure virtual-worlds
Last synced: 02 Aug 2024
https://github.com/alt-romes/hegg
Fast equality saturation in Haskell
egraphs equality-saturation haskell
Last synced: 01 Nov 2024
https://github.com/kowainik/hit-on
:octocat: Kowainik Git Workflow Helper Tool
cli-tool git github github-api haskell kowainik-git-workflow workflow
Last synced: 02 Aug 2024
https://github.com/kowainik/prolens
👓 Profunctor based lightweight implementation of Lenses
hacktoberfest haskell lens lenses prisms profunctor-optics profunctors traversal
Last synced: 29 Oct 2024
https://github.com/mchakravarty/lazy-lambda
Lazy Lambda — a Flappy Bird clone in Haskell with SpriteKit
Last synced: 28 Oct 2024
https://github.com/tcr/corollary
Cross-compiler from Haskell to Rust, plus parser-haskell.
corollary cross-compiler haskell parsing-library rust
Last synced: 31 Oct 2024
https://github.com/tfausak/witch
:mage_woman: Convert values from one type into another.
Last synced: 26 Oct 2024
https://github.com/basvandijk/scientific
Arbitrary-precision floating-point numbers represented using scientific notation
haskell numbers scientific-notation
Last synced: 30 Oct 2024
https://github.com/chshersh/dr-cabal
📊 Haskell dependencies build times profiler
colour hacktoberfest hacktoberfest2022 haskell pretty profile terminal
Last synced: 29 Oct 2024
https://github.com/isovector/suavemente
:dancer: an applicative functor that seamlessly talks to HTML inputs
applicative-functors diagrams haskell html websockets
Last synced: 07 Nov 2024
https://github.com/atom-haskell/language-haskell
Haskell language support for Atom
Last synced: 02 Aug 2024
https://github.com/xtendo-org/chips
A fast, lightweight, and concurrent plugin manager for the fish shell, written in Haskell
Last synced: 01 Nov 2024
https://github.com/balsoft/lambda-launcher
Application launcher in haskell. Mostly Just For Fun.
haskell haskell-application lambda launcher
Last synced: 28 Oct 2024
https://github.com/saurabhnanda/odd-jobs
Haskell job queue with admin UI and loads of other features.
hacktoberfest haskell job-queue odd-jobs
Last synced: 02 Aug 2024
https://github.com/siraben/mini-haskell
A self-hosting mini Haskell compiler with a mini C runtime.
c combinatory-logic compiler graph-reduction haskell hindley-milner parser-combinators
Last synced: 22 Oct 2024
https://github.com/eldr-io/hastl
Production ready, modern web-application starter template using haskell and htmx
alpinejs haskell htmx lucid servant tailwindcss template web
Last synced: 12 Oct 2024
https://github.com/i-am-tom/learn-me-a-haskell
Trying to get back all the stuff I had in JavaScript.
dependent-types ghc haskell type-level-programming
Last synced: 28 Oct 2024
https://github.com/leventerkok/harduino
Control your Arduino board from Haskell, using the Firmata protocol
Last synced: 27 Oct 2024
https://github.com/podenv/podenv
a container wrapper
dhall haskell linux-containers nix podman rootless-containers
Last synced: 11 Oct 2024
https://github.com/mroman42/mikrokosmos
(λ) Educational lambda calculus interpreter
haskell interpreter lambda-calculus
Last synced: 27 Oct 2024
https://github.com/haskell-things/hslice
HSlice - A Haskell based slicer for 3D printing.
3d-printing haskell implicitcad projective-geometric-algebra slicer
Last synced: 06 Nov 2024
https://github.com/soywod/unfog.vim
⏱ Vim plugin for Unfog CLI task & time manager.
haskell task-manager taskwarrior time-tracker vim vim-plugin viml vimscript worktime
Last synced: 28 Oct 2024
https://github.com/ryukinix/discrete-mathematics
A computational way to study discrete mathematics using Haskell
computer-science discrete-mathematics haskell mathematics
Last synced: 05 Nov 2024
https://github.com/tfausak/wuss
:lock: Secure WebSocket (WSS) clients in Haskell.
Last synced: 26 Oct 2024
https://github.com/kowainik/policeman
👮 Haskell PVP adviser
bristol-hackathon haskell package-maintenance pvp
Last synced: 27 Oct 2024