| 1459 | 123 | 47 | 17 days ago | ()/38 | Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository) | | 1541 | 210 | 309 | 3 days ago | ()/37 | easy-to-use command-line/curses/web plaintext accounting tool a modern and largely compatible Haskell rewrite of Ledger | | 1566 | 190 | 74 | a month ago | ()/36 | The core of xmonad, a small but functional ICCCM-compliant tiling window manager | | 1567 | 137 | 24 | 4 years ago | ()/35 | Homomorphic machine learning | | 1651 | 61 | 4 | 7 days ago | ()/34 | lamdu - towards the next generation IDE | | 1674 | 232 | 89 | 4 days ago | ()/33 | Lenses, Folds, and Traversals - Join us on freenode #haskell-lens | | 1689 | 124 | 25 | 5 days ago | ()/32 | :ramen: A tasty Haskell front-end framework |
| 1840 | 206 | 205 | 3 months ago | ()/31 | A wiki using HAppS, pandoc, and git | | 1940 | 205 | 6 | 25 days ago | ()/30 | What I Wish I Knew When Learning Haskell | | 2193 | 139 | 12 | 2 days ago | ()/27 | A collection of awesome Haskell links, frameworks, libraries and software.
| 2208 | 374 | 122 | 8 days ago | ()/26 | A static website compiler library in Haskell | | 2281 | 349 | 93 | a day ago | ()/24 | A RESTful Haskell web framework built on WAI. | 2371 | 171 | 277 | 7 months ago | ()/23 | Haskell to JavaScript compiler, based on GHC | First time contributors are encouraged to get started with the newcomers info (). Please submit issues and patches to GHC's Gitlab instance (). | 2413 | 629 | 9 | 3 days ago | ()/22 | Mirror of the Glasgow Haskell Compiler. | 2435 | 145 | 241 | 1 year, 2 months ago | ()/21 | The Eta Programming Language, a dialect of Haskell on the JVM | | 2462 | 232 | 302 | a day ago | ()/20 | The engine for haskell ide-integration. | 2582 | 161 | 7 | 2 years ago | ()/19 | Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python | | 2828 | 231 | 25 | 3 years ago | ()/18 | Building a modern functional compiler from first principles. | 3082 | 576 | 158 | 10 days ago | ()/17 | Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings. | 3246 | 662 | 701 | a month ago | ()/16 | A Dependently Typed Functional Programming Language | | 3376 | 1069 | 13 | a month ago | ()/15 | Functional Programming Course | | 3425 | 164 | 477 | an hour ago | ()/14 | A friendly programming language from the future | | 3426 | 582 | 189 | 3 months ago | ()/13 | Cryptographic currency implementing Ouroboros PoS protocol | | 3605 | 133 | 90 | 2 days ago | ()/11 | A statically typed lisp, without a GC, for real-time applications.
| 3852 | 307 | 9 | 9 hours ago | ()/10 | A Haskell library that simplifies access to remote data, such as databases or web-based services. | 4108 | 180 | 93 | a day ago | ()/9 | Dockerfile linter, validate inline bash, written in Haskell | | 4645 | 223 | 157 | 7 days ago | ()/8 | Create beautiful diagrams just by typing mathematical notation in plain text. | 6154 | 535 | 205 | 5 months ago | ()/7 | Compiler for Elm, a functional language for reliable webapps. | 6715 | 489 | 256 | 11 days ago | ()/6 | A strongly-typed language that compiles to JavaScript |
7.17 language proof and logic world code#
| 7778 | 421 | 94 | 2 days ago | ()/5 | Parsing, analyzing, and comparing source code across many languages | | 14871 | 728 | 127 | 2 days ago | ()/4 | REST API for any Postgres database | | 18920 | 1637 | 1276 | a day ago | ()/3 | Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events. | 21533 | 1105 | 611 | 29 days ago | ()/1 | ShellCheck, a static analysis tool for shell scripts | |STARS|FORKS|ISSUES|LAST COMMIT|NAME/PLACE|DESCRIPTION| # This is a most popular repository list for Haskell sorted by number of stars
0 kommentar(er)
