this post was submitted on 25 Apr 2024
19 points (91.3% liked)

Linux

45756 readers
1016 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
 

A Shell DSL that transforms into Python.

I created this IDE to spin up Tkinter UIs or anything Python with less boilerplate and rich cognitive and efficiency shortcuts: for me, I think this tool helps me prototype GUI apps quicker with less characters typed so less effort.

I would love to take this further if I could get anyone interested. Thanks.

https://github.com/dislux-hapfyl/shimky

top 4 comments
sorted by: hot top controversial new old
[–] blotz@lemmy.world 5 points 2 months ago (1 children)

Okay wow. I looked into your repo and its a really interesting implementation of a DSL. I think I get what the code is trying to do? You run shimky through bash and it turns into python code? meta programming stuff! I think its a regular language? its hard to tell.

So I've actually been studying DSLs for a few months and I can recommend some ways for you to improve this code if you want.

[–] hardkorebob@programming.dev 4 points 2 months ago

Fork it and Make Pull Request. 👍

[–] Code@programming.dev 2 points 2 months ago

Anyone get old school runescape vibes from the song? Lol

[–] PipedLinkBot@feddit.rocks 1 points 2 months ago

Here is an alternative Piped link(s):

https://piped.video/45JeIpDiJdc

Piped is a privacy-respecting open-source alternative frontend to YouTube.

I'm open-source; check me out at GitHub.