svenkeidel/hug svenkeidel/hug

  • This repository has been archived on 05/May/2023
  • Stars
    star
    1
  • Language
    Haskell
  • Created about 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
svenkeidel/hug
github

svenkeidel

Reviews

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

Repository Details

Code for the Frankfurt Haskell User Group

More Repositories

1

sturdy

Sturdy is a library for developing sound static analyses in Haskell.
Pascal
60
star
2

category-studygroup

TeX
8
star
3

hsynth

Software Synthesizer in Haskell
Haskell
4
star
4

gnome-citadel

Simulation game inspired by Dwarf Fortress
Haskell
3
star
5

GdI-1-SS2010-Scheme

1
star
6

category-theory

Category Theory formalized in Coq
Coq
1
star
7

tree-automata

Regular tree automata library by Michael D. Adams
Haskell
1
star
8

Samegame

Java
1
star
9

GdI-2-SS2011

Java
1
star
10

stream-bench

Benchmarks for Stream Datatypes
Haskell
1
star
11

monto-broker

Upstream is at https://github.com/monto-editor/broker
Haskell
1
star
12

haskell-meetup-talk-05-09-19

Haskell
1
star