This repository is part of the source code of Wire. You can find more information at wire.com or by contacting opensource@wire.com.You can find the published source code at github.com/wireapp/wire.
wire server haskellpatat (Presentations Atop The ANSI Terminal) is a small tool that allows you to show presentations using only an ANSI terminal. It does not require ncurses. You can also find generic linux binaries here: https://github.com/jaspervdj/patat/releases.
pandoc haskell presentation markdown slideshow slidesThe HaLVM is (C) 2008 Galois, Inc., and distributed under a standard, three-clause BSD license. Please see the file LICENSE, distributed with this software, for specific terms and conditions. The Haskell Lightweight Virtual Machine, or HaLVM, is a port of the Glasgow Haskell Compiler toolsuite to enable developers to write high-level, lightweight virtual machines that can run directly on the Xen hypervisor.
haskell xen lightweight-virtual-machines xen-hypervisor halvmA.W.E.S.O.M. O is an extensive list of interesting open source projects written in various languages. If you are interested in Open Source and are considering to join the community of Open Source developers, then here you might find a project that will suit you.
awesome ocaml elixir haskell emacs-lisp awesomo list open-source typescript dev lisp projectsPlease see the homepage for Intero for Emacs. To enable intero in all haskell-mode buffers by default, enable intero-global-mode, by using M-x customize or by adding (intero-global-mode 1) to your Emacs start-up files.
haskell emacs development-toolsThis project aims to be the universal interface to a growing number of Haskell tools, providing a full-featured and easy to query backend for editors and IDEs that require Haskell-specific functionality. We are currently focusing on using the Language Server Protocol as the interface via which we talk to clients.
ide haskell haskell-ide lsp language-server-protocol ghcThe canonical upstream repository is located at https://github.com/haskell/cabal. Prebuilt binary releases can be obtained from https://www.haskell.org/cabal/download.html. The cabal-install binary download for your platform should contain the cabal executable.
cabal haskell hackageThis is an unofficial PDF version of "Category Theory for Programmers" by Bartosz Milewski, converted from his blogpost series. Conversion is done by scraping the blog with Mercury Web Parser to get a clean HTML content, modifying and tweaking with Beautiful Soup, finally, converting to LaTeX with Pandoc. See scraper.py for additional information.
haskell category-theory functional-programming pdf latex cppIf you want to submit a fix for a typo or fix for code then just submit a pull request, and I'm happy to recompile the resulting document. If for some reason you want to compile the HTML page yourself, then you'll need to compile the preprocessor against Pandoc and then run make to build the page.
functional-programming-examples functional-programming examples article-series haskellWell, one of the best ways to learn something new is to watch how it is done by others. Feel free to create an issue.
awesome cpp nodejs typescript vbnet r matlab haskellA small strongly typed programming language with expressive types that compiles to JavaScript, written in and inspired by Haskell.
haskell purescript typed-language alt-jsMiso is a small "isomorphic" Haskell front-end framework for quickly building highly interactive single-page web applications. It features a virtual-dom, diffing / patching algorithm, attribute and property normalization, event delegation, event batching, SVG, Server-sent events, Websockets, type-safe servant-style routing and an extensible Subscription-based subsystem. Inspired by Elm, Redux and Bobril. Miso is pure by default, but side effects (like XHR) can be introduced into the system via the Effect data type. Miso makes heavy use of the GHCJS FFI and therefore has minimal dependencies. Miso can be considered a shallow embedded domain-specific language for modern web programming. To get started quickly building applications, we recommend using the stack or nix package managers. Obtaining GHCJS is required as a prerequisite. stack and nix make this process easy, if you're using cabal we assume you have obtained GHCJS by other means.
ghcjs haskell virtual-dom miso ramen ui nixAtom-Beautify respects the core.telemetryConsent configuration option from Atom editor. If you do not wish to have usage data sent to Google Analytics then please set core.telemetryConsent to no or undecided option before using Atom-Beautify. See Anonymous Analytics section of docs for details. Thank you. Atom-Beautify is going to be completely rewritten with Unibeautify at its core! See unibeautify branch for work in progress and Issue #1174.
atom beautifier formatter coffeescript beautify prettifier prettify js-beautify format pretty html handlebars mustache xml css json sass scss less sql markdown typescript cpp c-sharp coldfusion uncrustify apex pawn vala erb editorconfig yaml front-matter jekyll marko svg elm arduino crystal csv ejs gherkin haskell hindent brittany jade jsx latex ocaml puppet riot.js spacebars swig tss twig visualforce xtemplate autopep8 coffee-formatter coffee-fmt clang-format dfmt elm-format html-beautifier csscomb gherkin-formatter gofmt latex-beautify fortran-beautifier jscs-fixer eslint eslint-fixer lua-beautifier ocp-indent perltidy php-cs-fixer phpcbf pretty-diff pug-beautify puppet-lint r remark rubocop ruby-beautify rustfmt sqlformat stylish-haskell tidy-markdown typescript-formatter yapf erl_tidy marko-beautifier vue vue-beautifier sassconvert formatr clojure-beautifier nunjucks ux-markup pybeautifier cljfmt bash beautysh glsl hh_format nginx nginx-beautify golang-template align-yaml goimports terraform terraformfmt tsx prettier verilog emacs-verilog-mode vhdl vhdl-beautifier gn bladeCompiler Explorer is an interactive compiler. The left-hand pane shows editable C, C++, Rust, Go, D, Haskell, Swift and Pascal code. The right, the assembly output of having compiled the code with a given compiler and settings. Multiple compilers are supported, and the UI layout is configurable (thanks to GoldenLayout). There is also an ispc compiler ? for a C variant with extensions for SPMD. You can support this project on Patreon.
c-plus-plus dlang compiler cpp ispc haskellThis dynamic transfer / deployment of arbitrary computations is possible because definitions in Unison are identified by a cryptographic hash of their content, including the hashes of all dependencies (the hash is also "nameless" as it isn't affected by naming of variables). To transfer a computation, we send it to the recipient, and the recipient checks to see if the computation references any unknown hashes. Any unknown hashes are synced to the recipient before the transfer completes and the computation proceeds. If you'd like to learn more about the project, the talk How to write a search engine in 15 lines of code has more of an introduction to the language.
haskell programming-languageDistributed under the terms of the GNU Public license version 3 (or later).
livecoding algorave pattern haskell language dsl kairotic live-codingThis repository is filled with articles I have written and needed online for various reasons. Below is a short summary of the articles available publically; the repository may contain files not mentioned below, in which case they're probably unfinished or otherwise not worth reading at this point. Applicative-Monad proposal (AMP) is the original text of the 2013 Applicative-Monad proposal, which was the starting point for Applicative becoming a superclass of Monad in GHC 7.10.
haskell hindley-milner articles tutorialsGrenade is a composable, dependently typed, practical, and fast recurrent neural network library for concise and precise specifications of complex networks in Haskell. And that's it. Because the types are so rich, there's no specific term level code required to construct this network; although it is of course possible and easy to construct and deconstruct the networks and layers explicitly oneself.
machine-learning deep-neural-networks haskell deep-learning generative-adversarial-networks convolutional-neural-networksA smarter Dockerfile linter that helps you build best practice Docker images. The linter is parsing the Dockerfile into an AST and performs rules on top of the AST. It is standing on the shoulders of ShellCheck to lint the Bash code inside RUN instructions. You can run hadolint locally to lint your Dockerfile.
dockerfile linter shellcheck haskell dockerfile-linter docker
We have large collection of open source products. Follow the tags from
Tag Cloud >>
Open source products are scattered around the web. Please provide information
about the open source projects you own / you use.
Add Projects.