ikedaisuke/flymake-Haskell ikedaisuke/flymake-Haskell

  • Stars
    star
    1
  • Language
    Perl
  • Created about 13 years ago
  • Updated about 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ikedaisuke/flymake-Haskell
github

ikedaisuke

Reviews

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

Repository Details

A minor mode flymake for Haskell

More Repositories

1

rushcheck

A lightweight (but tricky) random testing tool for Ruby
Ruby
57
star
2

HoareLogic

Hoare Logic in Agda2 (import from http://ocvs.cfv.jp/Agda/readmehoare.html)
7
star
3

Pythagoras

A proof of Pythagoras's theorem by Agda2 (from the original proof by Thierry Coquand)
4
star
4

OnlineStudyMeetings

GitHubでオンライン勉強会
4
star
5

ruby-kansai-ical

Ruby関西のスケジュールを iCalendar 形式で作成
Ruby
3
star
6

TPPmark2011

A proof of the problem TPP2011, called TPPmark
2
star
7

goa

Offers an interface to be able to call Lambdabot commands within GHCi
Haskell
1
star
8

flymake-LaTeX

A minor mode flymake for LaTeX
Shell
1
star
9

BLAST

Verification of some C programs using BLAST
C
1
star
10

Blogs

the entire contents of my blogs
Java
1
star