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

4,897–4,920 of 5,676 · Most stars

Json pretty-print parser based on a recursive lexical analyser

  • c
  • clang
  • json
  • pretty-print

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

  • coq
  • randomized-algorithms
  • probability
  • monad

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

  • coq-plugin
  • large-numbers
  • coq
  • docker-coq-action

ELF packer - encrypt and inject self-decryption code into executable ELF binary target

  • 42
  • elf
  • injection
  • shellcode

CMake module for building IDL files with MIDL and generating CLR DLL using Tlbimp

  • cmake
  • cmake-module
  • idl
  • com-object

AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.

  • game
  • portal
  • stargate
  • kawoosh

Happy SDK is an open-source Go framework for building fast, reliable applications. Its modular tools simplify development and prototyping, supporting integration with multi-language projects for technical and non-technical users.

An interactive Swift Playground Book about Binary Search Trees (WWDC 2017 Scholarship winner)

  • wwdc-scholarship
  • wwdc2017
  • swift-playgrounds
  • ipad

A tutorial repository based on the Sitecore documentation to walk users through common interactions with the APIs.