Our great sponsors
- InfluxDB - Access the most powerful time series database as a service
- CodiumAI - TestGPT | Generating meaningful tests for busy devs
- SonarQube - Static code analysis for 29 languages.
- ONLYOFFICE ONLYOFFICE Docs — document collaboration in your environment
|5 days ago||15 days ago|
|Apache License 2.0||GNU General Public License v3.0 or later|
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.
Modern SAT solvers: fast, neat and underused (2018)
7 projects | news.ycombinator.com | 26 May 2023
Compiling Scala without a SAT solver is probably too difficult.
The CNF Converter is a gem.
Data Engineering and DataOps: A Beginner's Guide to Building Data Solutions and Solving Real-World Challenges
10 projects | dev.to | 19 Jan 2023
A Small Introduction to Functional Programming
4 projects | dev.to | 3 Jan 2023
Micronaut vs others(Spring Boot, Quarkus and co.)
5 projects | reddit.com/r/java | 10 Nov 2022
Tapir is a Scala framework. (which runs on the JDK) Since the recent release of version 1.0, it's become my go to for many projects. It doens't provide much in the way of integrations with 3rd party frameworks, but I actually prefer that. It does autogenerate great swagger docs though.
Scala 2.13.9 is here
3 projects | reddit.com/r/scala | 21 Sep 2022
details: https://github.com/scala/scala/releases/tag/v2.13.93 projects | reddit.com/r/scala | 21 Sep 2022
It already 99% worked. We just needed to upgrade ASM to a version that recognizes JDK 19 bytecode, so the optimizer (which most people don't even use) can function on JDK 19. The PR was https://github.com/scala/scala/pull/10001 — eazy peazy.
Scala 2 compiler plugin to detect unused expressions
2 projects | reddit.com/r/scala | 28 Aug 2022
See also https://github.com/scala/scala/pull/9893, this will be in the upcoming Scala 2.13.9.
Programming languages used by top companies?
5 projects | reddit.com/r/gamedev | 10 Apr 2022
Scala - Popular in the data-science world, particularly when working with distributed data processing (e.g. Spark). Lots of large companies have dedicated data teams that process the huge amount of analytics and other data the games produce.
3 projects | reddit.com/r/scala | 12 Dec 2021
Appropriate, Correct, Robust, Usable, Maintainable, and Efficient (ACRUMEN) with Dave Aronson
8 projects | dev.to | 1 Dec 2021
I took a look at some Haskell; like I said, I never actually learned it, but I have seen some. And I briefly dipped my toes in Scala awhile back, and it seemed like a good thing. And then came the Phoenix web framework drawing heavily on the general concepts of Rails but with the slightly different philosophy of making things more explicit rather than the infamous Rails magic, which is so helpful when you're doing things the Rails way. But if you try to fight it at all, no, no, no, that magic is a plus-five sword against you. [laughter]
ESP32 example project
3 projects | reddit.com/r/rust | 7 Mar 2023
The esp-template issue might be this one: https://github.com/esp-rs/rust/issues/158. Try with --release or updating to 1.68.0 with espup update. I'll take a look at the log as soon as I can, atm Im on the phone and is not that easy to scroll through :(
Are there situations where it's better to use C++?
3 projects | reddit.com/r/rust | 29 Nov 2021
Xtensa. They've got a fork of LLVM that supports it that they're working toward getting upstreamed. The community has a fork of rustc that uses it (and a quickstart crate) while we wait for it to get upstreamed.
Multi-use kernel written in Rust
4 projects | reddit.com/r/rust | 30 May 2021
It only works if you have an Xtensa compiler which takes hours to compile, here: Rust Xtensa (if you don't have it). The network driver is just a function that sets the name of the driver so the Esp32 does something other that blinking.
Could IOTA transaction be started solely from the IoT capable device (like esp32)?
3 projects | reddit.com/r/Iota | 4 May 2021
What are some alternatives?
zig - General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
kotlin - The Kotlin Programming Language.
Elixir - Elixir is a dynamic, functional language designed for building scalable and maintainable applications
rust - Empowering everyone to build reliable and efficient software.
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
tonic - A native gRPC client & server implementation with async/await support.
Angular - The modern web developer’s platform
Playwright - Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.
AutoHotkey - AutoHotkey - macro-creation and automation-oriented scripting utility for Windows.
odbc-api - ODBC (Open Database Connectivity) bindings for Rust.