Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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.

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/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/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: 26 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/IHaskell/IHaskell

A Haskell kernel for the Jupyter project.

haskell jupyter

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/wireapp/wire-server

🇪🇺 Wire back-end services

haskell rust server wire

Last synced: 15 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.

haskell jupyter

Last synced: 11 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/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/kaxap/arl

lists of most popular repositories for most favoured programming languages (according to StackOverflow)

assembly awesome c cpp csharp golang haskell java matlab nodejs objective-c perl php python r ruby scala swift typescript vbnet

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!

hacktoberfest haskell

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/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/netgusto/nodebook

Nodebook - Multi-Lang Web REPL + CLI Code runner

c clojure cpp csharp elixir fsharp go haskell java lua nodejs ocaml php python r repl ruby rust swift typescript

Last synced: 14 Oct 2024

https://github.com/jtdaugherty/brick

A declarative Unix terminal UI library written in Haskell

curses framework haskell terminal tui ui vty

Last synced: 14 Oct 2024

https://github.com/haskell/cabal

Official upstream development repository for Cabal and cabal-install

cabal hackage haskell

Last synced: 07 Oct 2024

https://github.com/huangzworks/real-world-haskell-cn

《Real World Haskell》中文翻译项目

chinese-translation haskell

Last synced: 29 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/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/haskell/haskell-mode

Emacs mode for Haskell

emacs haskell

Last synced: 07 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/reanimate/reanimate

Haskell library for building declarative animations based on SVG graphics

2d animations gif haskell svg

Last synced: 29 Oct 2024

https://github.com/hzlmn/haskell-must-watch

Huge list of videos, talks, courses for Haskell programming language.

awesome haskell videos

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/kowainik/learn4haskell

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

hacktoberfest hacktoberfest2020 hacktoberfest2021 haskell learning-by-doing

Last synced: 12 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

haskell mmmmlists

Last synced: 12 Oct 2024

https://github.com/gabriella439/turtle

Shell programming, Haskell style

haskell scripting

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/Gabriella439/turtle

Shell programming, Haskell style

haskell scripting

Last synced: 31 Oct 2024

https://github.com/tweag/ormolu

A formatter for Haskell source code

formatter haskell

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

formatter haskell nix

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

haskell relational-algebra

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/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.

hacktoberfest haskell nix nom

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

https://github.com/cachix/cachix

Command line client for Nix binary cache hosting:

dhall haskell nix nixos servant

Last synced: 10 Oct 2024