Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

457–480 of 713 · Most stars

The legacy distributed object storage server developed by PitchPoint Solutions can store billions of large and small files using minimal resources. Object data is stored in replicated volumes implemented like Facebooks Haystack Object Store. Object metadata which essentially maps an object name to a volume position is stored in an elasticsearch index. (Development by PitchPoint Solutions has been discontinued)

Wrapper around mono library. Allows easy loading and interop between code written for the .NET framework and Rust.

  • csharp
  • dotnet
  • fsharp
  • mono

An F# Azure Type Provider which can be used to explore Blob, Table and Queue Azure Storage assets and easily apply CRUD operations on them.

  • azure
  • azure-storage
  • fsharp
  • typeprovider

A library for loading and saving GTFS feeds of arbitrary size with disk-backed storage

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs

Fast detection of repackaged Android applications based on the comparison of resource files included into the package.

  • android
  • android-security
  • repackaging-detection
  • java