Pinned Loading

1. php-i18n php-i18n Public

   Simple i18n class for PHP with caching and and ini, json and yaml support

   PHP 318 112

2. go-steam go-steam Public

   Steam's protocol in Go to allow automation of different actions on the Steam network without running an actual Steam client. Includes APIs for friends, chatting, trading, trade offers and TF2 craft…

   Go 396 132

3. go-steamapi go-steamapi Public

   Steam Web API in Go.

   Go 93 28

4. SourceScript SourceScript Public

   SourceScript is a small and simple programming language that aims to simplifiy programming configurations for Valve's games based on the Source Engine.

   CoffeeScript 13 4

5. probably probably Public

   Python library for parsing, type-checking, and analyzing probabilistic programs written in the pGCL language.

   Python 2 2

6. moves-rwth/caesar moves-rwth/caesar Public

   Deductive verification infrastructure for probabilistic programs

   Rust 15 4