The authorization Gem for Ruby on Rails.
- authorization
- cancancan
- rails
Repository Index
47,133 repositories indexed
1,945–1,968 of 9,990 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
:art: A curated contents of amazing CSS :)
SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
- php
- static-analysis
- phan
- analysis
Automatic HTTPS for any Go program: fully-managed TLS certificate issuance and renewal
- https
- acme
- letsencrypt
- golang
😎Awesome GIS is a collection of geospatial related sources, including cartographic tools, geoanalysis tools, developer tools, data, conference & communities, news, massive open online course, some amazing map sites, and more.
Plupload is JavaScript API for building file uploaders. It supports multiple file selection, file filtering, chunked upload, client side image downsizing and when necessary can fallback to alternative runtimes, like Flash and Silverlight.
- plupload
- file-upload
- file-utility
A cross-platform file change monitor with multiple backends: Apple macOS File System Events, *BSD kqueue, Solaris/Illumos File Events Notification, Linux inotify and fanotify, Microsoft Windows and a stat()-based backend.
- event-notifications
- change-monitor
- fswatch
- kqueue
PHP Secure Communications Library
In this noteboook I will create a complete process for predicting stock price movements. Follow along and we will achieve some pretty good results. For that purpose we will use a Generative Adversarial Network (GAN) with LSTM, a type of Recurrent Neural Network, as generator, and a Convolutional Neural Network, CNN, as a discriminator. We use LSTM for the obvious reason that we are trying to predict time series data. Why we use GAN and specifically CNN as a discriminator? That is a good question: there are special sections on that later.
ZipArchive is a simple utility class for zipping and unzipping files on iOS, macOS and tvOS.
- unzipping-files
- ziparchive
- swift
- objective-c
Blackfriday: a markdown processor for Go
Make SSH apps, just like that! 💫
- hacktoberfest
- ssh
Speed up downloads by combining multiple network connections in parallel
- bandwidth-aggregation
- cross-platform
- desktop-app
- downloader
Perceptual video quality assessment based on multi-method fusion.
Color scheme for UI design.
- color
- color-scheme
- scss
- adobe-library
tun2socks - powered by gVisor TCP/IP stack
- golang
- tun2socks
- socks5
- gvisor
CSS custom properties to help accelerate adaptive and consistent design.
- css
- css-utilites
- css-custom-properties
- css-custom-media-queries
✨ PTerm is a modern Go module to easily beautify console output. Featuring charts, progressbars, tables, trees, text input, select menus and much more 🚀 It's completely configurable and 100% cross-platform compatible.
- go
- golang
- golang-library
- pretty-print
qpdf: A content-preserving PDF document transformer
- pdf-document-processor
:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.
Cinder is a community-developed, free and open source library for professional-quality creative coding in C++.
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
- python
- dotnet
- mono
- clr