• Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Scala
  • Created over 11 years ago
  • Updated over 11 years ago

Reviews

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

Repository Details

REPL setup for the typelevel.scala projects

More Repositories

1

poi.scala

Excel meets scalaz
Scala
167
star
2

dotfiles

Personal home directory config
Vim Script
10
star
3

roy-mode

Roy mode for emacs
Emacs Lisp
7
star
4

2013-scalaeXchange

Source code for "There's a prolog in your Scala!" presentation at Scala eXchange conference 2013.
Scala
7
star
5

.emacs.d

My emacs settings (deprecated in favour of spacemacs: https://github.com/syl20bnr/spacemacs)
Emacs Lisp
6
star
6

fby

Scala
3
star
7

typelevel-activator.g8

giter8 template for typelevel.scala projects
Scala
3
star
8

london-scala

Scala
3
star
9

type-level-birds

Type-level encoding of Combinator Birds in Scala.
Scala
3
star
10

scalar-conf

Scala
3
star
11

juick-psto-bnw-nya

Doubleposter bot
Python
2
star
12

sf-building

An attempt to compile and generate docs from Benjamin Pierce's "Software Foundations"
Coq
2
star
13

BeanShell-REPL-Module

BeanShell eval-service for the REPL app. It works only with the REPL app (you can find it in android market).
Java
2
star
14

macros-playground

Experiments with macros
Scala
2
star
15

scalaz-talk-berlin

Materials for scalaz talk on April 17
1
star
16

folone.github.com

My homepage.
SCSS
1
star
17

scalaworld

Scala
1
star
18

scalaua

1
star
19

2014-scala.io

Scala
1
star
20

funclub-words

Scala
1
star
21

soundcloud-challenge

Shell
1
star
22

roy-maven-plugin

Maven plugin for compiling roy files while performing maven build.
Scala
1
star
23

DDL-comparer

Compares ddl's, checks if they are equivalent
Scala
1
star
24

pylude

fork of pylude by @tmorris (https://code.google.com/p/pylude/)
Python
1
star
25

abstract-nonesense

Unifying my for-fun useless projects under one hood.
Scala
1
star
26

emacs-scalaz-unicode-input-method

Easy typing of Unicode symbols in Emacs, tailored for Scala sources, that make use of scalaz library
Emacs Lisp
1
star
27

Scheme-REPL-module

Scheme eval-service for the REPL app. It works only with the REPL app (you can find it in android market).
Java
1
star