nix-community / all-cabal-json Goto Github PK
View Code? Open in Web Editor NEWA repository containing all of the cabal files for all public Haskell packages converted to json [maintainer=@DavHau]
License: MIT License
A repository containing all of the cabal files for all public Haskell packages converted to json [maintainer=@DavHau]
License: MIT License
On a regular linux based system there are 536063 files in this repository.
A mac or windows, which usually "ignores" casing, this repo only contains 535855 in the worktree.
The following was used on a x86_64-linux
NixOS to confirm my suspicion after I had problems using D2N on a Mac due to narHash mismatch.
$ find . | awk '{print tolower($0)}' | sort | wc -l
536063
$ find . | awk '{print tolower($0)}' | sort -u | wc -l
535855
This leads us to a situation where we can't use fetchFromGitHub
without alternating hashes programmatically. And it is hard to get all required hashes when one doesn't have access to linux and MacOS.
We can not use this as a flake input at all if the flake shall support Linux and Mac, eg. in dream 2 nix.
I have not checked the other branches. Nor did I check which files actually get lost and if this is valuable information getting lost or insignificant.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.