KotlinLanguageServer
Anki-Android
KotlinLanguageServer | Anki-Android | |
---|---|---|
22 | 229 | |
1,489 | 7,882 | |
- | 1.7% | |
8.9 | 9.9 | |
about 1 month ago | 3 days ago | |
Kotlin | Kotlin | |
MIT License | GNU General Public License v3.0 only |
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.
KotlinLanguageServer
-
Kotlin is a much better language than Java even with all the new stuff Java has added.
There's a community-made one, but of course as much effort as has been put into it it's not as featureful as JetBrains's own stuff.
-
Noob here, would neovim work for my usecase
Kotlin is probably the worst case for Neovim. While there is a language server for Kotlin, it's not very advanced and does not look like it's actively developed.
-
Kotlin on VScode, intellij, or android studio?
Hi, if you are going to do Kotlin the easiest choice is android studio with Kotlin plugin. Using Vscode is more tricky because Jetbrains does not want to support lsp for Kotlin so you only have https://github.com/fwcd/kotlin-language-server available to write Kotlin on Vscode.
-
I LOVE Rust's exception handling
Kotlin Language Server puts a warning on this code, because the bar inside the lambda shadows the function argument bar. Flow typing solves this problem by eliminating the need to redefine bar as a new non-nullable variable in the branch where we've verified it's non-nullable.
-
Kotlin is tightly linked to IntelliJ and that's a risk
You want to change something about that? Go and help over at the kotin lsp server. It's maintained, and welcomes contributions. I sometimes use it in my day job (writing Kotlin backend code)
-
Kotlin 1.8.0 Released
There is https://github.com/fwcd/kotlin-language-server, but I wouldn't expect something more official from a company that refuse to support LSP in their IDEs. JetBrains is the Apple of the IDE world.
-
What are best plugins for C++, Java, Kotlin, Python, & LaTex
Oddly enough, we use mostly the same languages. However, I would advise against using neovim with Kotlin: its language server has an excessive memory usage and its debugger is cumbersome with neovim (I haven't managed to get it working, and currently it also lacks an entry in nvim-dap's wiki).
-
From zero to 10M lines of Kotlin
I'll bring up the Kotlin LSP[0] every time I see Kotlin on HN because I really hope the LSP takes off (which would make it viable to use Kotlin with a non-IntelliJ editor).
Kotlin as a language looks really cool, but I don't want to give up terminal-based, modal editing (which I'd have to in order to use IntelliJ).
Along those lines, I once tried diving into using Gradle outside IntelliJ, and I couldn't find any good resources to help with that. If folks have hints/links-to-blog-posts with regards to that as well, that'd be great!
[0] https://github.com/fwcd/kotlin-language-server#this-reposito...
-
Idea: Jetbrains Fleet's Code Engine as an LSP?
I've tried [this Kotlin LSP](https://github.com/fwcd/kotlin-language-server) and it isn't perfect. It's not complete, but it does some of the basic things.
-
Kotlin language server doesn't work ("0 client(s) attached to this buffer")
I've downloaded kotlin language server from here: https://github.com/fwcd/kotlin-language-server
Anki-Android
- Anki – Powerful, intelligent flash cards
-
FSRS: A modern, efficient spaced repetition algorithm
Yes, but on Android you currently have to sideload the 2.17 alpha from this page: https://github.com/ankidroid/Anki-Android/releases
- The Ultimate Anki Deck for Ophthalmology Residents and Students - Blue Ophthalmology V7
-
Students fails to import a shared deck
If that fails, report an issue, including debug information and the deck: https://github.com/ankidroid/Anki-Android/issues/new/choose
-
When is Ankidroid releasing 2.17? I can’t try FSRS because they haven’t release to Playstore
But you can just download the testing version from the links to github on the site. https://github.com/ankidroid/Anki-Android/releases
- FSRS for AnkiDroid is out! (2.17alpha2)
- Is there a old version of anki apk that notification still work?
-
In the 1st anniversary of FSRS, I want to share some progress of recent works.
Good news again, AnkiDroid has completed its Rust backend update. FSRS will be supported in AnkiDroid in 2.17.
- Change profiles on AnkiDroid
-
AnkiDroid 2.16.3 released
GitHub: https://github.com/ankidroid/Anki-Android/releases
What are some alternatives?
nvim-lspconfig - Quickstart configs for Nvim LSP
ForgetMeNot - A flashcard app for Android.
kickstart.nvim - A launch point for your personal nvim configuration
mnemosyne - Mnemosyne: efficient learning with powerful digital flash-cards.
kotlin-vim - Kotlin plugin for Vim. Featuring: syntax highlighting, basic indentation, Syntastic support
anki - Anki's shared backend and web components, and the Qt frontend
intellij-community - IntelliJ IDEA Community Edition & IntelliJ Platform
speed-focus-mode - Speed Focus Mode add-on for Anki
kotlin-textmate-bundle - Textmate bundle for the Kotlin programming language
mooc-java-programming-i - University of Helsinki’s free massive open online course (MOOC) completed exercises. 2020 solutions
vscode-kotlin - Kotlin language support for VS Code
fsrs4anki - A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm