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

3,721–3,744 of 4,931 · Most stars

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

A curated list of awesome Qlik extensions and resources for Qlik Sense and QlikView

  • qlik
  • qlik-sense
  • qlik-extension
  • qlik-sense-extension

Complete, dependency-free Go client for the YNAB API — 44 operations, exact integer money, first-class delta sync, contract-tested. Unofficial.

  • ynab
  • ynab-api
  • golang
  • go

Exercism exercises in Crystal.

  • exercism-track
  • community-contributions-accepted
  • maintained-solitary

NeuroAnatomy Toolbox: An R package for the (3D) visualisation and analysis of biological image data, especially tracings of single neurons.

  • r
  • neuroanatomy-toolbox
  • cran
  • neuron