• Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Go
  • Created almost 6 years ago
  • Updated almost 6 years ago

Reviews

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

Repository Details

Solution checker for the Prisoners and the Switch Room problem

More Repositories

1

evil-plugins

Plugins for Emacs Evil.
Emacs Lisp
66
star
2

record4s

Extensible records for Scala
Scala
64
star
3

term-plus-el

A terminal emulator in Emacs (term.el enhancement: 256 colors, edit mode, logging, multiplexer and shell integration)
Emacs Lisp
59
star
4

bullet-scala

A monadic library to resolve object relations with the aim of avoiding the N+1 query problem.
Scala
54
star
5

LambdaJS

An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
JavaScript
47
star
6

apiconsole

A web-based console view to manipulate APIs of an arbitrary website.
Go
46
star
7

lambda-scala

Type level lambda calculus in Scala
Scala
33
star
8

dotfiles

tarao's dot files.
Emacs Lisp
30
star
9

slick-jdbc-extension-scala

An extension to slick.jdbc
Scala
23
star
10

oss-contributions

List OSS contributions of users or organization members
Ruby
18
star
11

bundle-el

An el-get wrapper
Emacs Lisp
13
star
12

el-get-lock

Lock El-Get package repository versions
Emacs Lisp
12
star
13

lambda-scala3

Type-level lambda calculus in Scala 3
Scala
12
star
14

ruby-functional

Ruby
10
star
15

nonempty-scala

A value class for non-empty collections in Scala
Scala
10
star
16

anything-git-files-el

Emacs Lisp
9
star
17

scala-bootstrap-el

Emacs Lisp
8
star
18

term-plus-mux-el

A terminal multiplexer module for term+.el
Emacs Lisp
6
star
19

with-eval-after-load-feature-el

`with-eval-after-load` with requering the feature during the compilation
Emacs Lisp
6
star
20

el-get-cli

Emacs Lisp
6
star
21

namedcap-scala

Provides named capturing groups with some enhanced features
Scala
5
star
22

gulp-less-dependents

JavaScript
5
star
23

multi-mode-util

A package of Emacs Lisp for easy-to-use multiple major mode.
Emacs Lisp
5
star
24

key-intercept-el

Emacs Lisp
5
star
25

collection-scala

Collection utilities in Scala
Scala
4
star
26

rskkserv

SKK Dictionary server implemented by Ruby (fork of cvs.sourceforge.jp:/cvsroot/rskkserv).
Ruby
4
star
27

tab-group-el

Emacs Lisp
3
star
28

textserver

Edit on Firefox using external text editors.
Ruby
3
star
29

vimpulse-plugins

Plugins for Emacs Vimpulse.
Emacs Lisp
3
star
30

cvim-edit-el

Emacs Lisp
2
star
31

git-insert-root

Insert a new root commit on current branch
Shell
2
star
32

bookmarklet

JavaScript
2
star
33

term-plus-ki-el

Emacs Lisp
1
star
34

term-plus-all

A virtual package for term+.el to retrieve all dependent files
Emacs Lisp
1
star
35

perl5-HTML-ExtractContent

Perl
1
star
36

emacs-pervasives

Emacs Lisp
1
star
37

el-get-cask

Cask interface on El-Get
Emacs Lisp
1
star
38

perl5-Plack-Middleware-StackTrace-RethrowFriendly

Perl
1
star
39

elisp

Emacs Lisp
1
star
40

perl5-DBIx-Handler-Sunny

Perl
1
star
41

term-plus-mode-el

Emacs Lisp
1
star
42

windows-mmtools

Trivial hacks useful in multi-monitor environments on Windows.
C++
1
star
43

tarao.github.io

Ruby
1
star