Welcome to IntrastiBETA
Exceptional websites, handpicked for you.
- spot.colorado.edu spot.colorado.edu 0 0
- Apache Crunch - Apache Crunch crunch.apache.org Running on top of Hadoop MapReduce and Apache Spark, the Apache Crunch™ library is a simple Java API for tasks like joining and data aggregation that are tedious to implement on plain MapReduce. The APIs are especially useful when processing data that does not fit naturally into relational model, such as time series, serialized object formats like protocol buffers or Avro records, and HBase rows and columns. For Scala users, there is the Scrunch API, which is built on top of the Java APIs and in 0 0
- Naoaki Okazaki - Home www.chokkan.org Naoaki Okazaki, Professor, School of Computing, Institute of Science Tokyo (formerly Tokyo Institute of Technology) 0 0
- Overview toolbox.dereuromark.de A collection of useful (online) tools around the development and maintenance of PHP packages - specifically CakePHP plugins.Planned: 0 0
- Mathesar - Open source UI for Postgres databases | Mathesar mathesar.org Mathesar is a straightforward open source tool that provides a spreadsheet-like interface to a PostgreSQL database. Our web-based interface helps you and your collaborators work with data more independently and comfortably – no technical skills needed. 0 0
- The Stack Overflow Blog - Stack Overflow stackoverflow.blog Essays, opinions, and advice on the act of computer programming, from Stack Overflow. 0 0
- Apache OODT - Distributed Data Management oodt.apache.org Apache Object Oriented Data Technology (OODT) is the smart way to integrate and archive your processes, your data, and its metadata. It facilitates the generation, processing, management, distribution, analysis of data management, data archiving, and data analytics systems allowing for the integration of data, computation, visualization and other components. 0 0
- Manim Community www.manim.community Manim is a community-maintained Python library for creating mathematical animations. 0 0
- Albert Ford www.albertford.com 0 0
- Blog Posts blog.martinfjordvald.com 0 0
- CV HAL cv.hal.science Une solution intégrée à HAL pour centraliser et valoriser vos publications et votre parcours académique 0 0
- Statistical and Neural Machine Translation www.statmt.org 0 0
- webweb - webweb webwebpage.github.io webweb is a tool for creating, displaying, and sharing interactive network visualizations on the web, designed for simplicity and ease of use. With just a few lines of python, networkx, or matlab, webweb will build and launch a visualization in your browser.Here’s an example of webweb’s style and functionality. The network itself comes from Hunter Wapman et al.’s analysis of character co-occurrences in the novel Infinite Jest. showing: python matlab showing: 0 0
- WakaTime - AI coding analytics for developers wakatime.com Automatically track coding time and AI usage across your editors. See time by project and language, AI-generated code, and estimated model costs. Start for free. 0 0
- Gitential – Analytics for your codebase gitential.com 0 0
- Home - Google Developers Blog developers.googleblog.com 0 0
- forge.puppet.com forge.puppet.com 0 0
- DeepLearning.AI: Start or Advance Your Career in AI www.deeplearning.ai DeepLearning.AI | Andrew Ng | Join over 7 million people learning how to use and build AI through our online courses. Earn certifications, level up your skills, and stay ahead of the industry. 0 0
- Ahrefs—AI Marketing Platform Powered by Big Data ahrefs.com We help marketers drive visibility across AI search, SEO, content, and social – with the largest AI and search databases online. 0 0
- The governed software delivery solution for the agentic era | CloudBees www.cloudbees.com CloudBees Unify is the enterprise control and context plane for the governed software factory. Govern software delivery across Jenkins, GitHub Actions, GitLab, and agentic coding tools, without replacing what you have. 0 0
- Systems Verification Group Homepage www.cprover.org We are interested in automated reasoning technology for the construction of systems. We are particularly interested in applying these methods to practical hardware and software implementations given in industrial languages such as Verilog, C/C++ or Java. Read more about our work on software analysis or hardware verification. NEW: MIT Press is now shipping the 2nd edition of the Model Checking book! Watch the unboxing video! NEW: Springer is now shipping the 2nd edition of the book on Dec 0 0
- Cybersecurity Courses & Cyber Security Training Online | Cybrary www.cybrary.it Online cybersecurity courses and cyber security training for individuals and teams. Cybersecurity classes, AI readiness, certification prep & IT exams to develop skills. 0 0
- The Cryptopals Crypto Challenges cryptopals.com 0 0
- Index—The Stacks project stacks.math.columbia.edu an open source textbook and reference work on algebraic geometry 0 0
