codeworld
awesome
Our great sponsors
codeworld | awesome | |
---|---|---|
14 | 145 | |
1,237 | 298,187 | |
0.0% | - | |
0.0 | 7.3 | |
about 1 year ago | 9 days ago | |
Haskell | Shell | |
Apache License 2.0 | Creative Commons Zero v1.0 Universal |
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.
codeworld
-
Pedagogical Downsides of Haskell
Code World[1] is a great project that addresses a number of the problems from the article, with an eye towards using Haskell to teach children basic math and programming simultaneously. Code World directly addresses a number of the obstacles outlined in this article:
1. Using an online editor with a rich built-in library removes any toolchain problems.
2. A custom standard library simplifies pedagogically unnecessary details like Foldable
3. The custom standard library also avoids currying (f(a, b) for functions rather than f a b)
4. Custom error messages improve the feedback students get from the compiler
I would highly recommend Code World to anybody looking to teach programming with Haskell. If you want to teach Haskell in a way that fits the existing ecosystem, it's also possible to run Code World without the custom standard library[2].
[1]: https://code.world/#
-
What programming language should i learn to code games.
Alternatively, I'm a big fan of https://code.world which is specifically geared towards learners who want to work up to making simple games. It's kind of a toy, but imo resembles a "real" programming language a lot more than other educational programming languages
-
Ask HN: It's 2022. Where should I direct the youths to learn about programming?
Loose connection, but made me remember https://code.world/ uses a Haskell-like functional language to define still pictures, animations, or even games.
- My kid loves computers. I would like him to start programming, just for fun to see if it is something for him. But how to start, what type of programming language that is appealing. Books? I mean, we can start with Lisp, but how long will attention hold? Please advise, thanks.
-
Game
I second gloss! It's a bit limited (no sound, fonts, nor even text centering, but you do have support for vector and bitmap graphics, color manipulation, mouse, keyboard, and animations), but it's so, so easy to use that I not only recommend it (or the similar Code World) for anybody's first game, I still use it for my newer games.
-
Looking for help making a simple game in Haskell
Try https://code.world/
-
Functional Programming in OCaml
Two that I can think of:
- Bootstrap teaches a toned-down version of Racket (i.e. Scheme): https://bootstrapworld.org/materials/spring2021/en-us/course... . It's taught in some schools as well as a comp sci curriculum.
- https://code.world/ teaches using a toned-down version of Haskell. To my knowledge it's not used in schools.
-
Why I Support the Haskell Foundation
I had the silly 'fromString' error you get when using RebindableSyntax but had forgotten what to do next. Quick Google search and I hit on codeworld #59.
-
Hmmmmmmmmmmmmmmmmmmmmmm (SI is an AND gate, SAU is an OR gate)
That's a matter of tooling and environment. You can have a look at examples of drawing animations with physics simulation and user input at https://code.world. It's pure Haskell code without any scary abstractions, just functions from state to the next state.
-
Safe Haskell?
I'm not a user myself, but I understand Lambdabot and mueval depend on it. More generally, anything that executes Haskell code supplied by untrusted users would fit the bill. I don't know if CodeWorld for example allows user-supplied modules, but if it did they'd have to be Safe.
awesome
-
AI-generated content, other unfavorable practices get CNET on Wikipedia banlist
In the days before "google it" was a synonym for "find it", we had different curated link sites, and even pyhsical magazines with hand-curated lists of links that people interested in a certain topic might find interesting. This still exists today in some forms, for example the "awesome lists" that you see for some programming topics, for example https://github.com/sindresorhus/awesome .
Just like there was a time when 90%-99% of all email traffic was viagra spam, I imagine in the future most of the internet by volume will be AI-generated trash, and those in the know will still circulate lists of where the other 1% can be found.
An even brighter scenario is that someone, maybe a kid tinkering in their garage, figures out how to make a search engine that finds the good stuff, doesn't immediately die to AI bot farms' SEO efforts, and is financially viable.
-
Resources I wish I knew when I started my career
2. Awesome Lists
-
The Top 10 GitHub Repositories Making Waves ππ
Software Engineering Blogs
-
Kyutai AI research lab with a $330M budget that will make everything open source
He appears to be the original creator of the βAwesome Xβ repo: https://github.com/sindresorhus/awesome
-
β¨7 Github Repositories to Master React
Awesome React
-
Do you know any books about programming worth reading?
I'm just going to leave this here: awesome git repo
-
No More Problems With GitHub Issues
You don't need any particular requirement to consult issues section on GitHub. If you need a place to follow along this post, my chosen repository for today's blog post is Awesome.
-
Artist for Hire?
I have an awesome list GitHub repository that needs a few icons & a banner made. I was wondering if any students in graphic design would be willing to commission a few for me? I'm willing to pay either hourly, or by the project and can pay cash or venmo. Note that the art will end up as CC0, so you'd essentially be waiving any right to the artwork.
-
Pulling my site from Google over AI training
yah, come to think of it in the curated space, this reminds me of that awesome X family of github pages. Looks like someone compiled a bunch of them here https://github.com/sindresorhus/awesome#databases. I have found those to be highly valuable treasure troves pregnant with rich and relevant information.
-
Top 10 "Must Have" Repositories for Web Developers
10. Awesome
What are some alternatives?
Cabal - Official upstream development repository for Cabal and cabal-install
free-for-dev - A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
dune - A composable build system for OCaml.
daisyui - πΌ πΌ πΌ πΌ πΌ βThe most popular, free and open-source Tailwind CSS component library
reanimate - Haskell library for building declarative animations based on SVG graphics
vitepress - Vite & Vue powered static site generator.
scratchjr - With ScratchJr, young children (ages 5-7) can program their own interactive stories and games.
MacType-Profile - Best mactype experience
sdl2-snake - An example application for sdl2.
TOAST UI Editor - ππ Markdown WYSIWYG Editor. GFM Standard + Chart & UML Extensible.
haskell-template
developer-roadmap - Interactive roadmaps, guides and other educational content to help developers grow in their careers.