Single file Kotlin/Java IDE features in lightweight.
☆95Dec 19, 2020Updated 5 years ago
Alternatives and similar repositories for dev-kt
Users that are interested in dev-kt are comparing it to the libraries listed below
Sorting:
- Lice IDE based on IntelliJ Platform☆19Apr 1, 2018Updated 7 years ago
- Text sequence data structures☆16May 8, 2020Updated 5 years ago
- A multi-paradigm programming language running on JVM☆129May 11, 2018Updated 7 years ago
- IntelliJ plugin for several experimental programming languages here☆36Oct 18, 2021Updated 4 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Oct 10, 2020Updated 5 years ago
- Placeholder for the OwO compiler☆60Feb 20, 2019Updated 7 years ago
- A powerful, easy-to-use, modern Java core library for the future☆63Jan 17, 2026Updated last month
- examples of intellij plugins☆11Jan 25, 2018Updated 8 years ago
- Ada binding for the Raylib library.☆20Feb 18, 2026Updated last week
- Pure Java binding for dear-imgui☆195Nov 21, 2023Updated 2 years ago
- JuliaCN 2022 archived demo repo: How Julia beats MATLAB's C codes by 1000x☆10May 25, 2023Updated 2 years ago
- A LR(1) parser generator targeting C++17.☆13Jul 8, 2020Updated 5 years ago
- The most simplest and super efficient command line tools, distributed in solely one file.☆10Nov 2, 2022Updated 3 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Feb 28, 2022Updated 4 years ago
- thautwarm utilities.☆11Oct 16, 2018Updated 7 years ago
- Next-GEN Confguration Template Generation Language☆12Jul 21, 2022Updated 3 years ago
- IntelliJ platform plugin for Wavefront OBJ format☆15Feb 16, 2026Updated 2 weeks ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- Run Groovy In Android☆14Oct 17, 2022Updated 3 years ago
- MIPS assembler intended for assembling small code patches☆13Jun 10, 2024Updated last year
- An algorithm library using java native interface☆67Sep 13, 2019Updated 6 years ago
- Javascript evaluator according to ECMAScript☆10May 22, 2019Updated 6 years ago
- Say incantations to enjoy web designing.☆11Mar 9, 2018Updated 7 years ago
- An android-sdk-tools for termux☆17Dec 27, 2022Updated 3 years ago
- IDEA Feature Suggester is an IntelliJ Platform plugin that analyzes your actions while coding and suggests IDE actions to make you work m…☆16Nov 18, 2024Updated last year
- Source code & exercises in Arend's documentation☆21Jul 19, 2021Updated 4 years ago
- fa 语言编译器☆49Sep 17, 2023Updated 2 years ago
- The Purple VM, a custom JVM in C++.☆15Apr 28, 2024Updated last year
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- A tiny "network protocol" built for entertainment, and also to be lightweight enough for a lot of small usecases.☆14Mar 25, 2022Updated 3 years ago
- Mirror of Apache Lenya☆19Feb 2, 2024Updated 2 years ago
- Fantasy Console based on lua☆17Jan 20, 2022Updated 4 years ago
- ☆12Aug 19, 2021Updated 4 years ago
- Documentation for Macro SPITBOL☆13Jan 28, 2026Updated last month
- Repository of all kinds of entities.☆14Oct 23, 2022Updated 3 years ago
- ClassViewer is a lightweight Java class file viewer that you can use to view the structure of Java class files.☆278Apr 7, 2025Updated 10 months ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- A brief example to adapt TM1637 8-char digit display module with STM32F103 using embedded Rust☆15Feb 23, 2020Updated 6 years ago
- Mirror of Apache Pivot☆44Aug 14, 2019Updated 6 years ago