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/koalaman/shellcheck
ShellCheck, a static analysis tool for shell scripts
bash developer-tools haskell linter shell static-analysis
Last synced: 28 Oct 2024
https://github.com/jgm/pandoc
Universal markup converter
commonmark converter document haskell markdown markup pandoc presentation publishing
Last synced: 28 Oct 2024
https://github.com/hasura/graphql-engine
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
access-control api automatic-api bigquery graphql graphql-api graphql-server haskell hasura mongodb postgres rest-api sql-server subgraph supergraph
Last synced: 28 Oct 2024
https://github.com/begriffs/postgrest
REST API for any Postgres database
api automatic-api database haskell http pg pgsql postgres postgresql postgrest rest server sql
Last synced: 06 Aug 2024
https://github.com/PostgREST/postgrest
REST API for any Postgres database
api automatic-api database haskell http pg pgsql postgres postgresql postgrest rest server sql
Last synced: 25 Oct 2024
https://github.com/postgrest/postgrest
REST API for any Postgres database
api automatic-api database haskell http pg pgsql postgres postgresql postgrest rest server sql
Last synced: 28 Oct 2024
https://github.com/compiler-explorer/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
assembly c-plus-plus compiler cpp dlang go hacktoberfest haskell ispc rust rust-lang swift
Last synced: 28 Oct 2024
https://github.com/wasp-lang/wasp
The fastest way to develop full-stack web apps with React & Node.js.
compiler hacktoberfest haskell javascript node open-source prisma programming-language react wasp web-app
Last synced: 12 Oct 2024
https://github.com/hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
category-theory cpp functional-programming haskell latex ocaml pdf scala
Last synced: 29 Oct 2024
https://hadolint.github.io/hadolint/
Dockerfile linter, validate inline bash, written in Haskell
docker dockerfile dockerfile-linter haskell linter shellcheck static-analysis
Last synced: 13 Oct 2024
https://github.com/hadolint/hadolint
Dockerfile linter, validate inline bash, written in Haskell
docker dockerfile dockerfile-linter haskell linter shellcheck static-analysis
Last synced: 28 Oct 2024
https://github.com/lk-geimfari/awesomo
Cool open source projects. Choose your project and get involved in Open Source development now.
awesome clojure dev elixir emacs-lisp erlang haskell lisp list lua ocaml open-source projects python ruby rust scala typescript
Last synced: 25 Sep 2024
https://github.com/purescript/purescript
A strongly-typed language that compiles to JavaScript
alt-js haskell javascript purescript typed-language
Last synced: 29 Oct 2024
https://github.com/liuxinyu95/AlgoXY
Book of Elementary Functional Algorithms and Data structures
algorithms functional-programming haskell
Last synced: 28 Oct 2024
https://github.com/liuxinyu95/algoxy
Book of Elementary Functional Algorithms and Data structures
algorithms functional-programming haskell
Last synced: 12 Oct 2024
https://github.com/unisonweb/unison
A friendly programming language from the future
hacktoberfest haskell programming-language unison unison-language
Last synced: 15 Oct 2024
https://github.com/simplex-chat/simplex-chat
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!
chat double-ratchet e2ee encryption haskell messaging privacy protocol security
Last synced: 12 Oct 2024
https://github.com/digitallyinduced/ihp
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
framework hacktoberfest haskell html mvc nix postgresql
Last synced: 10 Oct 2024
https://github.com/extism/extism
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
browser c cpp csharp dotnet elixir go haskell java javascript node ocaml plugin-system python ruby rust serverless wasm webassembly zig
Last synced: 28 Oct 2024
https://github.com/input-output-hk/cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
cryptocurrency haskell stake-blockchain-protocol
Last synced: 28 Sep 2024
https://github.com/koka-lang/koka
Koka language compiler and interpreter
algebraic-effects effect-handlers handler haskell koka
Last synced: 12 Oct 2024
https://github.com/xmonad/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
hacktoberfest haskell window-manager x11 x11-wm xmonad
Last synced: 15 Oct 2024
https://github.com/bayeswitnesses/m2cgen
Transform ML models into a native code (Java, C, Python, Go, JavaScript, Visual Basic, C#, R, PowerShell, PHP, Dart, Haskell, Ruby, F#, Rust) with zero dependencies
c csharp dartlang go haskell java javascript lightgbm lightning machine-learning php python r ruby rust scikit-learn statistical-learning statsmodels xgboost
Last synced: 29 Oct 2024
https://github.com/BayesWitnesses/m2cgen
Transform ML models into a native code (Java, C, Python, Go, JavaScript, Visual Basic, C#, R, PowerShell, PHP, Dart, Haskell, Ruby, F#, Rust) with zero dependencies
c csharp dartlang go haskell java javascript lightgbm lightning machine-learning php python r ruby rust scikit-learn statistical-learning statsmodels xgboost
Last synced: 26 Oct 2024
https://github.com/simonmichael/hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
accounting bounties bounty command-line-tool console-application finance haskell haskell-applications hledger ledger plaintext plaintext-accounting plaintextaccounting tui web-application
Last synced: 15 Oct 2024
https://github.com/IHaskell/IHaskell
A Haskell kernel for the Jupyter project.
Last synced: 30 Oct 2024
https://github.com/typelead/eta
The Eta Programming Language, a dialect of Haskell on the JVM
eta functional-programming haskell jvm
Last synced: 14 Oct 2024
https://github.com/haskell/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
cabal ghc hacktoberfest haskell haskell-language-server ide lsp-server stack
Last synced: 07 Oct 2024
https://github.com/ihaskell/ihaskell
A Haskell kernel for the Jupyter project.
Last synced: 11 Oct 2024
https://github.com/sdiehl/wiwinwlh
What I Wish I Knew When Learning Haskell
article-series examples functional-programming functional-programming-examples haskell
Last synced: 12 Oct 2024
https://github.com/jaspervdj/patat
Terminal-based presentations using Pandoc
haskell markdown pandoc presentation slides slideshow terminal
Last synced: 29 Oct 2024
https://github.com/haskell/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
ghc haskell haskell-ide ide language-server-protocol lsp
Last synced: 28 Sep 2024
https://github.com/dmjio/miso
:ramen: A tasty Haskell front-end framework
ghcjs haskell javascript miso nix ramen ui virtual-dom
Last synced: 29 Oct 2024
https://github.com/tidalcycles/tidal
Pattern language
algorave dsl haskell kairotic language live-coding livecoding pattern
Last synced: 09 Oct 2024
https://github.com/tidalcycles/Tidal
Pattern language
algorave dsl haskell kairotic language live-coding livecoding pattern
Last synced: 27 Oct 2024
https://github.com/tweag/asterius
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
compiler ghc haskell webassembly
Last synced: 25 Sep 2024
https://github.com/nayuki/Project-Euler-solutions
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
algorithms competitive-programming dynamic-programming haskell java math mathematica mathematics number-theory project-euler proofs python recursion
Last synced: 30 Oct 2024
https://github.com/nayuki/project-euler-solutions
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
algorithms competitive-programming dynamic-programming haskell java math mathematica mathematics number-theory project-euler proofs python recursion
Last synced: 14 Oct 2024
https://github.com/haskell-servant/servant
Servat is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Last synced: 29 Oct 2024
https://github.com/smallhadroncollider/taskell
Command-line Kanban board/task manager with support for Trello boards and GitHub projects
command-line github haskell homebrew kanban kanban-board linux macos markdown opensource task-manager trello vim-keybindings
Last synced: 25 Sep 2024
https://github.com/luxlang/lux
The Lux Programming Language
clojure functional-languages functional-programming haskell javascript jvm-languages language lisp lua macros programming-language python ruby types
Last synced: 15 Oct 2024
https://github.com/LuxLang/lux
The Lux Programming Language
clojure functional-languages functional-programming haskell javascript jvm-languages language lisp lua macros programming-language python ruby types
Last synced: 28 Oct 2024
https://github.com/fosskers/aura
A secure, multilingual package manager for Arch Linux and the AUR.
arch-linux aura haskell package-manager pacman
Last synced: 15 Oct 2024
https://github.com/haskell/cabal
Official upstream development repository for Cabal and cabal-install
Last synced: 07 Oct 2024
https://github.com/huangzworks/real-world-haskell-cn
《Real World Haskell》中文翻译项目
Last synced: 29 Oct 2024
https://github.com/HuwCampbell/grenade
Deep Learning in Haskell
convolutional-neural-networks deep-learning deep-neural-networks generative-adversarial-networks haskell machine-learning
Last synced: 27 Oct 2024
https://github.com/huwcampbell/grenade
Deep Learning in Haskell
convolutional-neural-networks deep-learning deep-neural-networks generative-adversarial-networks haskell machine-learning
Last synced: 15 Oct 2024
https://github.com/valderman/haste-compiler
A GHC-based Haskell to JavaScript compiler
compiler ghc haskell javascript language web
Last synced: 14 Oct 2024
https://github.com/fabrizioschiavi/pragmatapro
PragmataPro font is designed to help pros to work better
apl arabic arrows bopomofo braille c-plus-plus cyrillic-characters greek haskell hebrew ipa-symbols ligatures math mathematical-operators modular monospace-font phonetics scala unicode unicode-coverage
Last synced: 15 Oct 2024
https://github.com/clash-lang/clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
asic fpga hardware-description-language haskell systemverilog verilog vhdl
Last synced: 15 Oct 2024
https://github.com/lettier/gifcurry
😎 The open-source, Haskell-built video editor for GIF makers.
animated-gifs appimage arch-linux fedora functional-programming gif gif-library gif-maker gifmaker gifs gstreamer gtk gui haskell imagemagick linux ubuntu video video-editing
Last synced: 14 Oct 2024
https://github.com/rikvdkleij/intellij-haskell
IntelliJ plugin for Haskell
haskell intellij intellij-plugin jetbrains-plugin stack
Last synced: 09 Oct 2024
https://github.com/haskell-things/implicitcad
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
3d-printing csg haskell openscad sdfs
Last synced: 12 Oct 2024
https://github.com/Haskell-Things/ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
3d-printing csg haskell openscad sdfs
Last synced: 26 Oct 2024
https://github.com/google/codeworld
Educational computer programming environment using Haskell
codeworld education fiddle functional-programming ghcjs haskell k12 learn-to-code playground
Last synced: 15 Oct 2024
https://github.com/quchen/articles
Miscellaneous articles. The readme is the table of contents.
articles haskell hindley-milner tutorials
Last synced: 15 Oct 2024
https://github.com/haskell-beginners-2022/course-plan
📜 Haskell course info, plan, video lectures, slides
beginner-friendly course functional-programming hacktoberfest hacktoberfest2022 haskell learning mentorship
Last synced: 29 Oct 2024
https://github.com/ucsd-progsys/liquidhaskell
Liquid Types For Haskell
haskell refinement-types smt verification
Last synced: 15 Oct 2024
https://github.com/reanimate/reanimate
Haskell library for building declarative animations based on SVG graphics
Last synced: 29 Oct 2024
https://github.com/hzlmn/haskell-must-watch
Huge list of videos, talks, courses for Haskell programming language.
Last synced: 26 Sep 2024
https://github.com/evincarofautumn/kitten
A statically typed concatenative systems programming language.
concatenative effects forth haskell language programming-language static-types
Last synced: 14 Oct 2024
https://github.com/reflex-frp/reflex
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.
frp functional-reactive-programming haskell reactive reflex-frp
Last synced: 29 Oct 2024
https://github.com/galoisinc/halvm
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
halvm haskell lightweight-virtual-machines xen xen-hypervisor
Last synced: 25 Sep 2024
https://github.com/GaloisInc/HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
halvm haskell lightweight-virtual-machines xen xen-hypervisor
Last synced: 09 Nov 2024
https://github.com/matterhorn-chat/matterhorn
A feature-rich Unix terminal client for the Mattermost chat system
brick client haskell mattermost mattermost-chat tui
Last synced: 12 Oct 2024
https://github.com/sdiehl/kaleidoscope
Haskell LLVM JIT Compiler Tutorial
compiler haskell kaleidoscope llvm-bindings llvm-tutorial tutorial
Last synced: 14 Oct 2024
https://github.com/grin-compiler/grin
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
compiler data-flow-analysis functional-programming haskell llvm optimisation
Last synced: 14 Oct 2024
https://github.com/chrisdone-archive/intero
development-tools emacs haskell
Last synced: 26 Sep 2024
https://github.com/phuhl/linux_notification_center
A notification daemon/center for linux
dbus deadd desktop-notifications gtk haskell linux notification-center notification-daemon notifications
Last synced: 12 Oct 2024
https://github.com/kowainik/learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
hacktoberfest hacktoberfest2020 hacktoberfest2021 haskell learning-by-doing
Last synced: 12 Oct 2024
https://github.com/thma/LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
builder-pattern category-theory design-patterns factory-pattern function-composition functional-languages functor functors gof-patterns haskell iterator-pattern monad monad-transformers monoids pattern-language reader-monad strategy-pattern traversable typeclasses typeclassopedia
Last synced: 12 Nov 2024
https://github.com/thma/ltupatternfactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
builder-pattern category-theory design-patterns factory-pattern function-composition functional-languages functor functors gof-patterns haskell iterator-pattern monad monad-transformers monoids pattern-language reader-monad strategy-pattern traversable typeclasses typeclassopedia
Last synced: 29 Oct 2024
https://github.com/haskell/stylish-haskell
Haskell code prettifier
hacktoberfest haskell prettifier
Last synced: 07 Oct 2024
https://github.com/erkmos/haskell-companies
A gently curated list of companies using Haskell in industry
Last synced: 12 Oct 2024
https://github.com/lierdakil/pandoc-crossref
Pandoc filter for cross-references
haskell pandoc pandoc-crossref pandoc-filter
Last synced: 12 Oct 2024
https://github.com/obsidiansystems/obelisk
Functional reactive web and mobile applications, with batteries included.
android full-stack haskell ios obelisk web
Last synced: 29 Oct 2024
https://github.com/NixOS/nixfmt
The official (but not yet stable) formatter for Nix code
Last synced: 05 Nov 2024
https://github.com/pcapriotti/optparse-applicative
Applicative option parser
applicative haskell option-parser
Last synced: 12 Oct 2024
https://github.com/dhall-lang/dhall-haskell
Maintainable configuration files
configuration-language dhall haskell
Last synced: 12 Oct 2024
https://github.com/acceleratehs/accelerate
Embedded language for high-performance array computations
accelerate cuda gpu gpu-computing hacktoberfest haskell llvm parallel-computing
Last synced: 14 Oct 2024
https://github.com/mrkkrp/megaparsec
Industrial-strength monadic parser combinator library
haskell megaparsec parser-library
Last synced: 12 Oct 2024
https://github.com/AccelerateHS/accelerate
Embedded language for high-performance array computations
accelerate cuda gpu gpu-computing hacktoberfest haskell llvm parallel-computing
Last synced: 03 Aug 2024
https://github.com/samtay/tetris
A terminal interface for Tetris
brick game haskell terminal-game tetris tui vty
Last synced: 12 Oct 2024
https://github.com/agentm/project-m36
Project: M36 Relational Algebra Engine
Last synced: 12 Oct 2024
https://github.com/soupi/haskell-study-plan
An opinionated list of resources for learning Haskell
beginners-guide guide haskell haskell-tutorial learning tutorial
Last synced: 13 Nov 2024
https://github.com/superfluid-finance/protocol-monorepo
Superfluid Protocol Monorepo: the specification, implementations, peripherals and development kits.
defi ethereum fintech haskell solidity typescript web3
Last synced: 31 Oct 2024
https://github.com/composewell/streamly
High performance, concurrent functional programming abstractions
arrays async concurrency dataflow filesystem folds frp haskell logic-programming loops modular network non-determinism parsers pipes reactive-programming stream-fusion streaming unfolds unicode
Last synced: 12 Oct 2024
https://github.com/joshuaclayton/unused
Deprecated; see https://github.com/unused-code/unused
cli code-quality ctags elixir haskell ruby
Last synced: 28 Sep 2024
https://github.com/maralorn/nix-output-monitor
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Last synced: 10 Oct 2024
https://github.com/srid/emanote
Emanate a structured view of your plain-text notes
ema haskell markdown obsidian-md orgmode pandoc static-site zettelkasten
Last synced: 14 Oct 2024