ice1k Goto Github PK

agda

Container image for Agda

alpd-app

The Android APP for ALPD ( a club for poster designing ) .

appveyor

Empty project, just to test AppVeyor

arend

The Arend Proof Assistant

arend-lib

asmble

Compile WebAssembly to JVM and other WASM tools

bracessucks

Fold right braces as "end" and hide left braces

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

conshott

Constructive Interpretations of HoTT

darcula

A darcula laf available on JitPack

filedrop

A FileDrop lib from SourceForge that I've already forgotten which page did I find it

findline

A JVM App used to distinguish lines in a png/jpg file

gen4dp

Generate dynamic programming code from given state translation equation

ghostanimalplayer

一个满是bug的鬼畜制作器:joy:已经停止更新

history

History of type theory (Chinese).

ice1000

🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟

intellij-arend

Arend plugin for IntelliJ IDEA

intellij-haskell

IntelliJ plugin for Haskell

learnenglish

:us: My TOEFL exercise

libgdx

Desktop/Android/HTML5/iOS Java game development framework

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

lua-full

A modified lua/lua-icxx/lua-intf for personal usage

perl5-idea

Perl5 plugins for IntelliJ IDEA

posgen

The core of a web spider based on Kotlin JavaScript mode

proj_manager

A CLI local project manager

pure

A little agda library for categorical semantics.

ruiko.kt

Kotlin version of Ruiko.fs

rust-analyzer

A Rust compiler front-end for IDEs

s-lisp-intellij

survivial-manual-for-interns

给新员工和实习生的生存指南。 Good Luck and Survive!