Javran/Thinking-dumps Javran/Thinking-dumps

  • Stars
    star
    24
  • Rank 986,245 (Top 20 %)
  • Language Coq
  • Created almost 12 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Javran/Thinking-dumps
github

Javran

Reviews

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

Repository Details

This repo keeps track of my codes, answers and thinkings when exploring books.

More Repositories

1

advent-of-code

Solutions, scripting, and templates for adventofcode.com
Haskell
23
star
2

swf-extract

A simple node module for reading SWF format
JavaScript
15
star
3

h2048

An Implementation of Game 2048
Haskell
14
star
4

unicode-general-category

Unicode General Category
Haskell
6
star
5

haskollect

A collection of Haskell related articles & links
6
star
6

BigBunnyAndDeer

Big bunny and deer
Haskell
5
star
7

kancepts

KANColle ExPedition ToolSets
JavaScript
5
star
8

xmonad-entryhelper

xmonad-entryhelper makes your compiled XMonad config a standalone binary.
Haskell
4
star
9

javrania

Source code for generating javan.github.io
CSS
3
star
10

leetcode

My LeetCode solutions, aiming at clear comments & explanations.
JavaScript
3
star
11

purple-plugin-pack

git repo exported from https://bitbucket.org/rekkanoryo/purple-plugin-pack
C
2
star
12

kantour

Haskell
2
star
13

poi-plugin-cqc

JavaScript
2
star
14

poi-plugin-auto-refresher

Avoid unwelcome nodes or edges by refreshing. use at your own risk.
JavaScript
2
star
15

asw-calc

JavaScript
1
star
16

purescript-kancolle-helpers

KanColle helpers
PureScript
1
star
17

ProjectEuler

My Project Euler solutions.
Haskell
1
star
18

poi-plugin-mo2

Morale monitor
JavaScript
1
star
19

twig

twig is an agent that enables people to get access to twitter freely via gtalk.
Python
1
star
20

poi-plugin-master-diff

Record difference upon game master data changes.
JavaScript
1
star