• Stars
    star
    33
  • Rank 755,009 (Top 16 %)
  • Language
    Scala
  • Created almost 9 years ago
  • Updated almost 9 years ago

Reviews

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

Repository Details

Type level lambda calculus in Scala

More Repositories

1

evil-plugins

Plugins for Emacs Evil.
Emacs Lisp
66
star
2

term-plus-el

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

bullet-scala

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

LambdaJS

An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
JavaScript
48
star
5

apiconsole

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

record4s

Extensible records for Scala
Scala
37
star
7

dotfiles

tarao's dot files.
Emacs Lisp
29
star
8

slick-jdbc-extension-scala

An extension to slick.jdbc
Scala
23
star
9

oss-contributions

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

bundle-el

An el-get wrapper
Emacs Lisp
13
star
11

el-get-lock

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

lambda-scala3

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

ruby-functional

Ruby
10
star
14

nonempty-scala

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

anything-git-files-el

Emacs Lisp
9
star
16

scala-bootstrap-el

Emacs Lisp
8
star
17

prisoners-switch

Solution checker for the Prisoners and the Switch Room problem
Go
7
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

vimpulse-plugins

Plugins for Emacs Vimpulse.
Emacs Lisp
3
star
29

textserver

Edit on Firefox using external text editors.
Ruby
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

windows-mmtools

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

tarao.github.io

Ruby
1
star