A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Repository Index
51,153 visible repositories in the index
12,553–12,576 of 27,344 · Most stars
An extendible and configurable PDF manipulation layer library written in java.
Meteor.publishComposite provides a flexible way to publish a set of related documents from various collections using a reactive join
- hacktoberfest
- meteor
- mongodb
Go library to access geocoding and reverse geocoding APIs
- geocoding
- geocoder
- bing-maps
- google-maps
MVVM(Model View ViewModel) sample in Kotlin using the components ViewModel, LiveData and Retrofit library
Smaller images, same picture. Compress PNGs to PNG or WebP with automatic quality. PNG output is 8–12% smaller than TinyPNG at equal quality on the median image. Command line and browser.
Identifies and prioritizes Class and Package Cycles and Anti-pattens in Java & Kotlin codebases you should refactor first.
- maven-plugin
- maven
- java
- report
Ruby HTTP client based on libcurl
PocketBase client SDK for python
- client
- database
- pocketbase
- python
Database driven resource localization for .NET applications
- localization
- dotnet-core
- dotnet
- database-provider
Algorithm and data-structure library for .NET 4.5.2+/Netstandard 2.0+. Algorithmia contains sophisticated algorithms and data-structures like graphs, priority queues, command, undo-redo and more.
📅 A date picker components for ionic2 ／ionic3 / ionic4
- ionic2
- calendar
- datepicker
- daterangepicker
High-level API for working with binary data.
Universal raster graphics and animations importers pack
- animation
- aseprite
- aseprite-export
- godot
Crafter - Xcode project configuration CLI made easy.
Next-generation front-end for Magento 2
The open-source policy-as-code software that provides analysis for Multi-Cloud and SaaS environments, you can get insight with natural language (powered by OpenAI).
Reference implementation of a Chinese social-insurance / e-government backend: 5 Spring MVC + MyBatis modules, 358 HTTP endpoints, Oracle multi-schema, Axis SOAP.
- axis
- e-government
- govtech
- java
Cleora AI is a general-purpose open-source model for efficient, scalable learning of stable and inductive entity embeddings for heterogeneous relational data. Created by Synerise.com team.
- ai
- graphs
- synerise
- embeddings
Bluetooth Low Energy library for Flutter with support for simulating peripherals
A Python platform to perform parallel computations of optimisation tasks (global and local) via the asynchronous generalized island model.
- optimization
- optimization-algorithms
- optimization-methods
- optimization-problem
An implementation of JOSE standards (JWE, JWS, JWT) in Go
Chess!
Powershell-based bot framework
- bot
- powershell
- bot-framework
- bots