Hide content and notifications from this user.
Contact Support about this user's behavior.
GRIN: Graph Reduction Intermediate Notation, a strongly optimisable intermediate language for lazy functional languages
Industrial-strength monadic parser combinator library
An implementation of "Freer Monads, More Extensible Effects".
Generate cryptographic nonces.
Service to run Google's DroidGuard binary in an isolated environment
Nix Packages collection
Proposed compiler and language changes for GHC and GHC/Haskell
A modern tool for literate programming
A Haskell library supporting flexible, dynamic file-based configuration.
Matrix Documentation (including The Spec)
Open source 3GPP LTE library
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
A scratchpad for small experimental things I am doing with Nix.
Implementation of Play Services Core package
A glossy Matrix collaboration client for Android
Backend for UnifiedNlp that uses Mozilla Location Service for geolocation.
UnifiedNlp Backend that uses Apple's service to resolve wifi locations. Location calculation is done onboard and wifi locations are cached to minimize data usage.
UnifiedNlp geocoder backend that uses the OSM Nominatim service
API interfaces and helpers to create backends for UnifiedNlp
GsfProxy: legacy support proxy library, requires GmsCore
Mocks the existence of the Google Play Store
The next generation Network Location Provider, based on plugins.