Awesome Open Source

Programming Languages

Search results for haskell programming

259 search results found

Unison ⭐ 5,446

A friendly programming language from the future

Awesome Functional Programming ⭐ 3,394

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

Functional Programming ⭐ 2,568

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

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

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

The Lux Programming Language

Kitten ⭐ 1,020

A statically typed concatenative systems programming language.

Learn4haskell ⭐ 946

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

Haskell-style functional programming language running on Erlang VM.

Awesome Functional Programming ⭐ 914

👽 A curated list of functional programming resources such as blog posts, communities, discussion topics, wikis and more.

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

Awesome Answers ⭐ 682

Curated list of inspiring and thoughtful answers given on stackoverflow, quora, etc.

Emacs Haskell Tutorial ⭐ 653

Tutorial on setting up Emacs to do Haskell programming

Viskell ⭐ 626

Visual programming meets Haskell

Up To Date Real World Haskell ⭐ 604

I'm trying to update the Real World Haskell book

Jiajun的编程随想

Fp101x Content 2015 ⭐ 486

FP101x - Functional Programming MOOC 2015 Content Repository

Deepdarkfantasy ⭐ 464

A Programming Language for Deep Learning

Category Theory Programmers ⭐ 452

Category theory in the context of (functional) programming

Scalaz And Cats ⭐ 449

Usage examples and benchmarks between Scalaz and Cats (w/ Haskell ground-truth).

Hpffp Resources ⭐ 448

Haskell Programming From First Principles - Follow-up Resources

Whyhaskellmatters ⭐ 424

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.

Functional Reactive Programming domain-specific language for efficient hybrid systems

Monad Bayes ⭐ 389

A library for probabilistic programming in Haskell.

Awesome Haskell ⭐ 374

A curated list of awesome Haskell frameworks, libraries and software.

Fp Resources ⭐ 350

Functional programming great resources

Haskus System ⭐ 342

System programming in Haskell on top of Linux

Cedille ⭐ 305

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Programming ⭐ 301

Code a program in a language of your choice.

Parconc Examples ⭐ 300

Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"

Sdl2 Examples ⭐ 299

SDL2 examples, for 25+ different programming languages

A probabilistic programming language

Gi Gtk Declarative ⭐ 282

Declarative GTK+ programming in Haskell

Haskell Study Startup ⭐ 267

Launch your own Haskell study group. Now.

A modern tool for literate programming

Awesome Idris ⭐ 262

𝛌 Awesome Idris resources

Haskanoid ⭐ 262

A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.

Haskellerz ⭐ 213

Notes and files from HaskellerZ meetups.

The Ermine Programming Language - Join us on irc.freenode.net #ermine

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

Awesome Haskell ⭐ 177

A curated list of amazingly awesome Haskell articles and talks for beginners.

Generics Sop ⭐ 157

Generic Programming using True Sums of Products

A book on programming languages, using Haskell

Shentong ⭐ 148

A Haskell implementation of the Shen programming language.

Haskellmooc ⭐ 141

"Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October 2016

Haskellweekly ⭐ 140

Publishes curated news about the Haskell programming language.

Haskell Game Programming ⭐ 138

A central repository of Haskell Game Programming resources, put together by Keera Studios

Book Reviews ⭐ 137

Papers_i_love ⭐ 134

Papers I love :)

Recursion Drill ⭐ 123

Drill to study recursive programming in Haskell

Haskell Learning ⭐ 122

Another opinionated list of resources for learning Haskell, from absolute (programming) beginner level to advanced.

Caledon ⭐ 121

higher order dependently typed logic programing

Concise Cheat Sheets ⭐ 108

Cheat Sheets for programming languages and tools

Find Work ⭐ 108

Curated list of websites and resources to find work programming

Helloworlds ⭐ 101

Hello-World program in most programming languages

Lambda Lantern ⭐ 97

🧙 A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.

Haskellweekly.github.io ⭐ 93

A free weekly newsletter about the Haskell programming language.

The Ntha Programming Language

An interpreter of Hagino's Categorical Programming Language (CPL).

Automates certain common tasks that you do during programming competitions

Linear Algebra of Programming - Algebraic Matrices in Haskell

Lets Program ⭐ 75

Let's program! Get into programming writing a simple game.

A continuation-based backtracking logic programming monad

Awesome Cs ⭐ 72

Uma lista revisada de recursos práticos e acadêmicos para estudantes de Ciência da Computação.

Practical functional programming in JavaScript

Make a lambda calculus.

Polyglot Euler ⭐ 69

📜 Project Euler solutions in various programming languages

Declarative Programming Streams ⭐ 67

Active streaming declarative programmers. See who's online at the following URL:

Real_world_frege ⭐ 67

Examples of the book "Real World Haskell" in the Frege programming language

Digraphs With Text ⭐ 65

Distributed Closure ⭐ 64

Serializable closures for distributed programming.

Simplexhc ⭐ 64

compiler with polyhedral optmization for a lazy functional programming language

A library for programming with Algebraic Effects in F#

Etlas, the build tool and package manager for the Eta programming language

Awesome Eta ⭐ 59

⭐ Useful resources for the Eta programming language

Frp Guides ⭐ 58

A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).

Study Haskell Nyc ⭐ 58

Information about the "Haskell Programming from First Principles" reading group in NYC.

Strict Haskell-like programming language that compiles to LLVM

The Spire Programming Language

Intellij Eta ⭐ 52

An Intellij Plugin for the Eta programming language

Mooc Course Description ⭐ 50

Teaching Fp ⭐ 45

Techniques, advice, and anecdotes about how to teach Functional Programming

Grassmudhorse ⭐ 45

An implementation of GrassMudHorse programming language in Haskell

The Scotch programming language

A simplified model of programming in autosar

Functionalprogrammingpatterns ⭐ 41

Slides and code for the presentation "Functional Programming Patterns for Mere Mortals"

Scrap Your Boilerplate generic programming library in Haskell

A programming language supporting most of both declarative and imperative programming

Hs Logic ⭐ 41

A simple library for Haskell that allows relational programming.

Get going with Haskell ASAP

Hgamer3d ⭐ 39

A tool to use Haskell for game programming.

small programming language. pls be gentle.

Haskell High Performance Programming ⭐ 39

Haskell high Performance Programming, published by Packt

My toy programming languages

Quiverjs ⭐ 37

Functional programming for the web

Purescript Typelevel Eval ⭐ 37

Higher order functional programming in PureScript's type system

The Cobalt programming language

Awesome Haskell Videos ⭐ 37

A collection of awesome Haskell videos. Inspired by awesome projects line.

Cs316 19 ⭐ 36

The 2019/2020 edition of Strathclyde's CS316 Functional Programming course

Cs Resources ⭐ 36

Curated Computer Science and Programming Resource Guide

Related Searches

Python Programming (3,002)

Javascript Programming (1,991)

C Plus Plus Programming (1,812)

Java Programming (1,806)

C Programming (1,543)

Haskell Ghc (1,289)

Types Haskell (1,028)

Course Programming (949)

Programming Book (889)

Haskell Language (853)

1-100 of 259 search results

Privacy | About | Terms | Follow Us On Twitter

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