Popular repositories Loading

1. Functional-DiaSpec Functional-DiaSpec Public

   Forked from DamienCassou/Functional-DiaSpec

   Experiment with an implementation of a DiaSpec compiler which generates a functional programming framework

   Haskell 1 1

2. HaskellerZ HaskellerZ Public

   Forked from zfoh/HaskellerZ

   Notes and files from HaskellerZ meetups.

   HTML

3. propcheck propcheck Public

   Forked from polux/propcheck

   Exhaustive and randomized testing of Dart properties

   Dart

4. android-oauth-client android-oauth-client Public

   Forked from pilif/android-oauth-client

   Android OAuth Client (android-oauth-client) is a library that helps to easily add an OAuth flow to an existing Android application.

   Java

5. OAuth2 OAuth2 Public

   Forked from p2/OAuth2

   OAuth2 framework for macOS and iOS, written in Swift.

   Swift

6. SQLite.swift SQLite.swift Public

   Forked from stephencelis/SQLite.swift

   A type-safe, Swift-language layer over SQLite3.

   Swift