nominolo (Thomas Schilling)

You’re not logged in!
Login
Pricing & Signup

Name: Thomas Schilling

Location: Canterbury, UK

Member Since: Apr 08, 2008 (about 1 year)

18 public repos
7 followers

Following 8 githubbers and watching 33 repositories view all →

Public Repositories (18)

- 1
- 1
13

Because alphabetic names are lame.

Last updated Sat Nov 14 18:31:45 -0800 2009
- 38
- 19
scion

IDE library for Haskell based on the GHC API.

Last updated Mon Nov 02 11:43:38 -0800 2009
- 2
- 1
rpl

Compiler and type-checker experiments

Last updated Tue Oct 13 16:46:59 -0700 2009
- 1
- 1
union-find

Efficient union and equivalence testing of sets.

Last updated Mon Sep 07 09:08:31 -0700 2009
- 1
- 1
named-lock

A named lock that is created on demand.

Last updated Mon Aug 24 14:41:33 -0700 2009
- 2
- 1
ghc-syb

Scrap Your Boilerplate instances for GHC's data types

Last updated Mon May 18 21:59:36 -0700 2009
- 1
- 1
haskell-style-guide

A style guide for Haskell code.

Forked from tibbe/haskell-style-guide Sat Mar 14 14:12:39 -0700 2009

Last updated Sat Mar 14 15:15:30 -0700 2009
- 5
- 0
darcs-to-git

Fork of Steve Purcell's darcs-to-git converter from http://git.sanityinc.com/

Last updated Wed Mar 11 07:33:34 -0700 2009
- 2
- 0
enumerator

Experiments in enumerator API design

Last updated Fri Dec 19 07:56:05 -0800 2008
- 1
- 1
gitsum

basic darcsum feelalike for Git

Forked from chneukirchen/gitsum Fri Aug 29 07:36:38 -0700 2008

Last updated Thu Dec 18 11:47:14 -0800 2008
- 2
- 2
network-bytestring

Fast and memory efficient low-level networking for Haskell.

Forked from tibbe/network-bytestring Wed Oct 29 06:41:42 -0700 2008

Last updated Thu Oct 30 18:17:31 -0700 2008
- 1
- 0
sketches

Small experiments

Last updated Tue Oct 28 16:25:18 -0700 2008
- 1
- 0
fluffy

Fluffy fur fuzz.

Last updated Mon Oct 27 15:07:55 -0700 2008
- 1
- 0
ghc-uniplate

Uniplate instances for GHC datatypes.

Last updated Mon Oct 20 06:31:21 -0700 2008
- 1
- 0
emacs

Emacs configurations files and scripts

Last updated Fri Aug 08 16:45:14 -0700 2008
- 2
- 1
home

My home-dir stuff

Last updated Sun Jul 20 13:40:10 -0700 2008
- 1
- 0
proofs

Various Coq stuff

Last updated Fri May 30 06:04:33 -0700 2008
- 1
- 0
flexcomp

flexcomp

Last updated Tue May 13 06:14:21 -0700 2008

Public Activity

nominolo created branch master at nominolo/13 Sat Nov 14 18:31:45 -0800 2009

New branch is at nominolo/13/tree/master

nominolo created repository 13 Sat Nov 14 18:30:53 -0800 2009

New repository is at nominolo/13

nominolo pushed to devel at nominolo/scion Mon Nov 02 11:43:38 -0800 2009

HEAD is bcecd7d113453f5565c7ca0d9c47c42c7774b879

Thomas Schilling committed bcecd7d1:

Use -DSCION_DEBUG instead of -DDEBUG in testing mode.

nominolo pushed to devel at nominolo/scion Mon Nov 02 11:38:03 -0800 2009

HEAD is e1396617c43b3a300142ab9958a7bfde59f3e04f

Thomas Schilling committed e1396617:

Fix #36. Forgot to adapt to protocol change.

nominolo pushed to devel at nominolo/scion Mon Nov 02 11:17:46 -0800 2009

HEAD is ebe94bfc53445a0294a551703d572afed42d67cc

Thomas Schilling committed ebe94bfc:

Fix #36. Forgot to adapt to protocol change.

nominolo pushed to devel at nominolo/scion Wed Oct 21 04:01:26 -0700 2009

HEAD is 32f7aadab75bb420e89374299773651b83424a73

3 commits »

nominolo pushed to devel at nominolo/scion Tue Oct 20 14:22:46 -0700 2009

HEAD is 5dfcbbb0bf2aa1689c6a7014f20d0ed8e799c85c

20 commits »

Thomas Schilling committed 5dfcbbb0:

Add a bit of documentation in `S.Inspect`.
Thomas Schilling committed 1e892904:

Add some documentation in `S.Cabal`.
Thomas Schilling committed 86caf1d8:

Clean up formatting in `S.Server.Commands`.
Thomas Schilling committed b334f6d1:

Start support for storing a local NameDB.
Thomas Schilling committed 9b8a874e:

Remove impossible case.
Thomas Schilling committed c610b149:

Fix formatting in `S.Session`.
Thomas Schilling committed 0cb65f3a:

Add version constraints in .cabal file.
Thomas Schilling committed 344e22df:

Fix formatting in `S.Types.Outline`.
Thomas Schilling committed 2abbe9d7:

Fix formatting in `S.Types.Notes`.
Thomas Schilling committed 831958ca:

Fix formatting in `S.Inspect`.
Thomas Schilling committed 5632276c:

Clean up formatting in `S.Cabal`.
JPMoresmau committed 1c553e5c:

recover on GHC exception during arbitrary check
JPMoresmau committed 54fbbc3c:

backgroundTypecheckArbitrary initial version
JPMoresmau committed f6f8b67b:

outline dumps unqualified names, and we need the type of the parent
JPMoresmau committed 2f02920f:

Outline types moved to own module, hierarchy of Data types constructors and fields
JPMoresmau committed ca288e37:

outline method (topLevelNames with type and location)
unknown committed 25ec333a:

remove commented out code from JP's previous version
unknown committed 594de805:

incorporated nominolo's devel branch
JP Moresmau committed d2706957:

allow output to be generated, expose preprocess
unknown committed 8435f47c:

Add build option to loadComponent

nominolo created branch poly_slice at nominolo/rpl Tue Oct 13 16:46:59 -0700 2009

New branch is at nominolo/rpl/tree/poly_slice

nominolo pushed to master at nominolo/rpl Thu Oct 08 11:37:41 -0700 2009

HEAD is 6d7d78c729938dc9484ff34390458bee03f37c1f

3 commits »

nominolo pushed to master at nominolo/rpl Thu Oct 08 10:10:23 -0700 2009

HEAD is afd046ce83768adbb7b726265cf3cb07a2252f05

3 commits »

nominolo pushed to master at nominolo/rpl Tue Oct 06 16:01:20 -0700 2009

HEAD is 9f2bae1e82f8d2a2ac6dc482ddfbda33cb9f38a2

6 commits »

nominolo pushed to master at nominolo/rpl Mon Oct 05 15:51:27 -0700 2009

HEAD is d402aaa9ed2bb7bcd6d0cb9cbbfd0236700f33d7

Thomas Schilling committed d402aaa9:

Move constraint minimisation stuff into separate module and related cleanups.

nominolo pushed to master at nominolo/rpl Mon Oct 05 11:28:22 -0700 2009

HEAD is 6de953e7bff199d67183f96e6b1b1075b8cfc4f7

3 commits »

nominolo pushed to master at nominolo/rpl Sun Oct 04 07:48:38 -0700 2009

HEAD is 71f42663ef29ac12c5f5077012299c03fa6f63f6

13 commits »

Thomas Schilling committed 71f42663:

Add/Edit a few simple test cases.
Thomas Schilling committed f2a19de5:

Use left-recursion in the parser.
Thomas Schilling committed a4f3ce10:

Use environment in J; split env into global env and local (monomorphic) env.
Thomas Schilling committed a9bc5248:

Allow constructors in expressions.
Thomas Schilling committed 79039409:

Add preliminary support for logging constraints (algorithm J only).
Thomas Schilling committed 7f6c759e:

Implement type checking of data types (and constructs an environment).
Thomas Schilling committed 559c324f:

Generalise `fromUserType` and handle the type env properly.
Thomas Schilling committed 96843ad5:

Unify error message interface a bit.
Thomas Schilling committed dacbe14d:

Add `viewFun` and `viewApp`; counterparts to n-ary `@@` and `.->.`.
Thomas Schilling committed 7abe7bc3:

Add syntactic support for data type declarations.
Thomas Schilling committed 578dab5e:

Add built-in type env and use temporary fix for Ids+uniques.
Thomas Schilling committed dcdc4edd:

Add `HasSpan` class for everything that has a location annotation.
Thomas Schilling committed 81f3905a:

Add a few helpers to `R.U.Pretty`.

nominolo pushed to master at nominolo/rpl Thu Oct 01 11:24:03 -0700 2009

HEAD is 3f87e76df2d15e6beedb076a21d9812654b95955

5 commits »