haskell-companies VS JML-Schlussfolgerer

Compare haskell-companies vs JML-Schlussfolgerer and see what are their differences.

haskell-companies

A gently curated list of companies using Haskell in industry (by erkmos)

JML-Schlussfolgerer

Software suite to parse java source code and then processing the output to produce JML syntax for the parsed java source code. (by tareksoliman26072020)
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
haskell-companies JML-Schlussfolgerer
25 1
903 4
- -
4.2 10.0
about 2 months ago over 2 years ago
Haskell
The Unlicense BSD 3-clause "New" or "Revised" License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.

haskell-companies

Posts with mentions or reviews of haskell-companies. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-04-01.

JML-Schlussfolgerer

Posts with mentions or reviews of JML-Schlussfolgerer. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-03-03.

What are some alternatives?

When comparing haskell-companies and JML-Schlussfolgerer you can also consider the following projects:

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