andy0130tw/agda-prebuilt andy0130tw/agda-prebuilt

  • Stars
    star
    2
  • Language
  • License
    The Unlicense
  • Created over 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
andy0130tw/agda-prebuilt
github

andy0130tw

Reviews

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

Repository Details

Prebuilt Agda binary for Linux.

More Repositories

1

iridium-bpmf

銥 [Ir] 注音 — (又是一個) 基於 RIME、參酌其它注音輸入法習慣、符合臺灣使用習慣為規準的注音輸入方案。
56
star
2

markdown-it-ast

Generate AST from tokens parsed from markdown-it.
JavaScript
6
star
3

NTU-DSnP2015

NTU EE Data Structure & Programming (DSnP) 2015 Fall
C++
5
star
4

ntu-thesis-template

Refined NTU thesis XeLaTeX template based on former works -- 基於前人作品改良的臺大 XeLaTeX 論文模板
TeX
3
star
5

sitcon-camp-2016-common

Slides for SITCON summer camp 2016 common course.
CSS
3
star
6

slack-archv

Make your Slack archive painlessly.
Python
3
star
7

experiment-mathjax-pdf

Try to render MathJax in pure HTML/CSS for use in environments without JS, and then convert it to PDF.
CSS
3
star
8

web3.js-browser

An intent to bundle a standalone version of web3.js for browsers.
JavaScript
3
star
9

svg-to-tgs

Produce a TGS animated sticker from a pile of vector images without Adobe.
3
star
10

ntu-mission-backend

A FB crawler / post analyzer for NTU Mission 2016 written in Node.js.
JavaScript
3
star
11

aarrr-rime

Another ARtistic Rime Repository (for experiments)
2
star
12

chicken

An explanation of the interpreter of the programming language Chicken.
JavaScript
2
star
13

learnmode-client

A Learn Mode client built with HTML5, CSS3 and JavaScript, which focuses on performance, responsive design to provide good user experience.
JavaScript
2
star
14

plurk-css

A Material Design like theme for my Plurk.
CSS
2
star
15

fwtpc

Fei-Wen transport chain, or Fei-Wen in Taipei City, is an expriment on big data in social network. Inspired by electron transport chain.
JavaScript
1
star
16

paper-bootstrap

Bootstrap with Material Design.
CSS
1
star
17

expri-slack-oauth

A Slack OAuth boilerplate written in Python.
Python
1
star
18

sitcon-camp-2015-test

SITCON camp 2015 Git test
JavaScript
1
star
19

judgeGirl-cli

A CLI for JudgeGirl. Show live submissions, check the correctness of your programs concurrently by fetching test data (TODO), and more.
JavaScript
1
star
20

try-lezer

A playground for Lezer the parser system.
JavaScript
1
star
21

NTU-DSA2017

NTU CSIE DSA (Data Structure & Algorithm) Spring 2017.
C++
1
star
22

judgeGirl-scoreboard

A scoreboard for JudgeGirl.
JavaScript
1
star
23

hello-grpc

A naive chatroom featuring (!) gRPC, 就只是一個練習而已沒有太認真寫 owo
Python
1
star
24

zhuangzi

《莊子》，一本借助 Pollen 之力的電子書。
Perl
1
star
25

pptslim

讓你手邊的 PPT 檔--受--瘦到能被線上服務轉成 PDF。Make your PPTX files slim enough to be converted into PDFs.
Python
1
star