Repository Index

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Broccoli plugin for Babel

• hacktoberfest

A curated list of delightful SAP Commerce resources.

• hybris
• sap-commerce
• awesome
• awesome-list

Guess the natural language of a text in Go

Optimize drawing plan for a polargraph

A plugin for Godot Engine which will let you take beautified snapshots of your code within the Editor. Configure the frame as you like, with GDScript syntax already highlighted.

• godot-engine
• editor
• carbon
• screenshot

A Go Fiber API

• go
• fiber
• rest-api
• golang

F# Data-based library for various data access APIs

Plugin for serverless to deploy files to a S3 Bucket

Pure Go Shader Compiler — WGSL to SPIR-V, MSL, GLSL, HLSL, DXIL. Zero CGO.

• compiler
• go
• golang
• graphics

Common Lisp module for Nix, without Quicklisp

• common-lisp
• nix
• overlay
• asdf

An object-relational mapping (ORM) framework for D language (Similar to JPA / Doctrine), support PostgreSQL and MySQL.

• dlang
• entity
• orm
• hibernate

An interactive introduction to function composition in Swift 3.

C# client to interact with a particular PocketBase application: an ORM mapped to your PocketBase server. [This project is in active development. The things described below could change]

• code-generation
• csharp
• mapper
• netcore

This is a Godot Script (GDScript) (http://www.godotengine.org/) port of the Robert Penner's equations for easing. You can find much more information about it on http://robertpenner.com/easing/.

💻 Update a pinned gist to contain languages of your recent commits in GitHub

• pinned-gist
• linguist
• github
• gist

Mqtt server and client for ioBroker.

• mqtt
• iot
• iot-platform
• smarthome

A tool to install and manage D compilers

The repository host gives no description.

• tex
• latex
• neovim
• nvim

YouTube search app with ReactJS, Redux, and FP concepts

HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada

SassMe: Real-time manipulation and visualization of Sass color functions

Way to set heartbeat interval and the User receive PushNotifications from GCM. Based on related post in Google Forums about HeartBeat problem.

• android
• solution
• gcm
• heartbeat-problem

Recursively flatten an array or arrays. This is the fastest implementation of array flatten.

• array
• flatten
• util
• utility