• Stars
    star
    86
  • Rank 382,193 (Top 8 %)
  • Language
  • License
    Apache License 2.0
  • Created about 7 years ago
  • Updated about 6 years ago

Reviews

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

Repository Details

:octocat: 编译原理相关的工作岗位收集

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

Kt2Dart

🔦 [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again
Haskell
84
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