• Stars
    star
    1
  • Language
    TeX
  • License
    Other
  • Created almost 13 years ago
  • Updated almost 11 years ago

Reviews

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

Repository Details

Takada Lab(UEC, Tokyo) Thesis Style Files (TeX+BibTeX)

More Repositories

1

MirrorDiffKit

Graduation from messy XCTAssertEqual messages.
Swift
183
star
2

TestableDesignExample

Sample App to learn a testable design (Smalltalk flavored MVC)
Swift
84
star
3

MultipartFormDataKit

Simple library for multipart/form-data for Swift.
Swift
66
star
4

WiFiQRCodeKit

Library helping Wi-Fi configurations over QR codes
Swift
39
star
5

stamp

My stamp images
HTML
18
star
6

UIKitTestable

UIKit becomes testable.
Swift
18
star
7

RxNextExample

Swift
18
star
8

JsDoc2-Template-Bootstrap

Beautiful Template with Bootstrap for JsDoc2.
JavaScript
17
star
9

iceberg.icls

A dark blue color scheme for IntelliJ IDEA (original is for Vim)
16
star
10

MemoryLeakTestKit

Swift
16
star
11

how-to-debug-js

https://speakerdeck.com/orgachem/guan-reru-js-su-zao-kujiu-ming-debatuguru-men
JavaScript
10
star
12

isabelle-range

Isabelle
7
star
13

jenkins-plugin-fixator

CLI tool to manage Jenkins plugins
Shell
6
star
14

ddsv-prolog

Prolog implementation for https://principia.connpass.com/event/143181/
Prolog
6
star
15

piine

"piine" is a web app that provides real-time feedback during your presentation.
JavaScript
6
star
16

dotfiles

My dotfiles.
TypeScript
6
star
17

vim-qrcode

VIM meets QR Code.
Vim Script
5
star
18

csp-fs

Implementation of Communicating Sequential Proccesses (CSP).
F#
5
star
19

swift-ble-macro

BLE (Bluetooth Low Energy) Macros for Swift
Swift
5
star
20

MemoryLeakPlayground

Swift
4
star
21

fnsh

A hobby project for new language like Bash (this project will be incomplete forever PROBABLY)
Isabelle
4
star
22

gulp-csslint-sourcemap-reporter

Console reporter adjusting error location by source map for the gulp-csslint module (https://www.npmjs.org/package/gulp-csslint)
JavaScript
4
star
23

slackit

Slackit is the bot framefork for Slack
JavaScript
3
star
24

Closure-annotation-for-JsDoc

The JsDoc plugin makes better JsDoc Annotations from Closure Annotations.
JavaScript
3
star
25

json-jsdoc

This is a JsDoc3 template publish JSON style doclets for each file. This template supports partial documentation.
JavaScript
3
star
26

isar-cheatsheet

Cheatsheet for Isabelle/Isar 2021
2
star
27

vim-prove-syntax

High visibility syntax for TAP by prove verbose output.
Vim Script
2
star
28

DelegateKit

Operators and Utilities for Delegates
Swift
2
star
29

tfmu-testing-framework-and-lint

2
star
30

tsumekusajsdoc

TsumekusaJsdoc is a Jsdoc3 template. The template is CUI oriented.
JavaScript
2
star
31

isabelle-program-semantics-exercise

「情報数学講座(第7巻)プログラム意味論」(著: 横内寛文)の形式的証明
Isabelle
2
star
32

Escape-Codec-Library-for-Closure

Escape Codec Library module conformed to Closure Library.
JavaScript
1
star
33

gulp-less-reporter

Error reporter for gulp-less
JavaScript
1
star
34

DIPlayground

Swift
1
star
35

doji-auth

Extended PIN Authentication Scheme by Allowing Multi-Touch Input.
JavaScript
1
star
36

isabelle-finite-bounded-lattice-is-complete-lattice

Isabelle
1
star
37

decode-receipt

in-App Purchase Receipt Decoder for CLI.
Ruby
1
star
38

StartSmallForAPI

Swift
1
star
39

idb-portable

Portable package buider for facebook/idb
Makefile
1
star
40

semantics-of-programing-yokouchi-exercise

Isabelle
1
star
41

WiFiQRCodeKitExampleApp

An example for WiFiQRCodeKit
Swift
1
star
42

doclink

Doclink is a JavaScript module provides to link doc comment to AST node as the link targets.
JavaScript
1
star
43

closure-annotate-jsdoc3

The is a Jsdoc3 plugin make Closure Library (and Closure Compiler) style annotation available.
JavaScript
1
star
44

promised-params-collector

JavaScript
1
star
45

wordle

Wordle solver implemented by Prolog
Prolog
1
star
46

chai-stream

Extends Chai with assertions about streams.
JavaScript
1
star
47

reversi-pml

Model checker playground for https://github.com/Kuniwak/reversi-ios
sed
1
star