ef6

This is the codebase for Entity Framework 6 (previously maintained at https://en

C#1404mit

4 months ago

databasedotnet-frameworkef6

supertest

🕷 Super-agent driven library for testing node.js HTTP servers using a fluent AP

JavaScript13561mit

22 days ago

assertionsnodesuperagent

goderive

goderive

Derives and generates mundane golang functions that you do not want to maintain

Go1151apache-2.0

3 months ago

derivingfunctional-programminggenerator

OpenJK

Community effort to maintain and improve Jedi Academy (SP & MP) + Jedi Outcast (

C++1955gpl-2.0

3 days ago

cc-plus-plusfps

going_places

An oh-my-zsh plugin that helps to use, create and maintain a list of shell locat

Shell1

4 days ago

LightBDD

LightBDD

BDD framework allowing to create easy to read and maintain tests.

C#316bsd-2-clause

8 months ago

bddbdd-stylefixie

LittleProxy

High performance HTTP proxy originally written by your friends at Lantern and no

PHP2001apache-2.0

9 months ago

ArknightsTap

This project is no longer maintained

Kotlin160gpl-3.0

7 months ago

androidandroid-applicationarknights

pinvoke

A library containing all P/Invoke code so you don't have to import it every time

C#2064mit

10 months ago

dotnetinteroppinvoke

super_closure

Serialize closures. Not maintained. Consider using opis/closure.

PHP1719mit

10 months ago

docker_images

A repository to hold definitions of docker images maintained by OSRF

Dockerfile468apache-2.0

5 months ago

urnlib

Java library for representing, parsing and encoding URNs as in RFC2141 and RFC81

Java29gpl-3.0

12 months ago

code4liburn

Unshaky

Unshaky

A software attempt to address the "double key press" issue on Apple's butterfly

Swift2967mit

6 months ago

applebutterfly-keyboarddebounce

archivematica

archivematica

Free and open-source digital preservation system designed to maintain standards-

Python390agpl-3.0

5 months ago

archivematicadigital-preservation

docusaurus

docusaurus

Easy to maintain open source documentation websites.

TypeScript53211mit

4 hours ago

documentationhacktoberfestjavascript

denoify

denoify

🦕For NPM module authors that would like to support Deno but do not want to writ

TypeScript905mit

7 months ago

build-tooldenohacktoberfest

tinytex

tinytex

A lightweight, cross-platform, portable, and easy-to-maintain LaTeX distribution

R879other

9 months ago

latexr-packagetexlive

DownloadProject

This repository is no longer maintained. Use the FetchContent module available i

CMake444mit

7 months ago

cmake

raag

raag

Music player made using Flutter. Maintained by @ashwinkey04

Dart102gpl-2.0

last month

dartflutterflutter-app

graphql-tools

Maintain the source code for GraphQL related tools.

Java114apache-2.0

13 days ago

bolt

The Bolt Design System provides robust Twig and Web Component-powered UI compone

Twig286mit

10 months ago

atomic-designbemcustom-elements

lttrs-android

lttrs-android

No-frills, easy to use, easy to maintain Email client for Android based on the J

224

7 months ago

androidautocryptemail

flare-vm

flare-vm

A collection of software installations scripts for Windows systems that allows y

PowerShell5896apache-2.0

3 days ago

flaremalware-analysisreverse-engineering

sleek

Sleek is a CLI tool for formatting SQL. It helps you maintain a consistent style

Rust82mit

3 months ago

clicommand-linecommand-line-tool

editorconfig-sublime

Sublime Text plugin for EditorConfig - Helps developers maintain consistent codi

Python1758mit

5 months ago

editorconfigpythonsublime-package

cheetah

A framework for the modern web. (NOT MAINTAINED ATM)

TypeScript196apache-2.0

6 months ago

cheetahcloudflarecloudflare-workers

superagent

Ajax for Node.js and browsers (JS HTTP client). Maintained for @forwardemail, @l

JavaScript16538mit

3 days ago

gbfs

Documentation for the General Bikeshare Feed Specification, a standardized data

763other

17 days ago

bike-sharebike-sharingbikesharing

bashate

Code style enforcement for bash programs. Mirror of code maintained at opendev.o

Python319apache-2.0

4 months ago

march_hare

Idiomatic, fast and well-maintained JRuby client for RabbitMQ

Ruby98mit

6 months ago

amqp0-9-1jrubymessaging

PedalinoMini

PedalinoMini

Description Esptouch is one way for iPhone to tell the connected Router's Ssi

C424gpl-3.0

8 months ago

applemidiblebluetooth

zerocode

A community-developed, free, opensource, automated testing framework for microse

Java847apache-2.0

last month

apiassertionsautomation

terratag

terratag

Terratag is a CLI tool that enables users of Terraform to automatically create a

Go854mpl-2.0

5 months ago

awsazurecloud

micropython-stubber

micropython-stubber

Generate and maintain stubs for different MicroPython ports to use with VSCode a

Python148other

3 months ago

firmware-stubsmicropythonmicropython-stubber

eslint-plugin-css-modules

eslint-plugin-css-modules

Project status: NOT MAINTAINED; Checks that you are using the existent css/scss

JavaScript145

6 months ago

csscss-moduleseslint

batect

(NOT MAINTAINED) Build And Testing Environments as Code Tool

Kotlin687apache-2.0

7 months ago

batectdeveloper-experiencedocker

awesome-research

:seedling: a curated list of tools to help you with your research/life; I built

1890

9 months ago

awesomeawesome-listawesomeness

eza

eza

A modern, maintained replacement for ls

Rust5542mit

3 months ago

colorcommand-linefiles

pinia-plugin-persistedstate-2

[no longer maintained] Please use https://github.com/prazdevs/pinia-plugin-persi

TypeScript75mit

12 months ago

piniapinia-pluginstorage

gitlinker.nvim

Maintained fork of ruifm's gitlinker, refactored with bug fixes, ssh aliases, bl

Lua113gpl-3.0

23 days ago

luaneovimneovim-plugin

BreadcrumbsBundle

Breadcrumbs bundle for Symfony. This is a fork of whiteoctober/BreadcrumbsBundle

PHP62other

5 months ago

nvim-colorizer.lua

nvim-colorizer.lua

Maintained fork of the fastest Neovim colorizer

Lua660other

2 months ago

colorizerhacktoberfestneovim

playframework

playframework

The Community Maintained High Velocity Web Framework For Java and Scala.

Scala12478apache-2.0

3 months ago

frameworkhacktoberfestjava

amqp091-go

An AMQP 0-9-1 Go client maintained by the RabbitMQ team. Originally by @streadwa

Go1229other

3 months ago

awesome-game-remakes

Actively maintained open-source game remakes.

643cc-by-sa-4.0

2 months ago

awesomeawesome-listengine

reaviz

reaviz

📊 Data visualization library for React. Maintained by @goodcodeus.

TypeScript833apache-2.0

6 months ago

area-chartsbar-chartsbubble-chart

rss2email

Forward RSS feeds to your email address, community maintained

Python351gpl-2.0

2 months ago

elementary-xfce

Elementary icons forked from upstream, extended and maintained for Xfce

C263gpl-2.0

3 months ago

scalpel

Scalpel is an open source data carving tool. It is not being actively maintained

Shell603

2 months ago

godot-lang-support

A community-maintained list of Language Support Projects for Godot Engine.

308cc-by-4.0

8 months ago

modulespluginscript

dotnet

dotnet

.NET Community Toolkit is a collection of helpers and APIs that work for all .NE

C#2520other

5 months ago

csharpdotnetmaui

bolt

bolt

Bolt is an open source orchestration tool that automates the manual work it take

Ruby485apache-2.0

15 days ago

boltdevopsorchestration

openstack-ansible

Ansible playbooks for deploying OpenStack. Mirror of code maintained at opendev.

Python1412apache-2.0

2 months ago

elixir-auth-google

elixir-auth-google

👤Minimalist Google OAuth Authentication for Elixir Apps. Tested, Documented & M

Elixir191gpl-2.0

9 months ago

authauthenticationelixir

elasticsearch-net

elasticsearch-net

This strongly-typed, client library enables working with Elasticsearch. It is th

C#3502apache-2.0

4 months ago

c-sharpclientdot-net

code-notes

code-notes

(No longer maintained) A simple code snippet & gist manager for developers built

Vue1074mit

8 months ago

codedeveloperseditor

phabricator

phabricator

Effective June 1, 2021: Phabricator is no longer actively maintained.

PHP12330apache-2.0

last month

githgphabricator

primitives

primitives

Radix Primitives is an open-source UI component library for building high-qualit

TypeScript11895mit

8 months ago

accessibilitycolorscomponent-library

v-mapbox

v-mapbox

A cloned & maintained version of vue-mapbox

Vue172mit

4 months ago

mapbox-gl-jsmaplibremaplibre-gl

react-native-scrollable-tab-view

react-native-scrollable-tab-view

Tabbed navigation that you can swipe between, each tab can have its own ScrollV

JavaScript6911

9 months ago

animatedreact-nativeswipe

vernemq

vernemq

A distributed MQTT message broker based on Erlang/OTP. Built for high quality &

Erlang3154apache-2.0

13 days ago

brokerdistributederlang

ansible

Ansible is a radically simple IT automation platform that makes your application

Python60472gpl-3.0

3 months ago

ansiblehacktoberfestpython

Sitecore-Instance-Manager

SIM is an open-source tool for managing the local park of Sitecore instances. Yo

C#108mit

last month

zsh-quickstart-kit

zsh-quickstart-kit

A simple ZSH quickstart for using ZSH, zgenom, oh-my-zsh and a curated list of e

Shell742bsd-3-clause

29 days ago

dotfileshacktoberfestoh-my-zsh

rust-headless-chrome

A high-level API to control headless Chrome or Chromium over the DevTools Protoc

Rust1727mit

9 months ago

scala-parser-combinators

simple combinator-based parsing for Scala. formerly part of the Scala standard l

Scala641apache-2.0

2 months ago

parser-combinatorsparsingscala

brackets-standard

Brackets extension for standard, a simple linter with sensible defaults. No long

JavaScript10mit

8 months ago

jwt

jwt

Community maintained clone of https://github.com/dgrijalva/jwt-go

Go6087mit

3 months ago

authed25519go

gbfs-validator

gbfs-validator

The canonical GBFS validator. Maintained by the GBFS community, facilitated by M

JavaScript17apache-2.0

29 days ago

bikebikesharebikesharing

slack

slack

Slack API in Go - community-maintained fork created by the original author, @nlo

Go4512bsd-2-clause

3 months ago

gogolangslack

templates

Templates for configuration files and scripts useful for maintaining Coq project

Mustache11unlicense

6 months ago

continuous-integrationcoqmustache-templates

firefox-android

:warning: This repository hosts the Firefox for Android (Fenix), Focus for Andro

Kotlin1636mpl-2.0

11 days ago

sharetribe

sharetribe

Sharetribe Go is Sharetribe's old source-available marketplace software, which w

Ruby2317other

5 months ago

marketplaceplatform

bignums

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used t

Coq23lgpl-2.1

6 months ago

coqcoq-cicoq-platform

coqeal

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

Coq65other

6 months ago

coqcoq-cicoq-platform

fourcolor

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Coq135other

6 months ago

coqcoq-cifour-color-theorem

paramcoq

Coq plugin for parametricity [maintainer=@proux01]

Coq44other

6 months ago

coqcoq-cicoq-platform

vscoq

vscoq

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynh

OCaml272mit

6 months ago

coqeditorvscode

flutter_sticky_headers

flutter_sticky_headers

Flutter Sticky Headers - Lets you place "sticky headers" into any scrollable con

Dart1025mit

5 months ago

cylon

cylon

A Terminal user interface for maintaining an Arch Linux distribution.

Shell161other

2 months ago

archarch-linuxarch-linux-distro

uhabits

uhabits

Loop Habit Tracker, a mobile app for creating and maintaining long-term positive

Kotlin7338gpl-3.0

16 days ago

androidhabit-trackerhabits

jOOL

jOOL

jOOλ - The Missing Parts in Java 8 jOOλ improves the JDK libraries in areas wher

Java2047apache-2.0

10 months ago

plf_colony

plf_colony

An unordered C++ data container providing fast iteration/insertion/erasure while

C++367zlib

9 months ago

bucketcontainercpp

bundix

Generates a Nix expression for your Bundler-managed application. [maintainer=@ma

Ruby152

6 months ago

fenix

Rust toolchains and rust-analyzer nightly for Nix [maintainer=@figsoda]

Nix506mpl-2.0

3 months ago

flakeflakesnightly

flakelight

Framework for simplifying flake setup [maintainer=@accelbread]

Nix74mit

4 months ago

lorri

lorri

Your project’s nix-env [maintainer=@Profpatsch,@nyarly]

Rust555apache-2.0

5 months ago

naersk

Build Rust projects in Nix - no configuration, no code generation, no IFD, sandb

Nix598mit

7 months ago

cargocratesnix

namaka

namaka

Snapshot testing for Nix based on haumea [maintainer=@figsoda]

Rust81mpl-2.0

5 months ago

flakeflakesgolden

napalm

Support for building npm packages in Nix and lightweight npm registry [maintaine

Nix91mit

5 months ago

buildhacktoberfestjavascript

nixos-generators

Collection of image builders [maintainer=@Lassulus]

Nix1225mit

4 months ago

image-builderisonix

npmlock2nix

nixify npm based packages [maintainer=@andir]

Nix115apache-2.0

6 months ago

nurl

nurl

Generate Nix fetcher calls from repository URLs [maintainer=@figsoda]

Rust305mpl-2.0

5 months ago

bitbucketcodebergcrate

pip2nix

Freeze pip-installable packages into Nix expressions [maintainer=@datakurre]

Python125

9 months ago

poetry2nix

Convert poetry projects to nix automagically [maintainer=@adisbladis]

Nix555mit

8 months ago

nixpython

robotnix

Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu]

Nix512

6 months ago

zon2nix

zon2nix

Convert the dependencies in `build.zig.zon` to a Nix expression [maintainer=@fig

Zig52mpl-2.0

5 months ago

buildnixvendor

nix-melt

nix-melt

A ranger-like flake.lock viewer [maintainer=@figsoda]

Rust166mpl-2.0

5 months ago

flakeflakesinputs

corn

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]

Coq108gpl-2.0

6 months ago

coqcoq-cicoq-library

gaia

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintain

Coq24mit

6 months ago

bourbakicoqdocker-coq-action

math-classes

math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=

Coq158mit

6 months ago

coqcoq-cicoq-library

reglang

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

Coq38other

6 months ago

coqcoq-nix-toolboxcoq-platform

css-blocks

css-blocks

High performance, maintainable stylesheets.

TypeScript6342bsd-2-clause

12 months ago

csscss-modulessass

dream2nix

dream2nix

Simplified nix packaging for various programming language ecosystems [maintainer

Nix742mit

5 months ago

2nixdream-to-nixhacktoberfest

haumea

Filesystem-based module system for Nix [maintainer=@figsoda]

Nix200mpl-2.0

5 months ago

autoflakeflakes

home-manager

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Nix4716mit

8 months ago

dotfilesnixnix-dotfiles

nixvim

Configure Neovim with Nix! [maintainer=@pta2002, @traxys, @GaetanLepage]

Nix619mit

4 months ago

hacktoberfestneovimnix

udash-core

Scala framework for building beautiful and maintainable web applications.

Scala444apache-2.0

2 months ago

backenddata-bindingfrontend

cosmo

cosmo

The open-source solution to building, maintaining, and collaborating on GraphQL

TypeScript537apache-2.0

12 days ago

apolloapollo-federationfederation

active_scaffold

Save time and headaches, and create a more easily maintainable set of pages, wit

Ruby1078mit

3 months ago

cakephp-sequence

CakePHP plugin for maintaining a contiguous sequence of records

PHP44mit

8 months ago

cakephpcakephp-pluginphp

coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zim

Nix31mit

6 months ago

coqnix

graph-theory

Graph Theory [maintainers=@chdoc,@damien-pous]

Coq28

6 months ago

coqdocker-coq-actiongraph-theory

tarjan

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly

Coq11

9 months ago

coqmathcompmathcomp-ci

dhall-haskell

dhall-haskell

Maintainable configuration files

Dhall895bsd-3-clause

3 months ago

configuration-languagedhallhaskell

raft

Raft library for maintaining a replicated state machine

Go467apache-2.0

3 months ago

consensusdistributed-systemsraft

html-best-practices

For writing maintainable and scalable HTML documents

4094

13 days ago

kick-off-koa

kick-off-koa

[MAINTAINERS WANTED] An intro to koa via a set of self-guided workshops

JavaScript699mit

3 months ago

cl-repl

A full-featured repl implementation designed to work with Roswell

Common Lisp9gpl-3.0

4 months ago

zsh-nvim-appname

zsh-nvim-appname

A simple ZSH plugin for maintaining multiple Neovim configurations with NVIM_APP

Shell13gpl-3.0

29 days ago

appnameneovimneovim-config

comma

Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau

Rust823

5 months ago

nixnixos

nixd

nixd

Nix language server, based on nix libraries [maintainer=@inclyc]

C++473lgpl-3.0

5 months ago

language-server-protocolnixnixos

nix-direnv

A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic9

Nix1183mit

4 months ago

hacktoberfestmanaged-by-renovatenix-community-buildbot

nixpkgs-wayland

Automated, pre-built packages for Wayland (sway/wlroots) tools for NixOS. [maint

Nix361

10 months ago

nixosnixpkgssway

NUR

Nix User Repository: User contributed nix packages [maintainer=@Mic92]

Python902mit

10 months ago

hacktoberfestnix-packagesnixpkgs

templates

Nix flake templates managed by the community [maintainer=@IogaMaster]

Nix13mit

5 months ago

flakenixnix-community

terraform-nixos

A set of Terraform modules that are designed to deploy NixOS [maintainer=@adrian

HCL308apache-2.0

28 days ago

nixosterraform-modules

flake-utils

Pure Nix flake utility functions [maintainer=@zimbatm]

Nix880mit

5 months ago

buildbot-numtideflakenix

Prism

Prism is a framework for building loosely coupled, maintainable, and testable XA

C#6038other

3 months ago

c-sharphacktoberfestmvvm

influxdb

Ansible role for installing, configuring, and maintaining InfluxDB

Jinja44mit

5 months ago

v

v

Simple, fast, safe, compiled language for developing maintainable software. Comp

V34912mit

6 months ago

compilerlanguageprogramming-language

AutoFixture

AutoFixture is an open source library for .NET designed to minimize the 'Arrange

C#3186mit

3 months ago

assertion-libraryassertionsauto-mocking

coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

HTML50other

10 months ago

coqtheorems

coq-dpdgraph

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

Coq82lgpl-2.1

6 months ago

coqcoq-cicoq-platform

Emacs-D-Mode

An Emacs mode for D code.

Emacs Lisp81gpl-3.0

3 months ago

kotlin-mode

Kotlin major mode for Emacs

Emacs Lisp159gpl-3.0

9 months ago

Flask-SimpleLogin

Flask-SimpleLogin

Simple Login - Login Extension for Flask - maintainer @cuducos

Python194mit

9 months ago

authauthenticationflask

kickstart-nix.nvim

kickstart-nix.nvim

❄️ A dead simple Nix flake template repository for Neovim derivations [maintaine

Lua117gpl-2.0

4 days ago

flakesneovimnix

nix-index

Quickly locate nix packages with specific files [maintainers=@bennofs @figsoda @

Rust634other

5 months ago

nixnix-community-buildbotnixpkgs

nix-init

nix-init

Generate Nix packages from URLs with hash prefetching, dependency inference, lic

Rust602mpl-2.0

5 months ago

cargogonix

bitloops-language

bitloops-language

Open-source transpiled programming language that helps you write clean code, wel

TypeScript337gpl-3.0

3 months ago

bddbdd-testsbehavior-driven-development

next-enterprise

next-enterprise

💼 An enterprise-grade Next.js boilerplate for high-performance, maintainable ap

TypeScript4919mit

4 months ago

boilerplatechatgptcva

aac-tactics

Coq plugin providing tactics for rewriting universally quantified equations, mod

OCaml29other

7 months ago

coqcoq-cicoq-platform

comp-dec-modal

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

Coq8other

11 months ago

coqctlmathcomp

hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (c

Coq52mit

6 months ago

coqcoq-nix-toolboxdiscrete-mathematics

goth

Package goth provides a simple, clean, and idiomatic way to write authentication

Go4868mit

2 months ago

nixpkgs-fmt

Nix code formatter for nixpkgs [maintainer=@zimbatm]

Rust507apache-2.0

5 months ago

cliformatternix

iambic

iambic

IAMbic is Version-Control for IAM. It centralizes and simplifies cloud access an

Python259apache-2.0

5 months ago

awsaws-multi-accountaws-organizations

melody

melody

Melody is a language that compiles to regular expressions and aims to be more re

Rust4576apache-2.0

10 months ago

compilerlanguagemelody

neovim-project

neovim-project

Neovim project manager maintains your recent project history and uses Telescope

Lua143apache-2.0

18 days ago

luaneovimneovim-plugin

elixir

elixir

Elixir is a dynamic, functional language for building scalable and maintainable

Elixir23012apache-2.0

2 months ago

flutter_launcher_icons

flutter_launcher_icons

Flutter Launcher Icons - A package which simplifies the task of updating your Fl

Dart1880mit

5 months ago

dartflutterhacktoberfest

hadmean

hadmean

Generate powerful admin apps in seconds with just `npx hadmean`. Stop building a

TypeScript506agpl-3.0

8 months ago

adminadmin-dashboardadmin-panel

kedro

kedro

Kedro is a toolbox for production-ready data science. It uses software engineeri

Python9073apache-2.0

4 months ago

experiment-trackinghacktoberfestkedro

nix-on-droid

Nix-enabled environment for your Android device. [maintainers=@t184256,@Gerschtl

Nix1095mit

9 days ago

androidhome-managernix

pre-commit

pre-commit

A framework for managing and maintaining multi-language pre-commit hooks.

Python12150mit

6 days ago

gitlinterpre-commit

zulip-mobile

zulip-mobile

Description Zulip (https://zulip.com/) helps teams of all sizes be more produ

JavaScript1255apache-2.0

15 days ago

androidiosreact-native

docker-mathcomp

Docker images of coq-mathcomp [maintainer=@erikmd]

Dockerfile6bsd-3-clause

6 months ago

cicoqdocker-image

awesome-coq

A curated list of awesome Coq libraries, plugins, tools, verification projects,

280cc0-1.0

2 months ago

awesomeawesome-listcoq

coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liy

Coq121bsd-2-clause

7 months ago

coqcoq-cicoq-platform

awesome-nix

awesome-nix

😎 A curated list of the best resources in the Nix community [maintainer=@cynthe

2374cc0-1.0

2 months ago

awesomeawesome-listlists

wpscan

wpscan

WPScan WordPress security scanner. Written for security professionals and blog m

Ruby8260other

6 days ago

hacking-toolscanscanner

atom-beautify

atom-beautify

:mega: Help Wanted - Looking for Maintainer: https://github.com/Glavin001/atom-b

CoffeeScript1499mit

28 days ago

atombeautifierbeautify

flamingo

flamingo

Flamingo Framework and Core Library. Flamingo is a go based framework to build p

Go420mit

3 months ago

application-frameworkdependency-injectionframework

saber

saber

Description As the developer of Saber, I am thrilled to introduce you to an a

Dart1296gpl-3.0

7 months ago

androidcross-platformdart

coq-art

coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

Coq92mit

10 months ago

coqcoq-artdocker-coq-action

Save-app-android

Save-app-android

Description Save preserves & safeguards your media and identity against inter

Kotlin93gpl-3.0

9 days ago

docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-commu

Dockerfile32bsd-3-clause

8 months ago

cicoqdocker-coq

saber

saber

Description Saber is the notes app built for handwriting.It's designed to be

Dart1833gpl-3.0

5 hours ago

androidcross-platformdart

agoradesk-app-foss

agoradesk-app-foss

Description Buy or sell Bitcoin anonymously, without ID verification. Cash or

Dart133apache-2.0

8 days ago

algorithms

This repository is not maintained

Python2850other

6 years ago

PersonalSwiftPlaygrounds

Some useful Swift playgrounds I maintain for my own interests

Swift20

10 years ago

iotmonitor

PainLess, Monitor and State server for iot mqtt devices, and software agents. Th

Zig16apache-2.0

last year

agentshealthcheckiot

create-tf-app

Set up and maintain a machine learning project in Tensorflow with a single scrip

Python4mit

last year

climachine-learningshell-script

SkrybaMD

SkrybaMD

Swifty powered 🔌Markdown Documentation generator. If your team need easy way to

Swift17mit

2 years ago

documentaiongeneratorgenerator-markdown

sovereign

A set of Ansible playbooks to build and maintain your own private cloud: email,

HTML10339other

last year

aspnet-metrics

No longer maintained, instead see - https://github.com/alhardy/AppMetrics/

C#9apache-2.0

7 years ago

model_mommy

No longer maintained, please migrate to model_bakery

Python908other

5 years ago

factoryfixturesfixtures-replacement

ack2

**ack 2 is no longer being maintained. ack 3 is the latest version.**

Perl1481other

5 years ago

ackgrepperl

DNSSetter

Set custom DNS servers on Android (not maintained at the moment!)

Java36other

9 years ago

Ada-Crypto-Library

This project is obsolete is no longer developed, maintained or serviced!

Ada84other

6 years ago

mioco

[no longer maintained] Scalable, coroutine-based, fibers/green-threads for Rust.

Rust144

5 years ago

asyncasynchronouscoroutines

sidetiq

NO LONGER MAINTAINED Recurring jobs for Sidekiq

Ruby1156other

5 years ago

visual-recognition-nodejs

visual-recognition-nodejs

DEPRECATED: this repo is no longer actively maintained

JavaScript362apache-2.0

5 years ago

goav

Golang bindings for FFmpeg (This repository is no longer maintained)

Go2061mit

2 years ago

ffmpeg-librariesgolang-bindingsvideo

WAAX

NOTE: This project in not currently maintained.

HTML303mit

7 years ago

generator-swiftserver

WARNING: This repository is no longer maintained

JavaScript63apache-2.0

4 years ago

apigeneratorgenerator-swiftserver

ros2_intel_realsense

ros2_intel_realsense

This project is deprecated and no more maintained. Please visit https://github.c

C++138apache-2.0

last year

emojione

[Archived] The world's largest independent emoji font. Maintained at https://git

PHP4460other

5 years ago

cassius

Not maintained. -- NIF-based linux file system events

C9

8 years ago

murder

Large scale server deploys using BitTorrent and the BitTornado library (NOTE: pr

Ruby2525other

7 years ago

raspb-finder

raspb-finder

A tool to find a Raspberry Pi in the local network (not maintained)

Kotlin10apache-2.0

4 years ago

androidkotlinkotlin-android

v0lt

v0lt

Security CTF Toolkit (Not maintained anymore)

Python360

6 years ago

python3securitysecurity-ctf

BatteryCalibration

not maintained - [NEEDS ROOT] Calibrate your battery

Java20mit

5 years ago

androidbatterybattery-calibration

skytools-legacy

Obsolete, see https://github.com/pgq/ for maintained code.

Python248other

7 years ago

RelationBundle

Symfony2 bundle to manage relations between models/entities (like friends, conta

PHP10

10 years ago

phauxth

Not actively maintained - Authentication library for Phoenix, and other Plug-bas

Elixir410

2 years ago

elixirphoenix-framework

PaymentAdyenBundle

[No longer maintained]

PHP6mit

9 years ago

strobelight

Android strobe light app - no longer maintained

Java21

9 years ago

SwipeToAction

SwipeToAction

*** WARNING: This library is no longer maintained *** An easy way to add a simpl

Java221

6 years ago

androidswipe-actions

food-coach

food-coach

DEPRECATED: this repo is no longer actively maintained

JavaScript39apache-2.0

5 years ago

simple-chat-swift

simple-chat-swift

DEPRECATED: this repo is no longer actively maintained

Swift49apache-2.0

3 years ago

swiftwatsonwatson-swift-sdk

fluffy_board

A offline and online Flutter Whiteboard with collaboration Features. Maintained

Dart87gpl-3.0

2 years ago

drawdrawingexport

mdcss

Easily create and maintain style guides using CSS comments

JavaScript684other

6 years ago

learn-elm

learn-elm

:rainbow: discover the beautiful programming language that makes front-end web a

HTML472

2 years ago

elmelm-architectureelm-format

stacks

stacks

⚡ A set of useful components to help you build and maintain React Native (Web to

ReScript854mit

last year

flowlayoutreact

awesome-maintainers

Talks, blog posts, and interviews about the experience of being an open source m

1107cc0-1.0

3 years ago

awesomeawesome-list

bloomrpc

bloomrpc

Former GUI client for gRPC services. No longer maintained.

TypeScript9005lgpl-3.0

last year

grpc

SmartGadget-Android

Deprecated and not maintained anymore. The Sensirion Smart Gadget app allows you

Java30bsd-3-clause

5 years ago

node-steam-web-api-key

Automatically registers and retrieves Steam API key **NO LONGER MAINTAINED**

JavaScript22

4 years ago

javascriptnodejssteam

node-steam-weblogon

WebLogOn implementation for node-steam 1.x **NO LONGER MAINTAINED**

JavaScript27mit

4 years ago

javascriptnodejssteam

clearx

ClearX is an alternative way to Redux and MobX to maintain the application state

22apache-2.0

4 years ago

pdocker

Pdocker is a simple terminal UI to maintain and manage personal projects in Dock

Shell5apache-2.0

3 years ago

awesome-molecular-docking

We would like to maintain a list of resources which aim to solve molecular docki

77mit

last year

ai-aided-drug-discoveryawesomeawesome-list

rank-amateur-cowsay

Fork me if you want to maintain cowsay.

Perl330gpl-3.0

last year

git-up

NOT MAINTAINED

Ruby2613mit

7 years ago

json3

A JSON polyfill. No longer maintained.

JavaScript1022other

5 years ago

scruffy

An unofficial fork of the Ruby graphing library with sexy defaults for hi-res ch

Ruby31mit

7 years ago

terraforming

Export existing AWS resources to Terraform style (tf, tfstate) / No longer activ

Ruby4306mit

2 years ago

awsruby-gemterraform

PhishingKitTracker

PhishingKitTracker

PROJECT PAUSED 1/11/22, Tracking Threat Actor Emails in Phishing Kits. CC @Phish

Python98

2 years ago

twython

Actively maintained, pure Python wrapper for the Twitter API. Supports both norm

Python1847mit

2 years ago

neat

[no longer maintained]

Ruby4451mit

5 years ago

bourbonbourbon-familycss

httpotion

[Deprecated because ibrowse is not maintained] HTTP client for Elixir (use Tesla

Elixir724unlicense

2 years ago

clientelixirhttp

unicode

Unicode normalization library. (Mirror of Yoshida-san's code base to maintain th

C80

3 years ago

rubyrubynlpunicode

CalorieScope

CalorieScope

CalorieScope is an android application which is designed to help the user to mai

Java11other

3 years ago

CalorieScope

CalorieScope

CalorieScope is an android application which is designed to help the user to mai

Java12other

3 years ago

scaloid

Scaloid makes your Android code easy to understand and maintain.

Scala2095other

6 years ago

scala

hannibal

hannibal

Hannibal is tool to help monitor and maintain HBase-Clusters that are configured

Ruby170other

6 years ago

node-steam-tradeoffers

Steam Trade Offers for Node.js **NO LONGER MAINTAINED**

JavaScript290mit

3 years ago

javascriptnodejssteam

SVG-Morpheus

JavaScript library enabling SVG icons to morph from one to the other. It impleme

JavaScript2684mit

7 years ago

audio

Class for high-level audio manipulations [NOT MAINTAINED]

JavaScript237mit

2 years ago

audioaudiojsjavascript

android-betterpickers

[NO LONGER MAINTAINED] Android library for better Picker DialogFragments

Java2687

4 years ago

api2symfony-bundle

NOT LONGER MAINTAINED - Symfony2 bundle allowing to automatically generate contr

PHP51mit

8 years ago

storytime

storytime

Storytime is a Rails 4+ CMS and blogging engine, with a core focus on content. I

Ruby754mit

last year

googleplay-api

Google Play Unofficial Python API - This project was a PoC and is not maintained

Python874

7 years ago

cropper

⚠️ [Deprecated] No longer maintained, please use https://github.com/fengyuanchen

JavaScript7774mit

4 years ago

cropperimage-cropperimage-processing

viewer

⚠️ [Deprecated] No longer maintained, please use https://github.com/fengyuanchen

JavaScript1020mit

4 years ago

image-viewerjqueryjquery-plugin

UsbGps4Droid

UsbGps4Droid

USB GPS Provider for android :artificial_satellite:. A maintained fork of hvb/US

Java74gpl-3.0

4 years ago

androiddriverexternal

tinx

⛔️ Laravel Tinx is archived and no longer maintained.

PHP450

4 years ago

archiveddeprecatedlaravel

vuejs-countdown

[🤔 NOT MAINTAINED] A simple countdown timer component for vue js 2.0

Vue103mit

last year

redaktilo-bundle

[maintained] Integrating Redaktilo into Symfony

PHP6mit

8 years ago

phpsymfonysymfony-bundle

node-steamapis

Unofficial community-maintained module for https://steamapis.com

JavaScript6gpl-3.0

3 years ago

node-steamapisnpmsteamapis

tinymt-erlang

This software is no longer maintained. For archive/reference use only. -- Tiny M

Erlang26other

2 years ago

erlangrandomtinymt

elm-serverless

Maintained at: https://github.com/the-sett/elm-serverless

Elm169mit

5 years ago

aws-lambdaelmelm-serverless

guzzle-bundle

[NOT MAINTAINED] Integrates Guzzle into your Symfony2 application

PHP99

6 years ago

fenix

⚠️ Fenix (Firefox for Android) moved to a new repository. It is now developed a

Kotlin6640mpl-2.0

last year

androidbrowserfirefox

vue-sails-example

NOT MAINTAINED Vue.js with Sails.js example project with many features

JavaScript296mit

last year

javascriptsailssailsjs

vue-error-page

[NO LONGER MAINTAINED] Provides a wrapper for router-view that allows you to sho

JavaScript52

3 years ago

404404-errors404-page

terraform-provider-pingdom

No longer maintained: Terraform provider to manage pingdom resources

Go121mit

last year

Ada-Bundle

Maintained complete Ada-Mode for Vim/NeoVim

Vim script7

3 years ago

adaneovimvim

rails-sdk

Transloadit's official Rails SDK, maintained by the community

Ruby47mit

last year

pyflame

pyflame

🔥 Pyflame: A Ptracing Profiler For Python. This project is deprecated and not m

C++2972apache-2.0

4 years ago

debiandockerfedora

nock-nock

nock-nock

🚪 Monitor and validate your websites to maintain maximum uptime.

Kotlin377apache-2.0

2 years ago

androidnetworkping

GlobaLeaks

GlobaLeaks is free, open source software enabling anyone to easily set up and ma

Python982other

2 years ago

aes-encryptionangularjsanonymity

casperjs

CasperJS is no longer actively maintained. Navigation scripting and testing util

JavaScript7237mit

4 years ago

headless-browsersheadless-testingjavascript

vuex-light

WARNING: This package is no longer to be maintained, use [Pinia](https://pinia.e

TypeScript8mit

2 years ago

composition-apistate-managementtypescript

nighthawk-wallet-android

nighthawk-wallet-android

Old version of Nighthawk Android Wallet. No longer maintained.

Kotlin35apache-2.0

2 years ago

androidzcashzcash-wallet

react-native-simple-router

A community maintained router component for React Native

JavaScript269mit

3 years ago

navigationreact-nativereact-native-navigation

elisp-maintainers

Elisp maintainers and how to support them

174

last year

ng2-card

ng2-card

NOT MAINTAINED: Card view component for angular2

TypeScript7mit

7 years ago

docker-selenium

docker-selenium

[NOT MAINTAINED] Please use <https://github.com/SeleniumHQ/docker-selenium>

Shell1422other

3 years ago

chromedocker-seleniumfirefox

v-mapbox

v-mapbox

A cloned & maintained version of vue-mapbox

Vue149mit

last year

mapbox-gl-jsv-mapboxvue

binding

binding

Reflectionless data binding for Go's net/http (not actively maintained)

Go795mit

6 years ago

symfony-collection

symfony-collection

[NOT MAINTAINED] A jQuery plugin that manages adding, deleting and moving elemen

JavaScript446mit

2 years ago

collectionform-themejquery-plugin

react-native-chart

react-native-chart

[NOT MAINTAINED] :bar_chart: Add line, area, pie, and bar charts to your React N

JavaScript1577mit

4 years ago

chartjavascriptreact-native

mysql

MySQL fork maintained and used at Twitter

C++1722gpl-2.0

7 years ago

AdvancedTimer

AdvancedTimer implementation for Xamarin.Forms This repo is no longer maintained

C#40mit

5 years ago

c-sharpintervaltimer

rust-headless-chrome

A high-level API to control headless Chrome or Chromium over the DevTools Protoc

Rust1276mit

last year

react-native-barcodescanner

A barcode scanner component for react native - not maintained anymore - use reac

Java539mit

6 years ago

gradle-actions

Not maintained. Use https://github.com/actions/setup-java and https://github.com

Dockerfile29mit

2 years ago

actionsgithubgithub-actions

glab

glab

The GitLab CLI tool. Archived: now officially adopted by GitLab as the official

Go2076mit

2 years ago

clicommand-linecustom-gitlab-cli

b2evolution

b2evolution

b2evolution CMS: Multiblog/CMS content publishing + forums + email marketing + s

PHP170other

last year

jquery-cookie

No longer maintained, superseded by JS Cookie:

JavaScript8597mit

7 years ago

pdfminer

Python PDF Parser (Not actively maintained). Check out pdfminer.six.

Python5125mit

last year

massCode

massCode

This repository is outdated and no longer maintained. A new version of massCode

Vue2029agpl-3.0

2 years ago

electronlinuxmacos

redux-orm

NOT MAINTAINED – A small, simple and immutable ORM to manage relational data in

JavaScript2960mit

last year

crudfrontendjavascript

kaldi-lstm

kaldi-lstm

C++ implementation of LSTM (Long Short Term Memory), in Kaldi's nnet1 framework

C++212

9 years ago

OWASP-GoatDroid-Project

*This project is no longer maintained* OWASP GoatDroid is a fully functional and

Java236

10 years ago

react-native-system-notification

react-native-system-notification

[WARNING: NOT MAINTAINED] Android system notifications for React Native. Support

Java16

8 years ago

EVMap

EVMap - EV chargers

Using EVMap, you can find electric vehicle chargers comfortably using your Andro

Kotlin103mit

last year

androidcharging-stationselectric-vehicle

alea

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@v

Coq23lgpl-2.1

3 years ago

coqmonadpaper-artifacts

UITestHelper

UITest helper library for creating readable and maintainable tests

Swift55other

5 years ago

swiftuitestxctest

flutter_infinite_listview

flutter_infinite_listview

Flutter Infinite ListView - ListView with items that can be scrolled infinitely

Dart302mit

3 years ago

hacktoberfest

ESVO

ESVO

This repository maintains the implementation of "Event-based Stereo Visual Odome

C++412

last year

args-kata

An hour-long hands-on practice on readable and maintainable programming

JavaScript1mit

3 years ago

promotion-text-kata

An hour-long hands-on practice on readable and maintainable programming

JavaScript0mit

3 years ago

rnix-lsp

WIP Language Server for Nix! [maintainer=@aaronjanse]

Rust684mit

last year

lsp-servernix

CircularImageView

CircularImageView

Custom view for circular images in Android while maintaining the best draw perfo

Java1181mit

7 years ago

rosdistro

This repo maintains a lists of repositories for each ROS 2 distribution

2

5 years ago

bisect

Library for maintaining sorted Arrays

Crystal12mit

3 years ago

flutter_music_player

flutter_music_player

A music player component for Flutter (i.e. Spotify, Apple Music, etc.) [AGPL/exa

Dart222agpl-3.0

4 years ago

dartflutter

androidannotations

Fast Android Development. Easy maintainance.

Java11079other

2 years ago

androidandroidannotationsannotation-processor

coqoban

Sokoban (in Coq) [maintainer=@erikmd]

Coq21lgpl-2.1

last year

coqcoq-librarypuzzle

lemma-overloading

Libraries demonstrating design patterns for programming and proving with canonic

Coq26other

2 years ago

automationcanonical-structurescoq

graphene-gae

GraphQL Support for Google AppEngine [DEPRECATED - Looking for maintainers]

Python117bsd-3-clause

2 years ago

google-appenginegraphenegraphql

mandrake

Facility, Prosperity and Maintainability.

Elixir9mit

8 years ago

roverz

roverz

Description Groups - 1:1 / Private / PublicSecurely connect with a team membe

JavaScript44apache-2.0

6 years ago

android-appchatcollaboration

exchat

(Not maintaining) A Slack-like app by Elixir, Phoenix & React(redux)

Elixir256

6 years ago

chatelixirim

elastic-beanstalk

[Need maintainer/owner - see #57] AWS Elastic Beanstalk gem with rake configurat

Ruby193mit

8 years ago

the-node-way

the-node-way

Design patterns and best practices for building scaleable, maintainable and beau

JavaScript1491

8 years ago

conditions

If you are just starting out on a new project I recommend using https://github.c

C#56mit

4 years ago

filetree

filetree

filetree is an emacs package for displaying and operating on a file list as a fi

Emacs Lisp87gpl-3.0

2 years ago

osx-dev-zsh-plugin

This plugin adds some commands for maintaining various server programs on my OSX

Shell14

8 years ago

android-xserver

Maintaining the original project to make it work again with new Android versions

Java160mit

2 years ago

androidlinuxx11

gothanks

GoThanks automatically stars Go's official repository and your go.mod github dep

Go122mit

last year

communitygogolang

react-native-mock

A fully mocked and test-friendly version of react native (maintainers wanted)

JavaScript567mit

5 years ago

reactreact-nativereact-native-mock

highlight-selected

highlight-selected

This project is in search of a new contributor/maintainer as the author is no lo

JavaScript243mit

2 years ago

atomatom-packagehighlight

love-IDEA-plugin

love-IDEA-plugin

A LÖVE-Plugin for IntelliJ IDEA and PHPStorm. (Looking for new maintainer!)

Lua59unlicense

last year

intellijintellij-pluginlove2d

redux-side-effects

Redux toolset for keeping all the side effects inside your reducers while mainta

JavaScript182mit

8 years ago

space_empires

Space Empires

Space Empires 🛸 Welcome to Space Empires !! The Universe as we see is in gra

Dart62gpl-3.0

2 years ago

dartflutterflutter-game

lisp-repl-core-dumper

[LOOKING FOR NEW MAINTAINER] Generate REPL-optimized Lisp cores on demand

Common Lisp4gpl-3.0

2 years ago

TrelloApp

TrelloApp

Description Trello gives you perspective over all your projects, at work and

Swift22

4 years ago

appmacosswift

eth-vue

eth-vue

Featured in Awesome Vue [https://github.com/vuejs/awesome-vue], a curated list m

JavaScript240gpl-3.0

last year

blockchainboilerplatecontracts

coqtail-math

coqtail-math

Coqtail is a library of mathematical theorems and tools proved inside the Coq pr

Coq13other

last year

complex-analysiscoqreal-analysis

sudoku

A certified Sudoku solver in Coq [maintainers=@siraben,@thery]

Coq20lgpl-2.1

2 years ago

coqnix-actionsudoku

lualogging

New maintainer at: https://github.com/lunarmodules/lualogging

Lua146mit

3 years ago

qiniu

[NOT MAINTAINING] Qiniu sdk for Elixir

Elixir60

4 years ago

cdnelixirqiniu

android-modular-architecture

android-modular-architecture

📚 Sample Android Components Architecture on a modular word focused on the scal

Kotlin2392apache-2.0

3 years ago

androidandroid-architectureandroid-boilerplate

gulp-file-include

MAINTAINER WANTED ~ [gulp-file-include] a gulp plugin for file include

JavaScript676mit

2 years ago

maintenance-modules

a list of modules that are useful for maintaining or developing modules

348

8 years ago

vue-tree-navigation

A NEW MAINTAINER NEEDED! Vue.js 2 tree navigation with vue-router support

JavaScript155mit

2 years ago

miniboxing-plugin

miniboxing-plugin

Miniboxing is a program transformation that improves the performance of Scala ge

Java121other

4 years ago

arrayscollectionsgenerics

quokka

quokka

LOOKING FOR NEW MAINTAINER - Quokka is a Content Management System - `docker run

Python2228other

4 years ago

cmfcmscontent-management

terraform-provider-docker

As part of our introduction to self-service publishing in the Terraform Registry

Go131mpl-2.0

3 years ago

dockerterraformterraform-provider

contain-google

[Looking for maintainer] - Google Container isolates your Google activity from t

JavaScript383mpl-2.0

2 years ago

firefoxfirefox-containersgoogle