Displaying 1 to 20 from 603 results

wire-server - 🇪🇺 Wire back-end services

  •    Haskell

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.

patat - Terminal-based presentations using Pandoc

  •    Haskell

patat (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.

HaLVM - The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

  •    Haskell

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

awesomo - An extensive list of interesting open source projects written in С, C++, Clojure, Lisp, Elixir, Erlang, Elm, Golang, Haskell, JavaScript, Lua, OCaml, Python, R, Ruby, Rust, Scala etc

  •    Rust

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

intero - Complete interactive development program for Haskell

  •    Haskell

Please 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-ide-engine - The engine for haskell ide-integration. Not an IDE

  •    Haskell

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

cabal - Official upstream development repository for Cabal and cabal-install

  •    Haskell

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

milewski-ctfp-pdf - Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  •    TeX

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

haste-compiler - A GHC-based Haskell to JavaScript compiler

  •    Haskell

A compiler to generate JavaScript code from Haskell. It even has a website and a mailing list.

postgrest - REST API for any Postgres database

  •    Haskell

PostgREST serves a fully RESTful API from any existing PostgreSQL database. It provides a cleaner, more standards-compliant, faster API than you are likely to write from scratch. Download the binary (latest release) for your platform.

wiwinwlh - What I Wish I Knew When Learning Haskell

  •    Haskell

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

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

  •    Python

Well, one of the best ways to learn something new is to watch how it is done by others. Feel free to create an issue.

purescript - A strongly-typed language that compiles to Javascript

  •    Haskell

A small strongly typed programming language with expressive types that compiles to JavaScript, written in and inspired by Haskell.

miso - :ramen: A tasty Haskell front-end framework

  •    Haskell

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

atom-beautify - :lipstick: Universal beautification package for Atom editor (:warning: Currently migrating to https://github

  •    CoffeeScript

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

compiler-explorer - Run compilers interactively from your web browser and interact with the assembly

  •    Javascript

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

unison - Next generation programming platform, currently in development

  •    Scala

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

Tidal - Pattern language

  •    Haskell

Distributed under the terms of the GNU Public license version 3 (or later).

articles - Miscellaneous articles. The readme is the table of contents.

  •    Haskell

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

grenade - Deep Learning in Haskell

  •    Haskell

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