Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Pluscal Examples

Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
Stars
38
License
No license specified
Open Issues
0
Most Recent Commit
9 years ago
Categories
Repo
Alternatives To Pluscal Examples
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Unwrap_labels85
2 years ago9September 30, 20222Python
Algorithm to unwrap labels using edge markers
Aruco50
3 years ago3mitC++
Aruco marker detector and pose estimation for AR and Robotics with ROS support
Pluscal Examples38
9 years ago
Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
Alternatives To Pluscal Examples
Select To Compare
Unwrap_labels ⭐ 85
Algorithm to unwrap labels using edge markers
total releases 9most recent commit 2 years ago


Suggest An Alternative To PlusCal-Examples
Alternative Project Comparisons
Pluscal Examples vs Unwrap_labels
Pluscal Examples vs Aruco
Popular Algorithms Projects
Python ⭐ 175,076
All Algorithms implemented in Python
dependent packages 3total releases 8latest release September 18, 2022most recent commit 3 months agonpm tda} Downloads
Popular Markers Projects
Leaflet.markercluster ⭐ 3,698
Marker Clustering plugin for Leaflet
dependent packages 287total releases 21latest release October 18, 2021most recent commit 9 months agonpm leaflet.markercluster} Downloads
Google Maps For Rails ⭐ 2,301
Enables easy Google map + overlays creation in Ruby apps
dependent packages 4total releases 103latest release February 02, 2017most recent commit 6 years agorubygems gmaps4rails} Downloads
Leaflet Geoman ⭐ 1,998
🍂🗺️ The most powerful leaflet plugin for drawing and editing geometry layers
dependent packages 51total releases 22latest release December 03, 2023most recent commit 4 months agonpm @geoman-io/leaflet-geoman-free} Downloads
Angularjs Google Maps ⭐ 1,568
The Simplest AngularJS Google Maps V3 Directive
dependent packages 12total releases 66latest release November 25, 2018most recent commit 4 years agonpm ngmap} Downloads
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Algorithms
Language
Markers
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.