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

289–312 of 313 · Most stars

Get jumpstarted with aWhere's API platforms using these code samples. More languages and samples will be coming, feel free to fork and contribute!

An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm

An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.

Query locations for elevation data from the NASA Shuttle Radar Topography Mission

  • srtm
  • srtm3
  • srtm1
  • usgs-data

greg(g)d - Global runtime for eBPF-enabled gathering (w/ gumption) daemon

This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.