alan
penrose
alan | penrose | |
---|---|---|
4 | 21 | |
282 | 6,625 | |
- | 0.5% | |
3.8 | 9.0 | |
about 1 year ago | 5 days ago | |
TypeScript | TypeScript | |
- | 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.
alan
-
Interesting language that seems to have been overlooked: the almost-turing-complete Alan language
The compiler apparently just bans ‘direct’ recursion entirely: https://github.com/alantech/alan/pull/130/commits/6aea9e5551c8c8f1f7b628874aea0db5627b2df3
-
Big brained meme I created
Does anyone here actually know what Turing Completeness is? There are some none-turing-complete computer languages that would definitely be considered a "programming" language (e.g. https://alan-lang.org) Don't really want to discuss whether HTML is a PL or not, but Turing Completeness is surely not the deciding factor.
-
Deploy an autoscalable a Node.js HTTP server to AWS in a few minutes!
Most of it is here
penrose
-
Penrose – Penrose
By the way, just for clarity, note that the comments in this subthread were written before we updated the random seed for that example to result in a much better diagram: https://github.com/penrose/penrose/pull/1700
-
How to draw beautiful software architecture diagrams
- penrose - advanced, general - https://penrose.cs.cmu.edu
- Inkscape Cloud Architect
- Penrose: Create Beautiful Mathematical Diagrams
- Penrose: Create Beautiful Diagrams
-
Penrose 3.0
Testing the tutorial link (https://penrose.cs.cmu.edu/docs/tutorial/welcome) locally with Firefox 115.0.2 seems okay. If this problem persists, can you file an issue about it in our repo: (https://github.com/penrose/penrose/issues)?
-
Illustrations, Keenan Crane style
Found this one https://penrose.cs.cmu.edu/
- Penrose Create beautiful diagrams just by typing math notation in plain text
-
Constrain – Interactive figures using declarative constraint solving
I love the idea, although it doesn't seem to perform very smoothly, even on simple examples. A related project is Penrose [^1], except the latter isn't interactive.
[^1]: https://penrose.cs.cmu.edu/
-
Software to produce math illustrations
Has anybody used Penrose? It looked promising when it was announced a couple of years ago.
What are some alternatives?
language-explorer - Explore 650+ programming languages, visualized based on paradigm influence relationships between languages.
manim - Animation engine for explanatory math videos
2bwm - A fast floating WM written over the XCB library and derived from mcwm.
xidlehook - GitLab: https://gitlab.com/jD91mZM2/xidlehook
Bruhat-Tits-Tree-Visualiser - A visualiser of the Bruhat-Tits tree over ℚp.
rwm - The Rusty WIndow Manager
spotify-tui - Spotify for the terminal written in Rust 🚀
Iron - An Extensible, Concurrent Web Framework for Rust
thousand - Create pictures in fewer than a thousand words.
aircraft - The A32NX & A380X Project are community driven open source projects to create free Airbus aircraft in Microsoft Flight Simulator that are as close to reality as possible.
Popsicle - Multiple USB File Flasher
quiver - A modern commutative diagram editor for the web.