Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

49–72 of 381 · Most stars

🔧 pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fast and scales from one server to thousands.

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

A clean, Markdown-based publishing platform made for writers. Write together and build a community.

  • writing
  • publishing
  • blogging
  • web-application

A blazing fast, powerful, and very simple ORM android database library that writes database code for you.

MVC framework making it easy to write realtime, collaborative applications that run in both Node.js and browsers

Impress your boss and turn a Jupyter notebook into a beautiful, shareable web app — no callbacks, no frontend, no rewrite.

  • notebook-jupyter
  • notebooks-jupyter
  • notebook-application
  • notebook-publish

A self-hosted job search app that writes tailored resumes and cover letters from your profile.

  • caprover
  • cover-letter
  • docker
  • job-application-tracker

Inspired by https://github.com/djadmin/awesome-bug-bounty, a list of bug bounty write-up that is categorized by the bug nature

The Open Toolkit library is a fast, low-level C# wrapper for OpenGL, OpenAL & OpenCL. It also includes windowing, mouse, keyboard and joystick input and a robust and fast math library, giving you everything you need to write your own renderer or game engine. OpenTK can be used standalone or inside a GUI on Windows, Linux, Mac.

  • c-sharp
  • opengl
  • opengl-es
  • graphics-library

Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.

  • code-analyzer
  • code-style
  • coding-standards
  • formatter