Skip to content

Latest commit

 

History

History
508 lines (316 loc) · 24 KB

haskell.md

File metadata and controls

508 lines (316 loc) · 24 KB
Raw
  1. android
  2. arch-linux
  3. aws
  4. blockchain
  5. cabal
  6. cli
  7. command-line
  8. command-line-tool
  9. compiler
  10. composition
  11. crypto
  12. cryptocurrency
  13. database
  14. deep-learning
  15. dependent-types
  16. development-tools
  17. dsl
  18. elm
  19. framework
  20. frp
  21. functional
  22. functional-programming
  23. game
  24. gamedev
  25. ghc
  26. ghcjs
  27. gifs
  28. gui
  29. hackage
  30. haskell-library
  31. hindley-milner
  32. install
  33. ios
  34. javascript
  35. json
  36. language
  37. ledger
  38. library
  39. linux
  40. llvm
  41. machine-learning
  42. macos
  43. markdown
  44. nix
  45. p2p
  46. package-manager
  47. pandoc
  48. peer-to-peer
  49. postgresql
  50. prelude
  51. programming-language
  52. python
  53. quickcheck
  54. repl
  55. scheme
  56. sdl
  57. sdl2
  58. server
  59. testing
  60. tui
  61. tutorial
  62. type-theory
  63. web
  64. yampa

android

  1. haskanoid. A breakout game in Haskell using SDL and FRP, with Wiimote and Kinect support.
  2. Yampa. Domain-specific language embedded in Haskell for programming hybrid (mixed discrete-time and continuous-time) systems. Yampa is based on the concepts of Functional Reactive Programming (FRP) and is structured using arrow combinators.

arch-linux

  1. aura. A secure, multilingual package manager for Arch Linux and the AUR.
  2. gifcurry. 👉 Your open source video to GIF maker built with Haskell.

aws

  1. amazonka. A comprehensive Amazon Web Services SDK for Haskell.
  2. Rome. A cache tool for Carthage

blockchain

  1. nanocoin. A simple cryptocurrency implementation, written to illustrate the basic components of a Proof-of-Work based, public distributed ledger.
  2. legion. Simple blockchain server written in haskell. Feedback welcome.
  3. nanochain. A minimal viable blockchain
  4. pact. The Pact Smart Contract Language

cabal

  1. cabal. Official upstream development repository for Cabal and cabal-install
  2. hackage-server. Hackage-Server: A Haskell Package Repository

cli

  1. unused. A command line tool to identify unused code.
  2. givegif. GIFs on the command line
  3. gifcurry. 👉 Your open source video to GIF maker built with Haskell.

command-line

  1. jl. Functional sed for JSON
  2. taskell. A command line kanban board/task manager written in Haskell

command-line-tool

  1. hledger. The hledger command-line/curses/web accounting tool, a Haskell rewrite of ledger.
  2. jl. Functional sed for JSON

compiler

  1. elm-compiler. Compiler for Elm, a functional language for reliable webapps.
  2. luna. Hybrid textual and visual functional programming.
  3. write-you-a-haskell. Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
  4. haste-compiler. A GHC-based Haskell to JavaScript compiler
  5. elm-platform. Bundle of all core development tools for Elm
  6. kaleidoscope. Haskell LLVM JIT Compiler Tutorial
  7. futhark. 💥💻💥 A data-parallel functional programming language

composition

  1. transient. A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state)
  2. nstack. Type-safe, composable microservices for data analytics

crypto

  1. constellation. Peer-to-peer encrypted message exchange
  2. nanochain. A minimal viable blockchain

cryptocurrency

  1. cardano-sl. Cryptographic currency implementing Ouroboros PoS protocol
  2. nanocoin. A simple cryptocurrency implementation, written to illustrate the basic components of a Proof-of-Work based, public distributed ledger.

database

  1. postgrest. REST API for any Postgres database
  2. hasql. An efficient PostgreSQL driver with a flexible mapping API

deep-learning

  1. grenade. Deep Learning in Haskell
  2. DeepDarkFantasy. A Programming Language for Deep Learning
  3. LambdaNet. Purely functional artificial neural network library implemented in Haskell.

dependent-types

  1. agda. Agda is a dependently typed programming language / interactive theorem prover.
  2. mezzo. A Haskell library for typesafe music composition

development-tools

  1. intero. Complete interactive development program for Haskell
  2. haskell-tools. Developer tools for Haskell

dsl

  1. Tidal. Pattern language
  2. DeepDarkFantasy. A Programming Language for Deep Learning
  3. selda. A type-safe, high-level SQL library for Haskell
  4. nstack. Type-safe, composable microservices for data analytics

elm

  1. elm-compiler. Compiler for Elm, a functional language for reliable webapps.
  2. elm-format. elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
  3. elm-platform. Bundle of all core development tools for Elm
  4. elm-package. Command line tool to share Elm libraries
  5. elm-repl. A REPL for Elm
  6. hercules. Continuous Integration for Nix projects

framework

  1. Spock. Another Haskell web framework for rapid development
  2. brick. A declarative terminal UI programming library written in Haskell
  3. Rome. A cache tool for Carthage

frp

  1. reflex.
  2. reactive-banana. Library for functional reactive programming in Haskell.
  3. haskanoid. A breakout game in Haskell using SDL and FRP, with Wiimote and Kinect support.
  4. Yampa. Domain-specific language embedded in Haskell for programming hybrid (mixed discrete-time and continuous-time) systems. Yampa is based on the concepts of Functional Reactive Programming (FRP) and is structured using arrow combinators.

functional

  1. luna. Hybrid textual and visual functional programming.
  2. Carp. A statically typed lisp, without a GC, for real-time applications.
  3. Spock. Another Haskell web framework for rapid development

functional-programming

  1. Carp. A statically typed lisp, without a GC, for real-time applications.
  2. write-you-a-haskell. Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
  3. eta. The Eta Programming Language, a dialect of Haskell on the JVM
  4. wiwinwlh. What I Wish I Knew When Learning Haskell
  5. codeworld. Educational computer programming environment using Haskell
  6. DeepDarkFantasy. A Programming Language for Deep Learning
  7. FuncShell. Improve your shell by making it functional through Haskell! (An update to Awkward)
  8. csound-expression. Haskell Framework for Electronic Music
  9. gifcurry. 👉 Your open source video to GIF maker built with Haskell.

game

  1. LambdaHack. Haskell game engine library for roguelike dungeon crawlers; try out the browser version at
  2. Yampa. Domain-specific language embedded in Haskell for programming hybrid (mixed discrete-time and continuous-time) systems. Yampa is based on the concepts of Functional Reactive Programming (FRP) and is structured using arrow combinators.

gamedev

  1. Carp. A statically typed lisp, without a GC, for real-time applications.
  2. LambdaHack. Haskell game engine library for roguelike dungeon crawlers; try out the browser version at

ghc

  1. haste-compiler. A GHC-based Haskell to JavaScript compiler
  2. haskell-ide-engine. The engine for haskell ide-integration. Not an IDE
  3. haskell-tools. Developer tools for Haskell

ghcjs

  1. miso. 🍜 A tasty Haskell front-end framework
  2. codeworld. Educational computer programming environment using Haskell
  3. react-haskell. React bindings for Haskell
  4. markup.rocks. Pandoc based document editor and converter in your browser.
  5. haskanoid. A breakout game in Haskell using SDL and FRP, with Wiimote and Kinect support.

gifs

  1. givegif. GIFs on the command line
  2. gifcurry. 👉 Your open source video to GIF maker built with Haskell.

gui

  1. threepenny-gui. GUI framework that uses the web browser as a display.
  2. gifcurry. 👉 Your open source video to GIF maker built with Haskell.

hackage

  1. cabal. Official upstream development repository for Cabal and cabal-install
  2. hackage-server. Hackage-Server: A Haskell Package Repository
  3. acid-state. Add ACID guarantees to any serializable Haskell data structure

haskell-library

  1. LambdaNet. Purely functional artificial neural network library implemented in Haskell.
  2. mezzo. A Haskell library for typesafe music composition
  3. selda. A type-safe, high-level SQL library for Haskell
  4. csound-expression. Haskell Framework for Electronic Music

hindley-milner

  1. write-you-a-haskell. Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
  2. articles. Miscellaneous articles. The readme is the table of contents.

install

  1. elm-platform. Bundle of all core development tools for Elm
  2. elm-package. Command line tool to share Elm libraries

ios

  1. Rome. A cache tool for Carthage
  2. Yampa. Domain-specific language embedded in Haskell for programming hybrid (mixed discrete-time and continuous-time) systems. Yampa is based on the concepts of Functional Reactive Programming (FRP) and is structured using arrow combinators.

javascript

  1. purescript. A strongly-typed language that compiles to Javascript
  2. haste-compiler. A GHC-based Haskell to JavaScript compiler
  3. miso. 🍜 A tasty Haskell front-end framework
  4. hledger. The hledger command-line/curses/web accounting tool, a Haskell rewrite of ledger.
  5. threepenny-gui. GUI framework that uses the web browser as a display.
  6. sjsp. Simple JavaScript Profiler

json

  1. Son. A minimal subset of JSON for machine-to-machine communication
  2. jl. Functional sed for JSON

language

  1. luna. Hybrid textual and visual functional programming.
  2. Carp. A statically typed lisp, without a GC, for real-time applications.
  3. haste-compiler. A GHC-based Haskell to JavaScript compiler
  4. Tidal. Pattern language
  5. kitten. A statically typed concatenative programming language.
  6. futhark. 💥💻💥 A data-parallel functional programming language
  7. hython. Haskell-powered Python 3 interpreter

ledger

  1. nanocoin. A simple cryptocurrency implementation, written to illustrate the basic components of a Proof-of-Work based, public distributed ledger.
  2. hledger. The hledger command-line/curses/web accounting tool, a Haskell rewrite of ledger.

library

  1. hledger. The hledger command-line/curses/web accounting tool, a Haskell rewrite of ledger.
  2. LambdaHack. Haskell game engine library for roguelike dungeon crawlers; try out the browser version at

linux

  1. haskus-system. System programming in Haskell on top of Linux
  2. taskell. A command line kanban board/task manager written in Haskell
  3. haskanoid. A breakout game in Haskell using SDL and FRP, with Wiimote and Kinect support.
  4. gifcurry. 👉 Your open source video to GIF maker built with Haskell.

llvm

  1. accelerate. Embedded language for high-performance array computations
  2. llvm-hs. Haskell bindings for LLVM

machine-learning

  1. grenade. Deep Learning in Haskell
  2. hakaru. A probabilistic programming language

macos

  1. taskell. A command line kanban board/task manager written in Haskell
  2. Rome. A cache tool for Carthage

markdown

  1. patat. Terminal-based presentations using Pandoc
  2. markup.rocks. Pandoc based document editor and converter in your browser.
  3. taskell. A command line kanban board/task manager written in Haskell

nix

  1. miso. 🍜 A tasty Haskell front-end framework
  2. hercules. Continuous Integration for Nix projects

p2p

  1. constellation. Peer-to-peer encrypted message exchange
  2. nanochain. A minimal viable blockchain

package-manager

  1. aura. A secure, multilingual package manager for Arch Linux and the AUR.
  2. Rome. A cache tool for Carthage

pandoc

  1. patat. Terminal-based presentations using Pandoc
  2. markup.rocks. Pandoc based document editor and converter in your browser.
  3. pandoc-crossref. pandoc filter for cross-references

peer-to-peer

  1. constellation. Peer-to-peer encrypted message exchange
  2. nanochain. A minimal viable blockchain

postgresql

  1. postgrest. REST API for any Postgres database
  2. hasql. An efficient PostgreSQL driver with a flexible mapping API
  3. selda. A type-safe, high-level SQL library for Haskell

prelude

  1. foundation. Empire strikes back
  2. protolude. A sensible starting Prelude template.

programming-language

  1. lamdu. lamdu - towards the next generation IDE
  2. unison. Next generation programming platform, currently in development
  3. kitten. A statically typed concatenative programming language.
  4. agda. Agda is a dependently typed programming language / interactive theorem prover.

python

  1. hython. Haskell-powered Python 3 interpreter
  2. nstack. Type-safe, composable microservices for data analytics

quickcheck

  1. tasty. Modern and extensible testing framework for Haskell
  2. haskell-hedgehog. Hedgehog will eat all your bugs.

repl

  1. Carp. A statically typed lisp, without a GC, for real-time applications.
  2. elm-platform. Bundle of all core development tools for Elm
  3. elm-repl. A REPL for Elm

scheme

  1. scheme. Write You a Scheme
  2. husk-scheme. A practical implementation of the Scheme programming language for the Haskell Platform.

sdl

  1. haskanoid. A breakout game in Haskell using SDL and FRP, with Wiimote and Kinect support.
  2. LambdaHack. Haskell game engine library for roguelike dungeon crawlers; try out the browser version at
  3. sdl2. Haskell bindings to the SDL2 library
  4. vado. A web browser engine written in Haskell
  5. Yampa. Domain-specific language embedded in Haskell for programming hybrid (mixed discrete-time and continuous-time) systems. Yampa is based on the concepts of Functional Reactive Programming (FRP) and is structured using arrow combinators.

sdl2

  1. haskanoid. A breakout game in Haskell using SDL and FRP, with Wiimote and Kinect support.
  2. vado. A web browser engine written in Haskell

server

  1. postgrest. REST API for any Postgres database
  2. wire-server. 🇪🇺 Wire back-end services
  3. Spock. Another Haskell web framework for rapid development

testing

  1. tasty. Modern and extensible testing framework for Haskell
  2. haskell-hedgehog. Hedgehog will eat all your bugs.

tui

  1. hledger. The hledger command-line/curses/web accounting tool, a Haskell rewrite of ledger.
  2. brick. A declarative terminal UI programming library written in Haskell
  3. matterhorn. A terminal client for the Mattermost chat system

tutorial

  1. kaleidoscope. Haskell LLVM JIT Compiler Tutorial
  2. scheme. Write You a Scheme
  3. nanochain. A minimal viable blockchain

type-theory

  1. write-you-a-haskell. Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
  2. agda. Agda is a dependently typed programming language / interactive theorem prover.
  3. cubicaltt. Experimental implementation of Cubical Type Theory

web

  1. haste-compiler. A GHC-based Haskell to JavaScript compiler
  2. transient. A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state)
  3. Spock. Another Haskell web framework for rapid development
  4. haskanoid. A breakout game in Haskell using SDL and FRP, with Wiimote and Kinect support.
  5. vado. A web browser engine written in Haskell

yampa

  1. haskanoid. A breakout game in Haskell using SDL and FRP, with Wiimote and Kinect support.
  2. Yampa. Domain-specific language embedded in Haskell for programming hybrid (mixed discrete-time and continuous-time) systems. Yampa is based on the concepts of Functional Reactive Programming (FRP) and is structured using arrow combinators.