• Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    F#
  • Created over 12 years ago
  • Updated almost 12 years ago

Reviews

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

Repository Details

Simple fluent agent for Windows

More Repositories

1

LoveLiver

Create Apple's Live Photos from JPEG and MOV.
Swift
385
star
2

SlackStack

Multi-column/multi-row slack client for macOS
Swift
283
star
3

sushibar

TouchBar example
Swift
118
star
4

prpr

GitHub pull requests' reaction bot
Ruby
74
star
5

EmojiIM

πŸ˜€ masOS Emoji Input Method
Swift
59
star
6

famicom

Famicom(NES) toolkit written by golang.
Go
51
star
7

EagleJumpSystem

yonkoma manga management system ✨
JavaScript
44
star
8

ocaml-hoogle

OCaml API search allows you to search many standard O'Caml libraries by either function name, or by approximate type signature. It is similar to Hoogle, which is a Haskell API search engine. You could use this on Web browser.
OCaml
38
star
9

OctoEye

:octocat: Github viewer for Files.app
Swift
33
star
10

bs-lwt

BuckleScript bindings for Lwt
OCaml
26
star
11

tumblotte

Markdown editor of Tumblr for MacOS X.
JavaScript
21
star
12

msgpack-ocaml

MessagePack for OCaml/Coq
OCaml
15
star
13

websocket-ocaml

WebSocket Server for OCaml
OCaml
15
star
14

space_tab_bot

Github bot to detect space-tab-mixed files, and post issue.
Standard ML
12
star
15

qltext-jp

A quicklook plugin for Japanese text file(e.g. Shift JIS, EUC-JP, or UTF-8)
C
11
star
16

coq-ruby

OCaml
11
star
17

mini-os-with-ajhc

Snatch Mini-OS/Xen using Haskell and Ajhc compiler.
C
10
star
18

trello.md

πŸ“‹Copy trello board information to clipboard as markdown format.
OCaml
10
star
19

min-caml

min-caml[forked]
OCaml
9
star
20

tiny-web-server

http server serve static files to public it for other machines at same network.
Rust
9
star
21

lambda

simple typed lambda calculus on Coq
Verilog
8
star
22

scheme-abc

Scheme compiler for ActionScript3 Bytecode/Flash
OCaml
8
star
23

hato

🐦 programmable notification for esa.io and Slack using Lambda and API Gateway.
JavaScript
7
star
24

coq-for-ipad

OCaml
7
star
25

condoc

Coqdoc to markdown
Scala
6
star
26

sunspider-jsx

sunspider benchmark for jsx
JavaScript
6
star
27

ruboty-misawa

Ruboty plugin to show misawa's horesase boys
Ruby
5
star
28

wercker-step-http-notify

A wercker plugin: Send http request to specified url(a.k.a. webhook)
Shell
4
star
29

zoi-grep

Grep for https://github.com/mzp/EagleJumpSystem
Go
4
star
30

GC

Proof of Garbage Collector
Verilog
4
star
31

frama-gc

Mark&Sweep GC verified by frama-c
C
4
star
32

websocket-plugin

Jenkins Websocket Notifier: notify a build result via websocket
Java
4
star
33

DarkMenuBar

Toggle dark mode on menubar
Swift
4
star
34

w3m

w3m
C
4
star
35

podcast-player

HTML5 Podcast player
JavaScript
4
star
36

docker-bucklescript

3
star
37

happyabc

HappyABC driver & release script
OCaml
3
star
38

HeartVoice

Display your heartbeat to indicate your exciting level.
Swift
3
star
39

coq-ide-for-ios

OCaml
3
star
40

Docker.img

Change disk image type of Docker for Mac
Shell
3
star
41

skk-sync

SKK Dictionary synchronization
Python
2
star
42

smlsharp-annot

A patch and emacs lisp for SML# compiler to show a type of expression.
Standard ML
2
star
43

hogewiki

JavaScript
2
star
44

ruboty-timeline

Ruby
2
star
45

korokoro-koropicot

ころくん(@koropicot)γ‚’θ»’γŒγγ†
JavaScript
2
star
46

CreateMusicPlaylistFromImasdb

Create Music Playlist from imas-db.jp
AppleScript
2
star
47

coq

coq wiki
2
star
48

ounit-example-1

OUnit example
OCaml
2
star
49

Bismush

Paint app as Metal Playground
Swift
2
star
50

AtsutaKatze

JavaScript
2
star
51

cpdt

Verilog
2
star
52

radikocast

radiko β†’ podcast
Python
2
star
53

istream

Generate HTML to play video on iPod touch/iPhone.
Ruby
2
star
54

docker-wine

Dockerfile for wine and vnc
Shell
2
star
55

AttendList

AttendList is a web service to create Twitter list from partake event.
Scala
2
star
56

unageel

Jenkins Websocket Plugin
Java
2
star
57

asig

AsakusaSatellite IRC Gateway
OCaml
2
star
58

zaw-emoji

zaw-source for πŸ˜„
Shell
2
star
59

text.mzp.jp

HTML
1
star
60

arisu-in-fact

Python
1
star
61

hadoop-on-scala

Scala
1
star
62

totp

Time-based One-time password generator for study.
Swift
1
star
63

prpr-trello

Prpr plugin to move trello card when pull request status is changed.
Ruby
1
star
64

home-image

Python
1
star
65

prpr-lgtm

Prpr::Lgtm
Ruby
1
star
66

bleis

1
star
67

fumifumi

πŸ“ša bookshelf for comic magazine
Ruby
1
star
68

prpr-gemfile

Prpr plugin to annotate major/minor version changing at Gemfile.lock.
Ruby
1
star
69

sf-beta

Python
1
star
70

kyon_kao_wedding

OCaml
1
star
71

tiny-mozc

reimplementation of mozc algorithm for study
Ruby
1
star
72

Shinchoku

進捗どうですか - watchOS 2 sample
Swift
1
star
73

git-test

gitε‹‰εΌ·δΌšγƒ†γ‚Ήγƒˆη”¨γƒ¬γƒγ‚Έγƒˆγƒͺ
1
star
74

coq-js

OCaml
1
star
75

kct

1
star
76

moji

Present slideshow of characters which has similar but not same glyph.
JavaScript
1
star
77

test

test
1
star
78

webkitnotification-growl-bridge

JavaScript
1
star
79

AsakusaStatics

Ruby
1
star
80

fluentd-plugin-asakusa-satellite

fluetnd input plugin for AsakusaSatellite
Ruby
1
star
81

heroku-buildpack-ocaml-sample

OCaml buildpack sample
OCaml
1
star
82

heroku-buildpack-eliom-sample

OCaml
1
star
83

applpi

Verilog
1
star
84

smlsharp

deprecated see https://github.com/mzp/smlsharp-annot
Standard ML
1
star
85

vr-poster

Paste cute girl poster in a VR world.
C#
1
star
86

ladder

RSS Reader
TypeScript
1
star
87

cocoapods-app_group

Customizable app group plugin
Shell
1
star
88

DarkTimeline

Ruby
1
star
89

dominion

Nobinion - Network dominion
OCaml
1
star
90

box-smlsharp

1
star
91

fluentd-on-heroku

Ruby
1
star
92

danbo

Ruby
1
star
93

ruboty-shinchoku

A Ruboty plugin to show 進捗どうですか? image.
Ruby
1
star
94

jinrou

Python
1
star
95

PartakeList

1
star
96

frama-c-sample

C
1
star
97

ShimbashiShelf

Scala
1
star
98

ripple

🌊 Typed redux wrapper for BuckleScript
OCaml
1
star
99

smlsharp-annot-emacs

emacs lisp for smlsharp-annot
Emacs Lisp
1
star
100

pfds

OCaml
1
star