• Stars
    star
    17
  • Rank 1,257,181 (Top 25 %)
  • Language
    Scala
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

A simple bidirectional type checker

More Repositories

1

jmustache

A Java implementation of the Mustache templating language.
Java
830
star
2

ios-scala-demo

A demo of building an iOS app in Scala (via IKVM via MonoTouch)
Scala
55
star
3

pythagoras

A portable library of geometry classes for Java
Java
44
star
4

ikvm-monotouch

IKVM 0.46.0.1 hacked to work with MonoTouch
Java
27
star
5

samskivert

Utilities library for Java
Java
22
star
6

euler-scala

Solutions to Project Euler problems in Scala.
Scala
20
star
7

compose

An experimental programming language.
Scala
18
star
8

coreen

An environment for reading, searching, navigating and visualizing code.
Java
18
star
9

immutablej

A javac annotation processor that makes Java variables default to immutable.
Java
14
star
10

mashups

A series of game prototypes based on mashing up my favorite mechanics.
Java
11
star
11

ikvm-maven-plugin

Runs IKVM from within Maven
Java
11
star
12

pom-util

Scala library for reading Maven POM files
Scala
8
star
13

sbt-condep-plugin

A plugin for supporting conditional direct dependencies in SBT
Scala
7
star
14

sbt-pom-util

SBT utility code that extracts metadata from POM files
Scala
6
star
15

ikvm-openjdk

A hacked version of OpenJDK 6 for IKVM + MonoTouch
Java
5
star
16

beschei-en

A card game written for the Amiga OS circa 1995.
C
4
star
17

scala-pf-rethink

Some benchmarks of alternatives to Scala's PartialFunction
Scala
4
star
18

curspace

Command line tool for Mac OS to identify current Space
Objective-C
3
star
19

garshneblanker

A screen saver for the AmigaOS. In active development from 1992-1995.
C
3
star
20

sicp-scala

An implementation of the exercises from SICP in Scala.
Scala
2
star
21

moveimap

Migrates mail from old IMAP server to new IMAP server
Java
2
star
22

reactual

Yet another FRP-ish library for Scala
Scala
2
star
23

travis-maven-deploy

Maven settings for deploying snapshots to SonaType via Travis CI.
2
star
24

fundus

A cross platform application/game framework for Scala
Scala
2
star
25

findclass

Tool for navigating Java/Scala/ActionScript/etc. projects
Scala
2
star
26

spacecrack

Prototype of a turn-based strategy game
Java
2
star
27

ReactSharp

A library for async & FRP-ish programming in C#
C#
1
star
28

docserver

A webapp that searches and serves up source and javadoc from a Maven repository
Scala
1
star
29

reversi

Standalone Reversi game plus Narya client/server
Java
1
star
30

coreen-client

The current binary distribution for Coreen.
Shell
1
star
31

pom2classpath

A tool for generating Eclipse .classpath files from Maven poms
Scala
1
star
32

layers

Java
1
star
33

jhotdraw6

Fork of jHotDraw6 for use in evaluating the DuctileJ research project.
Java
1
star
34

dicecraft

What happens when you put Dicey Dungeons into Remy's brain and let it simmer a bit.
C#
1
star
35

bidir-fsharp

"Complete and Easy" Bidirectional Type Checker for Higher-Rank Polymorphism in F#
F#
1
star
36

coreen-scala-reader

Generates resolved-name metadata for Scala code (for use by Coreen).
Scala
1
star
37

viztool

A tool for generating visualizations of collections of Java classes.
Java
1
star
38

website

The source for samskivert.com
HTML
1
star
39

memory

A wiki-like system for managing the "external memory" of a person or group.
Java
1
star
40

jogviz

A library for visualizing Java object graphs (i.e. in-memory data structures).
Java
1
star
41

depot-maven-plugin

A Maven plugin for doing Depot code generation
Java
1
star
42

coreen-java-reader

Generates resolved-name metadata for Java code (for use by Coreen).
Scala
1
star
43

codex

A multi-language code indexer and grokker
Scala
1
star
44

twingle

A semi-structured repository of Your Data
Scala
1
star