flix
intellij-community
flix | intellij-community | |
---|---|---|
11 | 101 | |
2,057 | 16,610 | |
1.0% | 0.8% | |
9.9 | 10.0 | |
2 days ago | 2 days ago | |
Scala | ||
GNU General Public License v3.0 or later | Apache License 2.0 |
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.
flix
-
Learn Datalog Today
you can use Datalig within Flix https://flix.dev/
-
The Flix Programming Language
> recently added support for package management
Are there any [plans for] supply chain attack mitigations?
Naively searching, I find https://github.com/flix/flix/issues/4380#issuecomment-123641... (Proposed Principle: A package can be declared as "safe") and https://github.com/flix/flix/issues/2837 (Add capability-safety to polymorphic effects?) the latter closed with working on something related to this https://github.com/flix/flix/issues/3000 (The Road to Algebraic Effects).
- Java 21 makes me like Java again
-
Alternatives to scala FP
I don't know that it's one-to-one in terms of features, but I've been impressed with the Flix language, also on the jvm: https://flix.dev/ .
- Programming in Standard ML [pdf]
-
Ask HN: What is new in Algorithms / Data Structures these days?
You might be interested in Flix which has first-class Datalog program values:
https://flix.dev/
https://doc.flix.dev/fixpoints.html
(I am one of the developers of Flix)
-
What the imperative shell of an Functional Core/Imperative Shell language looks like
I like it. Modern languages that distinguish between pure and impure programs like Flix, Koka, and Effekt do so on the type level instead of syntactically. This has three advantages:
-
[Q] Alternative languages; which one do you use?
I work almost 100% in Scala because it has the most advanced functional features (proper pattern matching, higher-kinded types, typeclasses, ...) and very powerful metaprogramming abilities, while being compatible with the Java OO model as long as you consume Java libraries (the other way around can be tricky, Kotlin is much better there). Only Flix takes it further but it's still an immature project.
- Seeking Language Project to Join
intellij-community
-
Software Company HashiCorp Is Weighing a Potential Sale
Also, no BuSL stupidity, they're all Apache 2 AFAIK: https://github.com/JetBrains/intellij-community/blob/idea/23...
And the "all you can eat" toolbox license is just a staggeringly good deal, IMHO, which also comes with a "you can keep your license forever, just no updates" which is way different from setting subscription-based licensing money on fire when your license expires. Whoever came up with that should be applauded because it really drives down my "what about" anxiety of paying subscription money for IDEs
-
The Fossil Sync Protocol
I readily admit I am not familiar enough with fossil to know about the impedance mismatch, but I'll point out that https://github.com/JetBrains/intellij-plugins/tree/idea/241.... https://github.com/JetBrains/intellij-community/tree/idea/24... https://github.com/JetBrains/intellij-community/tree/idea/24... https://github.com/JetBrains/intellij-community/tree/idea/24... may a long way toward finding how they think about those operations
-
How to Develop an IntelliJ Plugin: A DIY Guide to Adding Drag and Drop with Custom DataFlavors
There is quite a bit going on in our view’s class, so we'll take it slow and go through its functions one by one, according to their importance. The first thing we need to do is to create the structure our items will fit into. com.intellij.ui.treeStructure.Tree seems to best match our needs, and that’s what we’ll use. In order to prepare it for what is coming, we need to configure it.
-
Operation K. Looking for bugs in the IntelliJ IDEA code
I think it's time to wrap it up. We've made a pull request to the IDEA developers, and I've accomplished the tasks I set out to do. I'm really happy to help the developers of my favorite IDE.
-
You are never taught how to build quality software
I offer, again, my JetBrains GrammarKit counterpoint from the last time that assertion came up <https://news.ycombinator.com/item?id=38192427>
>>>
I consider the JetBrains parsing system to be world class and they seem to hand-write very few (instead building on this system: https://github.com/JetBrains/Grammar-Kit#readme )
- https://github.com/JetBrains/intellij-community/blob/idea/23... (the parser I'll concede, as they do seem to be hand-rolling that part)
- https://github.com/JetBrains/intellij-community/blob/idea/23... (same for its parser)
- https://github.com/JetBrains/intellij-community/blob/idea/23... and https://github.com/JetBrains/intellij-community/blob/idea/23...
- https://github.com/JetBrains/intellij-plugins/blob/idea/233.... and https://github.com/JetBrains/intellij-plugins/blob/idea/233....
-
Just paying Figma $15/month because nothing else fucking works
I had the same experience with OmniGraffle, https://www.omnigroup.com/omnigraffle
It just worked. There was support. I wouldn't dig a hole in the ground with my bare hands, why wouldn't I use good tools. Of course I would like to use F/OSS for various reasons.
The model I absolutely love is Jetbrains, their core product is OSS, Apache licensed. The whole thing, totally usable. https://github.com/JetBrains/intellij-community
The money I send their way does both, it pays for developers and it puts an amazing artifact in the world that others can use and learn from. If they weren't open source, I wouldnt pay for it. I don't know how many others are the same as me, but Jetbrains really deserves credit here.
-
Show HN: Pg_yregress, Structured Testing for Postgres
# https://github.com/JetBrains/intellij-community/blob/idea/233.9802.14/json/src/jsonSchema/schema.json#L52
-
Java 21 makes me like Java again
and also FOSS (Apache 2): https://github.com/JetBrains/intellij-community (as well as PyCharm found in the "python" subdirectory)
- Predictive Debugging: A Game-Changing Look into the Future
- New Subreddit banner logo. Let me know if I need to fix something.
What are some alternatives?
ezno - A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
oh-my-posh - The most customisable and low-latency cross platform/shell prompt renderer
lwjgl3ify - A mod to run Minecraft 1.7.10 using LWJGL3 and Java 17, 19, 20
pylance-release - Documentation and issues for Pylance
highfleet-ship-opt - A c/c++ module and python extensions for automatic optimization of Highfleet ship modules. Try it live at https://hfopt.jodavaho.io
vscode-kotlin - Kotlin language support for VS Code
lamini
kotlin-vim - Kotlin plugin for Vim. Featuring: syntax highlighting, basic indentation, Syntastic support
Language-suggestions - Collecting ideas for a new .NET language that could replace C#
theia - Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
egglog - egraphs + datalog!
Apache NetBeans - Apache NetBeans