Apache License 2.0

fcsl-pcm

A modern commutative diagram editor for the web.

MIT License

quiver

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

Other

aac-tactics


Description


Scoop is a convenient and enjoyable way to carpool with co-workers and neighbors. Easy scheduling fits your commuting needs and smart routes allow for the most efficient door-to-door trip.With Scoop, you can unlock new opportunities to meet people, improve your well-being, and make the most of your time.HOW IT WORKS:- Be part of the community: Download and meet Scoop carpoolers who are heading the same way.- Schedule a carpool: Separate AM and PM trips to fit your work schedule. Ride or drive to meet your daily needs. Carpoolers split the cost of the commute so everyone saves.- Get matched: Scoopâs algorithm identifies the most efficient carpool based on the fastest route, nearby carpoolers, carpool lanes, and more.- Enjoy a smooth commute: Meet new people, have more energy every day, and make the most of your time.Schedule your first carpool today!




RSA public/private key encryption in Swift

SwiftyRSA


Description


Check your Dhaka MRT and Rapid Pass card balances and recent trips instantly with MRT Buddyâyour essential companion for stress-free commuting!MRT Buddy: Your Companion for Seamless Commuting in DhakaSay goodbye to the hassle of unexpected low balances and keep track of your travel history effortlessly. MRT Buddy allows you to check the current balance and view the last 10 transactions of your Dhaka MRT and Rapid Pass transit cardsâall in one convenient app.Key Features:- Instant Balance Updates: Get real-time information on your card balances for both Dhaka MRT and Rapid Pass systems.- Recent Trip History: Access your last 10 transactions to monitor your spending and travel patterns.- User-Friendly Interface: Navigate with ease through a clean and intuitive design.- Secure Access: Your data privacy is our top priority; rest assured that your information is protected.Why MRT Buddy?Daily commuting can be stressful. MRT Buddy aims to reduce that stress by keeping you informed about your transit card balances and recent trips. No more surprises at the stationâstay ahead and plan your journeys with confidence.Download MRT Buddy today and make your daily commute smoother than ever!




Check the Balance of your Dhaka MRT Pass or Rapid Pass

fcsl-pcm

quiver

aac-tactics

SwiftyRSA

mrt-buddy