• Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created 7 months ago
  • Updated 7 months ago

Reviews

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

Repository Details

Single transferable vote (STV) computation written in Haskell

More Repositories

1

learn-git-the-super-hard-way

不走寻常路的Git教程
475
star
2

draw.io-export

Convert draw.io xml to pdf/png within command line. (diagrams.net)
JavaScript
63
star
3

graphql-advanced-projection

Fully customizable Mongoose/MongoDB projection generator.
JavaScript
46
star
4

ttyssh

ssh with tty (serial port) forwarding
Shell
39
star
5

git-get

Blazingly fast git clone alternative
Shell
36
star
6

ProfessionalAccounting

Accounting software with debit and credit. 使用借贷记帐法的记账软件
C#
27
star
7

hub-sync

Sync your github forks without git.
JavaScript
24
star
8

Deep-DarkFantasy

Global Dark Mode for ALL apps on ANY platforms.
Verilog
16
star
9

creepy-git-repo

A git repo that is creepy
15
star
10

why-i-gave-up-using-windows

全方位控诉Windows的使用和开发体验
12
star
11

copy-bibtex-to-clipboard

A Chrome extension that boost your paper writing (especially the literature review part).
JavaScript
11
star
12

c

c for cook: 根据食材列表自动推荐菜谱
JavaScript
10
star
13

MineSweeperProb

A deterministic Minesweeper solver
C++
7
star
14

no-evil-eol-newline

Hide the last 'new line' in Atom, just like vim does.
JavaScript
7
star
15

e-curtain

Minimalistic IoT on Raspberry Pi, C++, Matlab/Simulink, Rust, JavaScript
C++
6
star
16

b1f6c1c4

⇑ Detailed list of my repos inside. 点进来瞧瞧吧~
6
star
17

IPA-JFK

IPA narrow transcription of English words in New York City accent
JavaScript
6
star
18

remote-exec

Run command on remote machine using sshfs
Shell
6
star
19

cp-mv-paste

Two-step file copy/move. Specify source file(s) in one command, cd to another directory, paste there.
Shell
5
star
20

cpp-create-objects

How many ways to create object(s) in C++?
C++
5
star
21

jest-mongoose

Mongoose integration test made easy and terse.
JavaScript
5
star
22

shared-git-config

Keep your git config synchronized across different computers.
4
star
23

unfk

Remove all f**ks in your git commit history
Shell
4
star
24

git-fancy-push

The Ultimate Solution towards "shallow update not allowed" in git push
Shell
3
star
25

ansys-moe

Computer-automated Design (CautoD) System 自动化设计系统
JavaScript
3
star
26

pythoness

Check how pythonic a Github user is.
JavaScript
3
star
27

ajnin

A Beautiful, Distributive Ninja generator
C++
3
star
28

git-suir

git submodule update --init --recursive
Shell
3
star
29

b1cal

Minimal web-based calendar.
JavaScript
2
star
30

findbug

Locate bug(s) for ANY program with YES/NO feedback only.
JavaScript
2
star
31

tty-switcher

Switch b/w TTYs (Linux Console), call vlock(1), etc. using Adafruit MACROPAD RP2040
C
2
star
32

CPU

A system with overly simplified MIPS instruction set, with an associated assembler, an debugger, and example programs.
C#
2
star
33

advanced-injection-plugin

Versatile asset injection for html-webpack-plugin.
JavaScript
2
star
34

git-freeze

Convert git submodules to regular directories
Shell
2
star
35

memobird-cli

lpr for memobird
JavaScript
2
star
36

learn-ffmpeg-the-super-easy-way

走寻常路的ffmpeg教程
2
star
37

gradle-run-with-arguments

IntelliJ IDEA plugin: gradlew run --args "..."; System.out.print(...);
Java
2
star
38

ballot

Customizable anonymous online balloting system with ring signature authentication.
JavaScript
2
star
39

naive-garble

Naïve implementation of garbled circuits.
C
2
star
40

shared-vim-config

Keep your vim config synchronized across different computers.
Vim Script
2
star
41

tipa2unicode

Convert LaTeX/TIPA to Unicode IPA
JavaScript
1
star
42

try-react

A react boilerplate
JavaScript
1
star
43

pha

MATLAB
1
star
44

IPA-PEK

IPA narrow transcription of Chinese Mandarin words in Beijing accent
JavaScript
1
star
45

wicky-monads

Pain-reliever for build systems.
C++
1
star
46

CSharpHttpServer

HTTP server written in plain C# (absolutely NOT ASP.NET)
C#
1
star
47

WebLearnCli

C#
1
star
48

protect

Protect a folder from accidental rm -rf
Shell
1
star
49

lecroy_tcp

TCP/IP (VICP) Control of a LeCroy DSO with Linux, mirror of http://optics.eee.nottingham.ac.uk/lecroy_tcp/
C
1
star
50

MWLite

C++
1
star
51

lab-scpi

Easily configurable lab assistant that logs data using SCPI protocol
C++
1
star
52

git-lad

git add that follows symbolic links
Shell
1
star
53

AlarmSystem

Verilog
1
star
54

Inverter

Invert your screen color when you want to
1
star
55

overwatch-arcade-shortcut

JavaScript
1
star
56

renpy-counter

Estimate the length of your Ren'Py game (i.e. how long an average player plays your game)
JavaScript
1
star