Block or report user

Report or block aktowns

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

monet.js - Monadic types library for JavaScript

JavaScript 891 73 Updated Aug 2, 2018

A gently curated list of companies using Haskell in industry

245 41 Updated Aug 17, 2018

Proposed compiler and language changes for GHC and GHC/Haskell

233 107 Updated Aug 17, 2018

A package manager for Idris

Rust 61 3 Updated Aug 18, 2018

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haske…

Haskell 1,924 545 Updated Aug 18, 2018

Run HLint as part of normal compilation

Haskell 42 Updated Aug 11, 2018

API for protocol buffers using modern Haskell language and library patterns.

Haskell 226 42 Updated Aug 17, 2018

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

JavaScript 1,505 89 Updated Aug 15, 2018

A Haskell to WebAssembly compiler

Haskell 273 8 Updated Aug 18, 2018

Universal markup converter

Haskell 12,547 1,458 Updated Aug 18, 2018

ShellCheck, a static analysis tool for shell scripts

Haskell 11,984 611 Updated Aug 18, 2018

The Haskell Tool Stack

Haskell 2,787 610 Updated Aug 17, 2018

Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!

Haskell 1,017 222 Updated Aug 16, 2018

IntelliJ plugin for Haskell

Scala 643 50 Updated Aug 18, 2018
Haskell 12 4 Updated Aug 3, 2018

🚧 WIP Language Server for Scala 🚧

Scala 251 33 Updated Jul 13, 2018

A Scala implementation of parsing with derivatives

Scala 132 11 Updated May 6, 2018

Tegra X1 bootrom exploit

C 592 122 Updated May 18, 2018

A cohesive & pragmatic framework of FP centric Scala libraries

Scala 542 38 Updated Jul 12, 2018

Desugaring scala `for` without implicit `withFilter`s

Scala 235 6 Updated May 5, 2018

Simba Embedded Programming Platform.

C 167 42 Updated Jul 10, 2018

Arduino WiFi library for ESP8266 modules

C++ 225 90 Updated Jul 27, 2018

Shell scripts for organizing and managing ebook collections

Shell 227 19 Updated Jul 4, 2018

Gradle plugin for the Eta programming language

Java 22 4 Updated Aug 10, 2018

An Intellij Plugin for the Eta programming language

Haskell 38 2 Updated Aug 10, 2018

🎨 themer takes a set of colors and generates themes for your apps (editors, terminals, wallpapers, and more).

JavaScript 1,652 30 Updated Apr 29, 2018

Hybrid textual and visual functional programming.

Haskell 2,385 60 Updated Aug 17, 2018

Visual Studio extension for assembly syntax highlighting and code completion in assembly files and the disassembly window

C# 3,763 41 Updated Jun 14, 2018

Micro web-framework for COBOL

COBOL 470 19 Updated Feb 3, 2018

A static, type inferred and embeddable language written in Rust.

Rust 1,367 73 Updated Aug 16, 2018