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

553–576 of 763 · Most stars

Web application to manage CSA (Community Supported Agriculture), ACP (Agriculture Contractuelle de Proximité) or Solawi (Solidarische Landwirtschaft) organizations.

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

Package dhcp6 implements a DHCPv6 server, as described in RFC 3315. MIT Licensed.

Signals is a framework for developing enterprise and SaaS applications that follows the USE-CASE driven methodology

BeanIO 3, a Java library for marshalling and unmarshalling bean objects from XML, CSV, delimited and fixed length stream formats.

  • java
  • library
  • marshalling
  • unmarshalling