Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Haskell Notation Open Source Projects

Open source projects categorized as Haskell Notation
Categories > Notation
Egison ⭐ 859
The Egison Programming Language
total releases 190most recent commit a year ago
Son ⭐ 358
Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canon
most recent commit 4 years ago
Burrido ⭐ 135
Do-notation for JavaScript
dependent packages 3total releases 11most recent commit 7 years agonpm burrido} Downloads
Scientific ⭐ 69
Arbitrary-precision floating-point numbers represented using scientific notation
total releases 48most recent commit a year ago
Category Syntax ⭐ 41
do-notation for Category and "Arrow without arr"
most recent commit 7 years ago
Do Notation ⭐ 40
Ⓜ️ generalized do-notation for monads and indexed monads
total releases 3most recent commit 3 years ago
Reprinter ⭐ 26
Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
total releases 3most recent commit 3 years ago
Gaia ⭐ 23
An experiment in functional interface design
most recent commit 7 years ago
Haskellcheatsheet ⭐ 15
A reference sheet for the basics of the mind-expanding Haskell language ^_^
most recent commit 4 years ago
Do Notation ⭐ 14
The Haskell’s do notation brought to Rust
total releases 4most recent commit 2 years ago
Heyting Algebras ⭐ 13
Heyting Algebras in Haskell
most recent commit a year ago
Claferig ⭐ 12
Support for reasoning on Clafer models by instantiation and counter example generation.
total releases 15most recent commit 5 months ago
Each ⭐ 11
total releases 3most recent commit 4 years ago
Codeforces Haskell ⭐ 8
problems from codeforces solved in haskell
most recent commit 5 years ago
Temporal Csound ⭐ 8
making music with text
total releases 12most recent commit 9 years ago
Monadicjs ⭐ 7
JavaScript monad library with do-notation
most recent commit 7 years ago
Deepcontrol ⭐ 7
A Haskell library that provides much deep-level programming style or notation on Applicative and Monad
total releases 17most recent commit 8 years ago
Likely Music ⭐ 7
experimental application for probabilistic music composition
most recent commit a year ago
Abcnotation ⭐ 7
EXPERIMENTAL abcnotation
total releases 10most recent commit 8 years ago
Coq Prelude ⭐ 6
General-purpose monad typeclass hierarchy for Coq
most recent commit 4 years ago
Coffee Monad ⭐ 6
dependent packages 2total releases 15most recent commit 8 years agonpm coffee-monad} Downloads
Desugar ⭐ 6
Desugar Haskell's do-notation into monadic operators
most recent commit 5 years ago
Arrowp ⭐ 5
Modern fork of the Arrow notation preprocessor
total releases 6most recent commit 4 years ago
The 2 Most Depended On Haskell Notation Open Source Projects
Burrido ⭐ 135
Do-notation for JavaScript
dependent packages 3total releases 11latest release May 22, 2016most recent commit 7 years agonpm burrido} Downloads
Coffee Monad ⭐ 6
dependent packages 2total releases 15latest release December 03, 2014most recent commit 8 years agonpm coffee-monad} Downloads
The 10 Latest Releases In Haskell Notation Open Source Projects
Egison ⭐ 859
The Egison Programming Language
total releases 190latest release December 18, 2021most recent commit a year ago
Scientific ⭐ 69
Arbitrary-precision floating-point numbers represented using scientific notation
total releases 48latest release May 20, 2021most recent commit a year ago
Reprinter ⭐ 26
Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
total releases 3latest release April 29, 2021most recent commit 3 years ago
Do Notation ⭐ 14
The Haskell’s do notation brought to Rust
total releases 4latest release January 08, 2021most recent commit 2 years ago
Each ⭐ 11
total releases 3latest release November 30, 2018most recent commit 4 years ago
Do Notation ⭐ 40
:m: generalized do-notation for monads and indexed monads
total releases 3latest release September 09, 2018most recent commit 3 years ago
Arrowp ⭐ 5
Modern fork of the Arrow notation preprocessor
total releases 6latest release August 26, 2017most recent commit 4 years ago
Claferig ⭐ 12
Support for reasoning on Clafer models by instantiation and counter example generation.
total releases 15latest release May 22, 2017most recent commit 5 months ago
Abcnotation ⭐ 7
EXPERIMENTAL abcnotation
total releases 10latest release March 29, 2017most recent commit 8 years ago
Burrido ⭐ 135
Do-notation for JavaScript
dependent packages 3total releases 11latest release May 22, 2016most recent commit 7 years agonpm burrido} Downloads
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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