svenkeidel/category-theory svenkeidel/category-theory

  • This repository has been archived on 05/May/2023
  • Stars
    star
    1
  • Language Coq
  • License
    BSD 3-Clause "New...
  • Created about 7 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
svenkeidel/category-theory
github

svenkeidel

Reviews

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

Repository Details

Category Theory formalized in Coq

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

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