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

1,249–1,272 of 1,647 · Most stars

Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

Low-level, lightweight and performance-focused serializer for C# struct types that uses Source Generators technology.

  • csharp-serializer
  • csharp-sourcegenerator

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

Tamp is a low-memory, DEFLATE-inspired lossless compression library.

  • compression
  • deflate
  • heatshrink
  • lossless

Grok WebGL2 and GLSL through a sequence of guided tutorials, each chunked into atomic Q&A cards suitable for spaced repetition, with hands-on projects and solution code integrated throughout.

This Delphi code library lets you model structured data and serialize to/from : CBOR, JSON, MessagePack msgpack.org[Delphi], ION, UBJSON, BSON, Smile, DataObj, etc.