illacceptanything
100LinesOfCode
Our great sponsors
illacceptanything | 100LinesOfCode | |
---|---|---|
3 | 2 | |
1,946 | 626 | |
0.2% | - | |
9.4 | 4.8 | |
3 months ago | 6 days ago | |
Ruby | Jupyter Notebook | |
MIT License | GNU General Public License v3.0 only |
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.
illacceptanything
-
At face value, [GitHub stars] are something of a vanity metric, with no more objectivity than a Facebook "Like" or a Twitter retweet. Yet they influence serious, high stakes decisions […]
My most starred repo is https://github.com/illacceptanything/illacceptanything/
- Terraform is currently not reviewing community pull requests
-
Some thoughts on dependent types
As a next step, let's filter everything from the table with a forall. That's because, when we get a type back from a validator with a forall in it, we have to treat it like a blob because it could be anything. All we know is that it exists, and folks will often call it an existential type. That means we can only pass the blob to functions that accept anything. Some examples are \x -> x (the identity function) and _ -> 5 (a function that returns 5). In our microservice, we're not going to get very far with either of those functions. The table now becomes:
100LinesOfCode
What are some alternatives?
codeit - Mobile code editor connected to Git.
rihal-challenges - This repository is used to house Rihal's challenges for hiring.
pullmetry - PullKeeper - app for getting relevant stats about PRs and reviewers
capacitor - Build cross-platform Native Progressive Web Apps for iOS, Android, and the Web ⚡️
HACKTOBERFEST2021_PATTERN - 😎A Hacktoberfest-2021 Contribution Repository For Beginners😎... Build Any Pattern You Like...In Any Language❤❤❤
hello-world - Hello World code in different languages. You can add new hello world codes too!
dependabot-core - 🤖 Dependabot's core logic for creating update PR's.
Computer-Science-Resources - This repository aims at providing the best resources for computer science students at one place. So they don't have to waste their precious time finding good resources.
codecrumbs - Learn, design or document codebase by putting breadcrumbs in source code. Live updates, multi-language support and more.
web-playground - Code samples using web technology
screencasts - Source code for various screencasts
purescript-vec-dt - Dependently-typed vectors in purescript