• Stars
    star
    84
  • Rank 389,211 (Top 8 %)
  • Language
    Haskell
  • License
    GNU Affero Genera...
  • Created over 7 years ago
  • Updated about 7 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

๐Ÿ”ฆ [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again

More Repositories

1

resume

๐Ÿ‘พ My resume / ๆˆ‘็š„็ฎ€ๅŽ†
Typst
728
star
2

jimgui

๐Ÿ’– Pure Java binding for dear-imgui
Java
186
star
3

A8Translate

ไธ€ไธชๆ— ๆฏ’็š„Android Studio / IntelliJ IDEA ็ฟป่ฏ‘ๆ’ไปถ
Kotlin
160
star
4

Books

My slides and notes
Agda
137
star
5

intellij-zig

The IntelliJ IDEA plugin for the Zig programming language โ”—๐Ÿ˜ƒโ”› โ”๐Ÿ˜ƒโ”“ โ”—๐Ÿ˜ƒโ”› โ”๐Ÿ˜ƒโ”“
Kotlin
113
star
6

dev-kt

๐Ÿ”ฎ Single file Kotlin/Java IDE features in lightweight.
Kotlin
94
star
7

CompilerWorks

:octocat: ็ผ–่ฏ‘ๅŽŸ็†็›ธๅ…ณ็š„ๅทฅไฝœๅฒ—ไฝๆ”ถ้›†
86
star
8

NppExtension

๐Ÿ˜ƒ Language extension for notepad++
Perl
74
star
9

algo4j

๐Ÿ‡ An algorithm library using java native interface
C++
67
star
10

code_wars_android

๐Ÿ’ป A mobile client for CodeWars
Dart
51
star
11

learn

๐Ÿ“š codes written while learning them.
Haskell
47
star
12

guest0x0

Neon lights in the night tonight and stars that shine in the open sky
Java
43
star
13

multi-school-sop

A latex template for writing statement-of-purpose for many schools at the same time
TeX
42
star
14

agda-mode

Accessing Agda's interaction mode via command line & external tactic for Agda.
Rust
26
star
15

MapGen

A tiny program generates game maps
Kotlin
23
star
16

Dekoder

๐ŸŽผ A materially designed music player
Kotlin
21
star
17

arend-io

A toy IO library for Arend
Java
18
star
18

intellij-bililive

Just for fun, 114594
Kotlin
17
star
19

AIAndroid

An Android UI framework for chatting APPs.
Java
17
star
20

anqur

Elaboration with inductive types
Java
16
star
21

Castle-game

Java&Kotlin Castle game(RPG)
Kotlin
15
star
22

text-sequence

Text sequence data structures
C++
15
star
23

dialogs

This is a codeless and useless repo.
14
star
24

OI-codes

๐Ÿ” Solutions for online code challenges. Don't be evil.
C
14
star
25

copilot-learning-materials

My type-ups for copilot to learn from.
TeX
11
star
26

vscode-arend

VSCode extension for the Arend language
TypeScript
11
star
27

PlasticApp

๐Ÿ’ป An Android app for learning of programming.
Kotlin
10
star
28

arend-language-server

A language server protocol implementation for Arend
Kotlin
7
star
29

gdx-box2d

Support ropes, up-to-date box2dLight
C++
6
star
30

box2d-editor-2023

This is a higher-order fork of box2d-editor. I just did some obvious right things
Java
6
star
31

ice1000

5
star
32

KitikuMaker

An extremely interesting Android app, playing kitiku sounds
Kotlin
4
star
33

website

Source code for ice1000.org
Typst
4
star
34

Artemis

Shooting Game editor
C++
3
star