kappelmann/engaging-large-scale-functional-programming kappelmann/engaging-large-scale-functional-programming

  • Stars
    star
    6
  • Rank 2,486,585 (Top 50 %)
  • Language
    Haskell
  • Created over 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kappelmann/engaging-large-scale-functional-programming
github

kappelmann

Reviews

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

Repository Details

More Repositories

1

eidi2_repetitorium_tum

This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.
OCaml
14
star
2

foss_course

A university course template to teach about Free and Open-Source Software (FOSS)
HTML
4
star
3

Isabelle-Set

Soft types for Isabelle - bringing types to the world of set-theory.
Isabelle
3
star
4

SpecCheck

QuickCheck-like testing framework for Isabelle/ML
Standard ML
2
star
5

actnow_email

Create email templates and share them with others; supports contact data backends.
TypeScript
1
star
6

transport-isabelle

Theory of Transporting Definitions and Proofs via Galois Connections and Equivalences in Isabelle
Isabelle
1
star