TlaplusTLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Stars: ✭ 1,618 (+1015.86%)
Important Java Concepts🚀 Complete Java - A to Z ║ 📚 Notes and Programs of all Important Concepts of Java - OOPS, Data Structures, Algorithms, Design Patterns & Development + Kotlin + Android 🔥
Stars: ✭ 135 (-6.9%)
JtopSVG virtual desktop library that lets you build beautiful desktop like user interfaces.
Stars: ✭ 108 (-25.52%)
GoomphIDE as build artifact
Stars: ✭ 108 (-25.52%)
SitediffSiteDiff makes it easy to see differences between two versions of a website.
Stars: ✭ 139 (-4.14%)
ForcelayoutForcelayout is library for android. You can drawing graph with spring-like attractive forces. Inspired by force layout in D3.js.
Stars: ✭ 108 (-25.52%)
Smartmaterialspinner The powerful android spinner library for your application
Stars: ✭ 108 (-25.52%)
Easydeviceinfo📱 [Android Library] Get device information in a super easy way.
Stars: ✭ 1,698 (+1071.03%)
Cslearning 开源项目之「计算机编程自学之路」:计算机自学指南+面试大全+资源分享+技术文章
Stars: ✭ 107 (-26.21%)
LercLimited Error Raster Compression
Stars: ✭ 126 (-13.1%)
FscalendarA fully customizable iOS calendar library, compatible with Objective-C and Swift
Stars: ✭ 9,829 (+6678.62%)
LibcloudApache Libcloud is a Python library which hides differences between different cloud provider APIs and allows you to manage different cloud resources through a unified and easy to use API
Stars: ✭ 1,815 (+1151.72%)
JvfloatingdrawerAn easy to use floating drawer view controller.
Stars: ✭ 1,424 (+882.07%)
Stock PredictionSmart Algorithms to predict buying and selling of stocks on the basis of Mutual Funds Analysis, Stock Trends Analysis and Prediction, Portfolio Risk Factor, Stock and Finance Market News Sentiment Analysis and Selling profit ratio. Project developed as a part of NSE-FutureTech-Hackathon 2018, Mumbai. Team : Semicolon
Stars: ✭ 125 (-13.79%)
SodAn Embedded Computer Vision & Machine Learning Library (CPU Optimized & IoT Capable)
Stars: ✭ 1,460 (+906.9%)
SimplecliCommand Line Interface Library for Arduino
Stars: ✭ 135 (-6.9%)
KivymdSet of widgets for Kivy inspired by Google's Material Design.
Stars: ✭ 107 (-26.21%)
ArduinoxinputXInput library for USB capable Arduino boards
Stars: ✭ 126 (-13.1%)
PanningviewAn Android library for panning an image horizontal and vertically
Stars: ✭ 107 (-26.21%)
BaffleA tiny javascript library for obfuscating and revealing text in DOM elements. 😲
Stars: ✭ 1,721 (+1086.9%)
YeelightapiC# API (.Net) to control Xiaomi Yeelight devices
Stars: ✭ 106 (-26.9%)
TypinDeclarative framework for interactive CLI applications
Stars: ✭ 126 (-13.1%)
Streamdeck ToolsThe Stream Deck Tools library wraps all the communication with the Stream Deck app, allowing you to focus on actually writing the Plugin's logic
Stars: ✭ 133 (-8.28%)
Rando PhpRandoPhp is a open source library that implements random generators (Integer, Char, Byte, Sequences, Boolean) and take random sample from arrays
Stars: ✭ 107 (-26.21%)
Css In JsA thorough analysis of all the current CSS-in-JS solutions with SSR & TypeScript support for Next.js
Stars: ✭ 127 (-12.41%)
Plumi.appplumi video sharing
Stars: ✭ 106 (-26.9%)
Ultimate Java ResourcesJava programming. All in one Java Resource for learning. Updated every day and up to date. All Algorithms and DS along with Development in Java. Beginner to Advanced. Join the Discord link.
Stars: ✭ 143 (-1.38%)
Grafica.jsA simple and configurable plotting library for p5.js
Stars: ✭ 106 (-26.9%)
Uva800 UVa Online Judge solutions in Go
Stars: ✭ 106 (-26.9%)
FliptabsAndroid Flip Tabs Library
Stars: ✭ 135 (-6.9%)
TomorrowlandLightweight Promises for Swift & Obj-C
Stars: ✭ 106 (-26.9%)
Jib🏗 Build container images for your Java applications.
Stars: ✭ 11,370 (+7741.38%)
CentralHoa is a modular, extensible, and structured set of PHP libraries.
Stars: ✭ 105 (-27.59%)
Redux Unhandled ActionRedux middleware that logs an error to the console when an action is fired and the state is not mutated,
Stars: ✭ 125 (-13.79%)
Swift ScreencaptureA Swift framework to easily capture the screen on OS X.
Stars: ✭ 105 (-27.59%)
DashDASH, the C++ Template Library for Distributed Data Structures with Support for Hierarchical Locality for HPC and Data-Driven Science
Stars: ✭ 134 (-7.59%)
PdfviewpagerAndroid widget that can render PDF documents stored on SD card, linked as assets, or downloaded from a remote URL.
Stars: ✭ 1,508 (+940%)
EchoPython package containing all custom layers used in Neural Networks (Compatible with PyTorch, TensorFlow and MegEngine)
Stars: ✭ 126 (-13.1%)
Android Cookie StoreAndroid InMemory and persistent Cookie Store for HttpURLConnection and OkHttp, with extensions to easily sync cookies in Android WebViews.
Stars: ✭ 144 (-0.69%)
AlchemyA discord library for Elixir
Stars: ✭ 104 (-28.28%)
Iociphermake non-root mountable encrypted disk shares
Stars: ✭ 124 (-14.48%)
YaboxYet another black-box optimization library for Python
Stars: ✭ 103 (-28.97%)
Spring Backend BoilerplateThe modularized backend boilerplate based on Spring Boot Framework, easy to get started and add your business part.
Stars: ✭ 134 (-7.59%)
TriangleConvert images to computer generated art using delaunay triangulation.
Stars: ✭ 1,838 (+1167.59%)
SimplepieA simple Atom/RSS parsing library for PHP.
Stars: ✭ 1,389 (+857.93%)
OpensliderA 3-axis 3D printed camera slider project that utilizes Marlin and is made with common components.
Stars: ✭ 140 (-3.45%)
Laravel ParseA Parse SDK bridge for Laravel 5
Stars: ✭ 116 (-20%)
AmqpstormThread-safe Python RabbitMQ Client & Management library
Stars: ✭ 130 (-10.34%)
PotpackA tiny rectangle packing JavaScript library (for sprite layouts)
Stars: ✭ 115 (-20.69%)
Fluid Slider💧 A slider widget with a popup bubble displaying the precise value selected. Swift UI library made by @Ramotion
Stars: ✭ 1,798 (+1140%)
Onvif Qt Server ClientOnvif QT Server Client is a sample for creating Onvif Server and Onvif Client with QT C++
Stars: ✭ 130 (-10.34%)
Settings.net⚙️ Settings.Net - An easy to use .NET library for accessing and storing settings and configurations.
Stars: ✭ 114 (-21.38%)