JML-Schlussfolgerer
haskell-companies
| JML-Schlussfolgerer | haskell-companies | |
|---|---|---|
| 1 | 25 | |
| 4 | 903 | |
| - | - | |
| 10.0 | 4.2 | |
| over 2 years ago | 2 months ago | |
| Haskell | ||
| BSD 3-clause "New" or "Revised" License | The Unlicense |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
JML-Schlussfolgerer
-
I'm totally lost and freaking out about what I'll do for a living after graduating.
Building a Haskell-based tool for automatic and static inference of JML specifications
haskell-companies
- A gently curated list of companies using Haskell in industry
- List of companies that use Haskell
-
Are there any sectors that use Haskell as a main programming language?
There's quite a few finance companies listed on this haskell-companies list (and also 7 different blockchain companies). Standard Chartered presented how they use Haskell at HIW 2021.
-
I'm totally lost and freaking out about what I'll do for a living after graduating.
This is a useful list: https://github.com/erkmos/haskell-companies
-
Book Review: Production Haskell
There are only a handful of industry resources using Haskell, despite being a fully-fledged production language used by dozens of companies.
- Where could I get a job as junior haskell developer?
- Companies abandoning Haskell
-
Where is Haskell used?
Here is the list of companies where Haskell is used.
-
Are there a lot of Haskell jobs in the US?
You can find a list of some companies that use Haskell (some based in the US) here: https://github.com/erkmos/haskell-companies
-
This guy loves Javascript
luck i guess, i had no idea of it's existance until i started working there (as an intern). 4 years later i fucking love it, best thing that ever happened to me. r/haskell has some postings from time to time, and they also made a list of companies that use it. I work in chile btw.
What are some alternatives?
learn-you-a-haskell - โLearn You a Haskell for Great Good!โ by Miran Lipovaฤa
haxl - A Haskell library that simplifies access to remote data, such as databases or web-based services.
InterviewTest2022
wire-server - ๐ช๐บ Wire back-end services
harmtrace - HarmTrace (Harmony Analysis and Retrieval of Music with Type-level Representations of Abstract Chords Entities) is a system for automatic harmony analysis of music.
pyre-check - Performant type-checking for python.
roc - A fast, friendly, functional language. Work in progress!
Carp - A statically typed lisp, without a GC, for real-time applications.
PCG - ๐๐๐ฎ๐ก๐ค๐๐๐ฃ๐๐ฉ๐๐ ๐พ๐ค๐ข๐ฅ๐ค๐ฃ๐๐ฃ๐ฉ ๐๐ง๐๐ฅ๐ โธบ Haskell program and libraries for general phylogenetic graph search
ihp - ๐ฅ The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
atom - A DSL for embedded hard realtime applications.
rainbow - ๐โ the Ethereum wallet that lives in your pocket