ice1000/vscode-arend ice1000/vscode-arend

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    TypeScript
  • Created over 4 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ice1000/vscode-arend
github

ice1000

Reviews

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

Repository Details

VSCode extension for the Arend language

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

Kt2Dart

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

NppExtension

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

algo4j

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

code_wars_android

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

learn

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

guest0x0

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

multi-school-sop

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

agda-mode

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

MapGen

A tiny program generates game maps
Kotlin
23
star
17

Dekoder

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

arend-io

A toy IO library for Arend
Java
18
star
19

intellij-bililive

Just for fun, 114594
Kotlin
17
star
20

AIAndroid

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

anqur

Elaboration with inductive types
Java
16
star
22

Castle-game

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

text-sequence

Text sequence data structures
C++
15
star
24

dialogs

This is a codeless and useless repo.
14
star
25

OI-codes

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

copilot-learning-materials

My type-ups for copilot to learn from.
TeX
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