ice1000/agda-mode

Stars
26
Rank 930,752 (Top 19 %)
Language
Rust
License
Apache License 2.0
Created about 5 years ago
Updated about 4 years ago

ice1000/agda-mode

ice1000

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

Accessing Agda's interaction mode via command line & external tactic for Agda.

resume

👾 My resume / 我的简历

jimgui

💖 Pure Java binding for dear-imgui

A8Translate

一个无毒的Android Studio / IntelliJ IDEA 翻译插件

Books

My slides and notes

intellij-zig

The IntelliJ IDEA plugin for the Zig programming language ┗😃┛ ┏😃┓ ┗😃┛ ┏😃┓

dev-kt

🔮 Single file Kotlin/Java IDE features in lightweight.

CompilerWorks

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

Kt2Dart

🔦 [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again

NppExtension

😃 Language extension for notepad++

algo4j

🏇 An algorithm library using java native interface

code_wars_android

💻 A mobile client for CodeWars

learn

📚 codes written while learning them.

guest0x0

Neon lights in the night tonight and stars that shine in the open sky

multi-school-sop

A latex template for writing statement-of-purpose for many schools at the same time

MapGen

A tiny program generates game maps

Dekoder

🎼 A materially designed music player

arend-io

A toy IO library for Arend

intellij-bililive

Just for fun, 114594

AIAndroid

An Android UI framework for chatting APPs.

anqur

Elaboration with inductive types

Castle-game

Java&Kotlin Castle game(RPG)

text-sequence

Text sequence data structures

dialogs

This is a codeless and useless repo.

OI-codes

🔐 Solutions for online code challenges. Don't be evil.

copilot-learning-materials

My type-ups for copilot to learn from.

vscode-arend

VSCode extension for the Arend language

PlasticApp

💻 An Android app for learning of programming.

arend-language-server

A language server protocol implementation for Arend

gdx-box2d

Support ropes, up-to-date box2dLight

box2d-editor-2023

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

ice1000

KitikuMaker

An extremely interesting Android app, playing kitiku sounds

website

Source code for ice1000.org

Artemis

Shooting Game editor