100LinesOfCode
illacceptanything
| 100LinesOfCode | illacceptanything | |
|---|---|---|
| 2 | 3 | |
| 631 | 1,947 | |
| - | 0.2% | |
| 4.8 | 9.5 | |
| 15 days ago | 4 days ago | |
| Jupyter Notebook | Ruby | |
| GNU General Public License v3.0 only | 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.
100LinesOfCode
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:
What are some alternatives?
rihal-challenges - This repository is used to house Rihal's challenges for hiring.
codeit - Mobile code editor connected to Git.
capacitor - Build cross-platform Native Progressive Web Apps for iOS, Android, and the Web ⚡️
pullmetry - PullKeeper - app for getting relevant stats about PRs and reviewers
hello-world - Hello World code in different languages. You can add new hello world codes too!
HACKTOBERFEST2021_PATTERN - 😎A Hacktoberfest-2021 Contribution Repository For Beginners😎... Build Any Pattern You Like...In Any Language❤❤❤
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.
dependabot-core - 🤖 Dependabot's core logic for creating update PR's.
web-playground - Code samples using web technology
codecrumbs - Learn, design or document codebase by putting breadcrumbs in source code. Live updates, multi-language support and more.
screencasts - Source code for various screencasts
purescript-vec-dt - Dependently-typed vectors in purescript