svenkeidel/sturdy svenkeidel/sturdy

  • Stars
    star
    60
  • Rank 501,857 (Top 10 %)
  • Language Pascal
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
svenkeidel/sturdy
github

svenkeidel

Reviews

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

Repository Details

Sturdy is a library for developing sound static analyses in Haskell.

More Repositories

1

category-studygroup

TeX
8
star
2

hsynth

Software Synthesizer in Haskell
Haskell
4
star
3

gnome-citadel

Simulation game inspired by Dwarf Fortress
Haskell
3
star
4

GdI-1-SS2010-Scheme

1
star
5

category-theory

Category Theory formalized in Coq
Coq
1
star
6

tree-automata

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

Samegame

Java
1
star
8

GdI-2-SS2011

Java
1
star
9

hug

Code for the Frankfurt Haskell User Group
Haskell
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