first-class-families
tttool
Our great sponsors
first-class-families | tttool | |
---|---|---|
1 | 5 | |
84 | 634 | |
- | 1.4% | |
6.2 | 3.7 | |
16 days ago | 7 months ago | |
Haskell | Haskell | |
MIT License | MIT License |
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.
first-class-families
-
Foldr type level implementation
First class families is the approach I'm familiar with, although it can feel a bit heavy-handed. There's a chapter in Thinking with Types about how to use fcf.
tttool
- Milde interessant: Auf dem Spielglobus meines Kindes existiert das Land Taiwan nicht.
-
Tochter hat einen Tip Toi geschenkt bekommen. Ist auch für infantile Väter ein tolles Spielzeug!
Links: https://tttool.entropia.de/ https://tttool.entropia.de/#was-kann-ich-hier-machen
-
Google no longer producing high quality search results
I run https://github-wiki-see.page. Please read the about page link at the bottom or visit https://github-wiki-see.page for an explanation. I put it up after realizing my GitHub wiki contributions weren't available via Google.
GitHub blocks https://github.com/entropia/tip-toi-reveng/wiki/Languages and many other wikis from being indexed. In the case of the page you linked, GitHub serves the content with "X-Robots-Tag: none". The content of that page does not exist in Google. You can see the header by looking at the Network tab in Chrome while loading the page in incognito mode.
If you have any other questions or suggestions, please let me know.
- Onde posso encontrar livros áudio infantis em Português (EU)?
What are some alternatives?
generic-data - Generic data types in Haskell, utilities for GHC.Generics
dewdrop - Find gadgets for return-oriented programming on x86
hyperloglogplus - Haskell implementation of HyperLogLog++ & MinHash for efficient cardinality and intersection estimation
ramus - 📶 - Elm style FRP library for Haskell
parconc-examples - Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
no-role-annots - Role annotations without -XRoleAnnotations
nixfromnpm - Convert NPM packages into nix expressions
ublacklist - Blocks specific sites from appearing in Google search results
chart-unit - Unital Charts
hdiff - Hash-based Diffing for AST's
d-bus - strongly typed dbus client library