
Refined GitHub
Board for Github
GitZip
Enhanced GitHub
GitHub Hovercard
GitHub
GitHub File Icon
Octotree
Eve
Jupyter
Deco IDE
iPython
Observable Notebooks
TRYNOVO
BeakerX
uCalc
Refined GitHub
EveNo Refined GitHub videos yet. You could help us improve this page by suggesting one.
Based on our record, Refined GitHub should be more popular than Eve. It has been mentiond 17 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
There's already something like this for GitHub: https://github.com/refined-github/refined-github. - Source: Hacker News / 3 months ago
The refined github extension[0] has some defaults that make the default view a little more tolerable. Past that I can personally recommend Renovate, which supports far more ecosystems and customisation options (like auto merging). [0]: https://github.com/refined-github/refined-github. - Source: Hacker News / 5 months ago
Refined-GitHub > Highlights > Adding comments: https://github.com/refined-github/refined-github#writing-comments. - Source: Hacker News / 9 months ago
Refined GitHub addresses these issues with a lot of improvements that can make GitHub more productive. Some great features that it has:. - Source: dev.to / about 1 year ago
The Refined GitHub extension [1] automatically hides comments that add nothing to the discussion. [2] [1] https://github.com/refined-github/refined-github. - Source: Hacker News / about 1 year ago
The "Eve" programming language / IDE - https://witheve.com It was a series of experiments with new approaches to programming. Kind of reminded me of the research that gave us Smalltalk. It would have been interesting to see where they went with it, but they wound up the project. - Source: Hacker News / 9 months ago
Glad someone found it useful! It's at least represents a more fleshed out working example, and it's in a little module so it's pretty self-contained and easy to read through. > I'm assuming this isn't your first go at writing a compiler? Not quite, the first real language I worked on was called Eve: https://witheve.com. - Source: Hacker News / 11 months ago
Other programming languages this author has worked on: Droplet: "Datalog in time and space" - https://github.com/jamii/droplet Eve: "Datalog meets Smalltalk" - https://witheve.com Imp: "An Eve for people who build Eves" - https://github.com/jamii/imp. - Source: Hacker News / over 1 year ago
This reminds me (in the best way possible) of the Eve-lang demos of debugging a program by simply asking "why is not here?" Fantastic work! https://www.youtube.com/watch?v=TWAMr72VaaU&t=164s and https://witheve.com/. - Source: Hacker News / almost 2 years ago
There's also https://github.com/mech-lang/mech . That too seems to be getting close to hiatus. It's a bit of a shame since it seems like quite a nice paradigm for some stuff like GUIs, interactive stuff, and discrete event simulation, but I suppose the paradigm is both a bit obscure and different enough from everything else that it becomes a "boil the ocean" situation where one or a few people try and hack away... - Source: Hacker News / over 2 years ago
Board for Github - A webview based GitHub project app with native features
Jupyter - Project Jupyter exists to develop open-source software, open-standards, and services for interactive computing across dozens of programming languages. Ready to get started? Try it in your browser Install the Notebook.
GitZip - Download or create a download link for a GitHub project folder/sub-folder or file.
Deco IDE - Best IDE for building React Native apps
Enhanced GitHub - :rocket: Chrome extension to display size of each file, download link and copy file contents directly to clipboard - softvar/enhanced-github
iPython - iPython provides a rich toolkit to help you make the most out of using Python interactively.