ganja.js
linter
ganja.js | linter | |
---|---|---|
8 | 8 | |
1,492 | 627 | |
- | 0.2% | |
2.5 | 8.7 | |
4 months ago | 14 days ago | |
JavaScript | Dart | |
MIT License | BSD 3-clause "New" or "Revised" 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.
ganja.js
-
The Montreal Problem: Why Programming Languages Need a Style Czar
Some people's brains just work this way. Here's an example of a somewhat popular and regularly maintained library written in a similar style: https://github.com/enkimute/ganja.js/blob/6e97cb45d780cd7c66...
Once your learn to recognise the commonalities, you'll see examples everywhere. The most extreme and stereotypical version is the billboards written by some homeless people. You can probably picture it already in your mind's eye: A wall of very dense text with little whitespace or structure, and a mix of fonts and colours seemingly at random.
I had a brilliant mathematician friend who wrote like this. He would squeeze and entire semester's worth of study notes into a single sheet of paper, on one side. It was impenetrable gibberish to everyone else, but the colours and 2D positioning let him build a mental mind-map.
For people like this, if you reformat their code even a tiny bit, their mental map is invalidated, and they lose track of it completely and become upset. I discovered this (the hard way) when applying automatic code formatting tools to the codebases I mentioned previously.
Personally, I find this type of thing to be absolutely fascinating, because it's the intersection of many fields of study, and hence is under-studied. There's elements of pedagogy, psychology, literacy, compute science, etc...
It's an open question how we can get large groups of neurodiverse humans to collaborate on a codebase when they don't even "read" or "think" in compatible ways!
-
[Media] I finished my first rust project: a path tracer
I was watching bivector videos and how it could be a viable replacement for matrix algebra in video games and I have been very impressed by the intuitiveness and consistency of the equations. There is this ganja.js for demonstrating the graphics and has a rust generated code https://github.com/enkimute/ganja.js/tree/master/codegen/rust I'm too naive to understand the implementation, but I'm glad a library like ultraviolet is here to start paving the use of Geometric Algebra in computer graphics.
- Ask HN: What are some examples of elegant software?
-
Manim: An animation engine for explanatory math videos
Well I've been on a real Geometric Algebra (aka Clifford Algebra) kick lately, and ran across ganja.js [1]. It's a single no deps file that is...impressive. 120k uncompressed, and with it you can construct any degree algebra (including the more esoteric hyperbolic/parabolic ones), render to canvas, svg or webgl(!). It also includes a clever little DSL parser and interpreter (it overloads the scientific notation to name basis vectors!) that lets you construct more complex things from simple things using various kinds of products.
The author, Steven De Keninck, is quite impressive as well, having got his start in the demoscene some time ago. He has a good video from 2019 that explains why this algebra is better than [matrices, tensors, vectors, complex numbers]. Of particular interest (to me anyway) is the 2D projective geometry.
I don't want to oversell it, but ganja is fucking amazing and there is a great deal I want to do with it. For one, I'd like to recapitulate my physics degree with it.
[1] https://github.com/enkimute/ganja.js
[2] https://www.youtube.com/watch?v=tX4H_ctggYo
-
Ganja.js: Geometric Algebra Generator for JavaScript
Great documentation!
- Ganja.js: Geometric Algebra Generator for JavaScript, C++, C#, Rust, Python
linter
-
The Montreal Problem: Why Programming Languages Need a Style Czar
Same with Dart. You may not like the style too much, but at least it's consistent and everyone uses it.
Dart also has a kind of "standard lints" (one for Flutter, one for just Dart): https://dart.dev/tools/linter-rules
Even though you can write your own lints to verify every little detail of the code, the fact that standards exist is great.
Check out the rules enabled by the default lints, it's pretty amazing: https://github.com/dart-lang/lints/blob/main/rules.md
- Dart Error handling using Records (golang style)
- Why shouldn’t Either be used for error handling?
- Is it possible to know all the exceptions a method CAN throw
-
Dart null safety vs type safety (dart linter in strong mode)
It wouldn't hurt to make an issue on the linter repo https://github.com/dart-lang/linter, requesting a lint for casts that are known to be more restrictive than they need to be. So in this case its casting to a `String` but the type of the parameter the expression is passed to is `String?`, which is more restrictive (doesn't include null). There should be enough information to trigger such a lint in many situations - basically as long as there is some known type that the expression needs to be assignable to, in this case `String?`.
-
Thoughts on creating a library with Dart for browser and node
I've already converted 70% of the JS implementation in Dart, only for the browser for test, but the result was not as good as I hoped. The bundle size at the moment is ~110kb (with the -O4 flag). And I happen to learn that using async/await additionally increases the size with ~30kb (this angulardart issue is the only explanation I could found).
- Off my chest: Document the type of exception a method throws in the docs.
-
Is there a linter rule to disallow functional widgets?
I couldn't find anything, so I raised an issue https://github.com/dart-lang/linter/issues/2410
What are some alternatives?
manim - A community-maintained Python framework for creating mathematical animations.
flutter-go - flutter 开发者帮助 APP,包含 flutter 常用 140+ 组件的demo 演示与中文文档
manim - Animation engine for explanatory math videos
dio - A powerful HTTP package for Dart/Flutter, which supports Global settings, Interceptors, FormData, Aborting and canceling a request, Files uploading and downloading, Requests timeout, Custom adapters, etc. [Moved to: https://github.com/cfug/dio]
perspective - A data visualization and analytics component, especially well-suited for large and/or streaming datasets.
sdk - The Dart SDK, including the VM, dart2js, core libraries, and more.
Stockfish - A free and strong UCI chess engine
import-lint - The Import Lint package defines import lint rules and report on lints found in Dart code.
r2vr - R to Virtual Reality
Flutter - Flutter makes it easy and fast to build beautiful apps for mobile and beyond
TermKit - Experimental Terminal platform built on WebKit + node.js. Currently only for Mac and Windows, though the prototype works 90% in any WebKit browser.
irishman - 🇮🇪 A generic programming language interpreter, linter, formatter, and all that jazz, written in Dart.