Selectable github.com

Tricks in Coq github.com

Tips, tricks, and features in Coq that are hard to discover.

webplate github.com

Reply github.com

insight github.com

Helps you understand how your tool is being used by anonymously reporting usage metrics to Google Analytics.

PlayerView github.com

Player View is a delegated view using AVPlayer of Swift.

NEURON github.com

EOS.IO Go API library github.com

Go library.

steamworks4j github.com

A thin wrapper which allows Java applications to access the Steamworks C++ API.

scribe github.com

simpletable github.com

Simple tables in a terminal with Go.

Salesfoce MobileSDK for iOS github.com

PokemonGoBot github.com

datamol github.com

UrbanSim github.com

A platform for building statistical models of cities and regions. These models help forecast long-range patterns in real estate development, demographics, and related outcomes, under various policy scenarios. Information: License: BSD License: Provider: UrbanSim Inc. (UDST).

GLIntercept github.com

The Programming Historian github.com

TypeDB-ML github.com

TypeDB-ML provides tools to enable graph algorithms and machine learning with TypeDB.

fortune github.com

tfcmt github.com

CLI to notify the result of plan and apply as Pull Request comment.

Bootstrapper github.com

Pup github.com

FsToolkit.ErrorHandling github.com

Clear, simple and powerful error handling with railway-oriented programming. Inspired by Chessie.

kand-ta/kand github.com

[kand] - A Modern, High-Performance Technical Analysis Library in Rust, Python, and JS/TS(WASM).

bandersnatch github.com

AspNet.Security.OpenIdConnect.Server github.com

TheAmazingAudioEngine2 github.com

The Amazing Audio Engine is a sophisticated framework for iOS audio applications, built so you don't have to.

MBCalendarKit github.com

A calendar framework for iOS built with customization, and localization in mind.

ansi-escapes github.com

ANSI escape codes for manipulating the terminal.

better-queue github.com

Simple and efficient job queue when you cannot use Redis.

ipysheet github.com

Interactive spreadsheets in Jupyter.

debugger github.com

A visual debugger for Jupyter notebooks, consoles, and source files.

postgresDBSamples github.com

A collection of sample postgres schemas

Camo github.com

StackRender github.com

Citrus github.com

ActionScript 3 based 2D/3D framework. [Website]

ChaseWhisplyProject github.com

Chase Whisply is a FPS. You have to seek, find and kill the ghosts living around you.

Ski Free github.com

Controls a skier on a mountain slope, avoiding obstacles while racing against time or performing stunts for points, depending on the game mode.

dmmulroy/tsc.nvim github.com

Asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc) with results loaded into a quickfix list.

Eventsim github.com

Event data simulator. Generates a stream of pseudo-random events from a set of users, designed to simulate web traffic.

FACTORIE github.com

FastAPI Example github.com

BlazorContextMenu github.com

A context menu component for Blazor (Demo).

vue-flux github.com

Image slider which comes with 20 cool transitions.

LZAV github.com

Fast In-Memory Data Compression Algorithm. [MIT]

AspNetCore.Proxy github.com

Relayout github.com

Swift microframework for declaring Auto Layout constraints functionally.

SIFT github.com

bt-mqtt-gateway github.com

Easily extensible Bluetooth to MQTT gateway, currently supports: EQ3 smart thermostat, Xiaomi Mi Scale, Linak Desk, MySensors and Xiaomi Mi Flora plant sensor.

USB Keystroke Injection Protection github.com