Awesome Open Source

Programming Languages

Search results for haskell

8,931 search results found

Shellcheck ⭐ 34,253

ShellCheck, a static analysis tool for shell scripts

Pandoc ⭐ 31,310

Universal markup converter

Graphql Engine ⭐ 30,631

Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.

Rethinkdb ⭐ 26,359

The open-source database for the realtime web.

Postgrest ⭐ 22,003

REST API for any Postgres database

Compiler Explorer ⭐ 15,074

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

Free Books ⭐ 13,546

互联网上的免费书籍

Milewski Ctfp Pdf ⭐ 10,547

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Hadolint ⭐ 9,391

Dockerfile linter, validate inline bash, written in Haskell

The fastest way to develop full-stack web apps with React & Node.js.

Awesomo ⭐ 9,084

Cool open source projects. Choose your project and get involved in Open Source development now.

Semantic ⭐ 8,425

Parsing, analyzing, and comparing source code across many languages

Purescript ⭐ 8,384

A strongly-typed language that compiles to JavaScript

Learnhaskell ⭐ 7,760

Emacs.d ⭐ 6,730

An Emacs configuration bundle with batteries included

Algoxy ⭐ 5,929

Book of Elementary Functional Algorithms and Data structures

Unison ⭐ 5,446

A friendly programming language from the future

Simplex Chat ⭐ 4,853

SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Duckling ⭐ 3,974

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Awesome Wasm Langs ⭐ 3,949

😎 A curated list of languages that compile directly to or have their VMs in WebAssembly

Stack ⭐ 3,932

The Haskell Tool Stack

Frege ⭐ 3,562

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

Cardano Sl ⭐ 3,414

Cryptographic currency implementing Ouroboros PoS protocol

Awesome Functional Programming ⭐ 3,394

Yet another resource for collecting articles, videos etc. regarding functional programming

Idris Dev ⭐ 3,382

A Dependently Typed Functional Programming Language

Extism ⭐ 3,288

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

Kmonad ⭐ 3,258

An advanced keyboard manager

99 Problems ⭐ 3,232

This is an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett.

Xmonad ⭐ 3,191

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Koka language compiler and interpreter

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contribu

Awesome Haskell ⭐ 2,828

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Awesome Advent Of Code ⭐ 2,775

A collection of awesome resources related to the yearly Advent of Code challenge.

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Hledger ⭐ 2,638

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Simula ⭐ 2,629

Linux VR Desktop

Hakyll ⭐ 2,623

A static website compiler library in Haskell

The Eta Programming Language, a dialect of Haskell on the JVM

Yesod ⭐ 2,571

A RESTful Haskell web framework built on WAI.

Wire Server ⭐ 2,570

🇪🇺 Wire back-end services

Functional Programming ⭐ 2,568

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Ghcjs ⭐ 2,560

Haskell to JavaScript compiler, based on GHC

Ihaskell ⭐ 2,538

A Haskell kernel for the Jupyter project.

Haskell Language Server ⭐ 2,507

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

M2cgen ⭐ 2,411

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

Haskell Ide Engine ⭐ 2,388

The engine for haskell ide-integration. Not an IDE

Wiwinwlh ⭐ 2,297

What I Wish I Knew When Learning Haskell

Agda is a dependently typed programming language / interactive theorem prover.

Patat ⭐ 2,237

Terminal-based presentations using Pandoc

Gitit ⭐ 2,114

A wiki using HAppS, pandoc, and git

🍜 A tasty Haskell front-end framework

Awesome Nix ⭐ 2,077

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

Tidal ⭐ 2,043

Pattern language

Corrode ⭐ 2,011

C to Rust translator

Xdg Ninja ⭐ 2,009

A shell script which checks your $HOME for unwanted files and directories.

Asterius ⭐ 1,999

A Haskell to WebAssembly compiler

Ua Parser ⭐ 1,978

A multi-language port of Browserscope's user agent parser.

Dapptools ⭐ 1,965

Dapp, Seth, Hevm, and more

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

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

Lamdu ⭐ 1,834

lamdu - towards the next generation IDE

Project Euler Solutions ⭐ 1,809

Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.

Servant ⭐ 1,759

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

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

Asciichart ⭐ 1,696

Nice-looking lightweight console ASCII line charts ╭┈╯ for NodeJS, browsers and terminal, no dependencies

Scotty ⭐ 1,669

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

A secure, multilingual package manager for Arch Linux and the AUR.

Taskell ⭐ 1,621

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

The Lux Programming Language

Hlearn ⭐ 1,571

Homomorphic machine learning

Cabal ⭐ 1,542

Official upstream development repository for Cabal and cabal-install

Haskell ⭐ 1,540

Haskell bindings for TensorFlow

Dex Lang ⭐ 1,529

Research language for array processing in the Haskell/ML family

Brick ⭐ 1,526

A declarative Unix terminal UI library written in Haskell

Creep ⭐ 1,524

a pretty sweet 4px wide pixel font.

Zsh Git Prompt ⭐ 1,505

Informative git prompt for zsh

Nodebook ⭐ 1,490

Nodebook - Multi-Lang Web REPL + CLI Code runner

A curated list of Coding Style Conventions and Standards.

The Haskell-Scriptable Editor

Plutus ⭐ 1,474

The Plutus language implementation and tools

Grenade ⭐ 1,430

Deep Learning in Haskell

Neuron ⭐ 1,424

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

Hlint ⭐ 1,420

Haskell source code suggestions

Haste Compiler ⭐ 1,390

A GHC-based Haskell to JavaScript compiler

Plutus Pioneer Program ⭐ 1,388

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

Easy dependency management for Nix projects

Haskell Trainings ⭐ 1,353

Haskell 101 and 102: slides and codelabs

Clash Compiler ⭐ 1,336

Haskell to VHDL/Verilog/SystemVerilog compiler

Real World Haskell Cn ⭐ 1,313

《Real World Haskell》中文翻译项目

Pragmatapro ⭐ 1,300

PragmataPro font is designed to help pros to work better

Haskell Mode ⭐ 1,297

Emacs mode for Haskell

Elm Format ⭐ 1,291

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

Plfa.github.io ⭐ 1,285

An introduction to programming language theory in Agda

Implicitcad ⭐ 1,277

A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...

Intellij Haskell ⭐ 1,260

IntelliJ plugin for Haskell

Codeworld ⭐ 1,219

Educational computer programming environment using Haskell

Articles ⭐ 1,212

Miscellaneous articles. The readme is the table of contents.

Vim Lsp Settings ⭐ 1,197

Auto configurations for Language Server for vim-lsp

Related Searches

Haskell Ghc (1,289)

Types Haskell (1,028)

Language Haskell (853)

Haskell Functional Programming (811)

Haskell Monad (681)

Haskell Hackage (574)

Haskell Stack (554)

Haskell Programming (549)

Haskell Bindings (444)

Javascript Haskell (398)

1-100 of 8,931 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.