jan-christiansen/Language-based-Security jan-christiansen/Language-based-Security

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language Coq
  • Created over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jan-christiansen/Language-based-Security
github

jan-christiansen

Reviews

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

Repository Details

Course Language-based Security at Flensburg University of Applied Sciences

More Repositories

1

MOScrollView

Subclass of UIScrollView with custom timing function for animation of setContentOffset
Objective-C
37
star
2

cabal-uninstall

Very simple Haskell script to uninstall cabal packages
Haskell
28
star
3

MOTabView

View displaying several tabs similar to the view used in Safari for iOS
Objective-C
5
star
4

Fortgeschrittene-funktionale-Programmierung

Course Advanced Functional Programming at Flensburg University of Applied Sciences
Haskell
3
star
5

nextstep-plist

Parser and printer for NextStep style plist files
Haskell
3
star
6

kif-parser

Process KIF iOS test logs
Haskell
1
star