|19 days ago||4 months ago|
|GNU General Public License v3.0 only||LicenseRef-PublicDomain|
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.
morloc-project/morloc: A typed, polyglot, functional language
1 project | reddit.com/r/functionalprogramming | 29 Jul 2021
Hacker News top posts: Jul 29, 2021
1 project | reddit.com/r/hackerdigest | 29 Jul 2021
Morloc: Foreign languages unified under common functional type system\ (5 comments)
Morloc: Foreign languages unified under common functional type system
2 projects | news.ycombinator.com | 29 Jul 2021
3 projects | reddit.com/r/haskell | 10 Sep 2021
Nice! Thanks for including a comparison with my package typelevel-rewrite-rules. Since my package indeed struggles with infinite loops introduced by self-triggering rewrite rules, I would like to better understand why your package doesn't suffer from that same problem.
Transpiling to GHC Core language
4 projects | reddit.com/r/haskell | 30 Apr 2021
When writing a typechecker plugin, you can eliminate constraints from the user's program by providing an implementation of the corresponding dictionary. The way you provide that dictionary to ghc is by providing a core expression; for example, this evCast futureDict co expression has type EvTerm, whose first constructor takes an EvExpr, which is a synonym for CoreExpr.
[GHC Proposals] GHC Maintainer preview
4 projects | reddit.com/r/haskell | 3 Apr 2021
Until then, I guess we can simply poll. Here's a GitHub Action I wrote today which checks if the latest report for a given package includes a failure: https://github.com/gelisam/typelevel-rewrite-rules/blob/main/.github/workflows/check-hackage-matrix.yml
What are some alternatives?
x86-64bit - Runtime code generation for x86 64 bit machine code
haskell-generate - Type-safe library for generating haskell source code
harpy - Runtime code generation for x86 machine code
sugarhaskell - Library-based Language Extensibility
Bond - Bond is a cross-platform framework for working with schematized data. It supports cross-language de/serialization and powerful generic mechanisms for efficiently manipulating data. Bond is broadly used at Microsoft in high scale services.
llvm-general-quote - Use QuasiQuotation with llvm-general
llvm-pretty - An llvm pretty printer inspired by the haskell llvm binding
llvm-pretty-bc-parser - Parser for the llvm bitcode format
llvm-hs - Haskell bindings for LLVM
dataflow - Render graphs using a declarative markup.
flexible-defaults - Template Haskell system for implementing type classes with complex default-implementation rules
llvm - Haskell bindings to the LLVM compiler infrastructure project.