Search results

An open-source academic notebook that brings Markdown notes, PDF annotations, and literature management together.

Automate JVM and multi-language builds with a configurable task graph and reusable plugins.

An open-source desktop reading and annotation app

Recent high-level Dota builds by hero and position

A local Markdown notebook that turns notes into links, tasks, and searchable topics.

Build React web applications with file-based routing and server-rendering features.

Open-source browser SVG editing with an extensible canvas

Data governance that builds a deterministic knowledge graph from code and data

An archived icon-CSS generator for maintaining legacy web builds.

Publish a static web frontend from GitHub or Azure DevOps with optional Azure Functions APIs.

TON address, block and transaction research across two networks

Deploy Dockerized web applications and managed databases with Aptible handling container releases and the underlying application infrastructure.

Run repository builds after pushes using a versioned `.travis.yml` configuration.

Deploy full-stack Next.js and Angular apps from GitHub onto Google's managed web infrastructure.

Build repeatable machine images from configuration templates before handing artifacts to deployment systems.

A freeware icon and cursor editor with library-management support.

Build and run JavaScript or TypeScript web applications on a managed serverless platform.

Build and deploy frontend and full-stack web apps from a connected Git repository.

A cross-platform C, C++, and Fortran IDE built around configurable compiler and debugger integrations.

A Git-push PaaS that builds and runs applications on a Linux server you administer.

A GitHub-backed technical documentation platform that builds and deploys MDX docs sites.

Configure mobile-app build and test workflows around connected source repositories.

A Windows reader for PDFs, ebooks, and comics

TI's embedded IDE for configuring, building and debugging applications for TI processors and connected devices.