Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Repository Index
47,133 repositories indexed
9,865–9,888 of 11,541 · Most stars
Boilerplate for web applications with a Node, Express, MongoDB backend and Backbone Marionette, Jade, Require.js frontend
Inject Vert.x objects as beans into your Spring application
Android library which provides a signature view.
- android
- java
EmberJS redirect addon for Ember-CLI. This addon aims to be a simple and easy way to preform route based redirects with minimal effort.
🌈 A 20kb Preact & Redux based Progressive Web App that translates real life color to digital color.
An ember-addon that provides a dry way to track component attribute changes using lifecycle hooks.
Changes Neovim working directory to project root.
Visual Studio for Mac add-in/extension for converting old PCLs to .NET Standard 2.0 targeting projects automatically.
- visual-studio-for-mac-extension
- dot-net
- dotnet-standard
- xamarin-forms
Framework 12 rotation application specifically for Omarchy Linux or any Hyprland based distro.
Adds an AI-powered "Translate" button to non-primary localized fields in Payload CMS. Automatically translates content from the primary language using OpenAI or other models. Fully configurable and integrates seamlessly with Payload’s native localization system.
- nodejs
- payload-plugin
- payloadcms
- typesc
Test screens for visual differences to previous versions.
a tutorial on ThreeJS post processing
A Visual Studio 2017 template for projects based on Xamarin.Forms 3.3 and MvvmCross 6.2
- xamarin
- xamarin-forms
- mvvm
- mvvmcross
Wrappers around various Payment Processors
foreach() loop implementation for GameMaker 2.3 for arrays, ds_lists, ds_maps, ds_stacks, ds_queues, ds_priorities and structs
- foreach
- gamemaker
- gamemaker-studio
- gamemaker-studio-2
A Cycle.js starter project with hot reloading using browserify-hmr
Arbitrary Precision Library for Delphi with Support for Integer and Floating Point Computations.
An adaptation of JavaScript Promise polyfill for GameMaker Studio 2.3+
🚀 boilerplate for starting projects in next.js
A SpriteSheet and Tileset helper library for Love2D (handles Tilemaps as well)
- love2d-library
- spritesheet
- love2d
- tilesets
AWS CDK Constructs for PostgreSQL
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
Change directory to project folder when using telescope and restore afterwards