Welcome to IntrastiBETA
An index for deep divers, creative thinkers, and web wanderers.
- pvs.csl.sri.com pvs.csl.sri.com 0 0
- putt.day: a daily hole of mini golf putt.day A daily hole of mini golf. Same hole for everyone, new one at midnight Pacific. 0 1
- Pusher | Leader In Realtime Technologies pusher.com Simple, scalable and reliable. Hosted realtime APIs loved by developers and trusted by giants. Build live dashboards, notifications, geotracking, chat and more. 0 0
- Push the Reset — Save the developers. pushthereset.lol Thousands of developers. One Tibo. Run, dodge bugs, and reach RESET before the developers’ shared Codex quota hits zero. A very unofficial arcade game. 0 0
- Puma Security .NET SAST Tools & Application Security | Puma Security pumasecurity.io Puma Security provides .NET SAST, cloud security, and DevSecOps — helping teams secure AI-generated and human-written C# code from IDE to CI/CD pipeline. 0 0
- Pushover: Simple Notifications for Android, iPhone, iPad, and Desktop pushover.net Pushover makes it easy to get real-time notifications on your Android, iPhone, iPad, and Desktop (Android Wear and Apple Watch, too!) 0 0
- AI Programming Agent for Enterprise Teams | PureCode AI purecode.ai Speed up .NET development while maintaining security. Our AI coding platform offers intelligent code generation, enterprise integration, and dedicated support for development teams. 0 0
- Pure — Landing Page Design Inspiration purelanding.page Daily landing page design inspiration featuring only the top designs in the industry. 0 1
- Pure purecss.io Pure is a ridiculously tiny CSS library you can use to start any web project. 0 0
- Pulsar Edit pulsar-edit.dev 0 0
- Apache Pulsar pulsar.apache.org Apache Pulsar is an open-source, distributed messaging and streaming platform built for the cloud. 0 0
- psychosystems psychosystems.org 0 0
- Psych Networks | Network models and dynamical systems in psychological research psych-networks.com Network models and dynamical systems in psychological research 0 0
- PDF SDK for viewing, editing, signing, and AI processing | Nutrient pspdfkit.com Integrate high-performance PDF viewing, editing, signing, and processing into any application with cross-platform and native SDKs for web, mobile, and server. 0 0
- Pullets Forever pulletsforever.com Personal blog by David W. Keith covering technology, food, AI, and creative side projects — from chickens to JavaScript. 0 0
- PugSQL :: SQL is Extremely Good, Actually pugsql.org 0 0
- PubMed pubmed.ncbi.nlm.nih.gov PubMed® comprises more than 40 million citations for biomedical literature from MEDLINE, life science journals, and online books. Citations may include links to full text content from PubMed Central and publisher web sites. 0 0
- pugixml.org - Home pugixml.org 0 0
- Public Suffix List publicsuffix.org 0 0
- Pts.js ptsjs.org Pts is a javascript library for visualization and creative-coding. 0 0
- ProseMirror prosemirror.net 0 0
- Proton Squid - itch.io proton-squid.itch.io 0 0
- SCPaste p.sc3.io 0 0
- Psellos: Life So Short, the Craft So Long to Learn psellos.com Schnapsen is an excellent card game for two players. Quite a few years ago we wrote an iOS app in OCaml to play the game. More recently we revamped it as an app that runs in the browser—reproducing the graphics exactly, in a rectangle with the pixel dimensions of the original iPhone.One of the great things about OCaml and its strong static typing is that you can make modifications to your code with high confidence that it will keep working correctly. It was quite pleasant to rewrite the iOS app 0 0
