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

Coq135other

6 months ago

coqcoq-cifour-color-theorem

Coq plugin for parametricity [maintainer=@proux01]

Coq44other

6 months ago

coqcoq-cicoq-platform

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

Dart1025mit

4 months ago

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

Ruby152

6 months ago

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

Nix506mpl-2.0

3 months ago

flakeflakesnightly

Framework for simplifying flake setup [maintainer=@accelbread]

Nix74mit

4 months ago

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

Rust555apache-2.0

4 months ago

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

Nix598mit

6 months ago

cargocratesnix

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

Rust81mpl-2.0

4 months ago

flakeflakesgolden

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

Nix91mit

4 months ago

buildhacktoberfestjavascript

Collection of image builders [maintainer=@Lassulus]

Nix1225mit

4 months ago

image-builderisonix

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

Rust305mpl-2.0

4 months ago

bitbucketcodebergcrate

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

Python125

9 months ago

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

Nix555mit

8 months ago

nixpython

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

Nix512

6 months ago

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

Zig52mpl-2.0

5 months ago

buildnixvendor

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

Rust166mpl-2.0

4 months ago

flakeflakesinputs

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

Go1151apache-2.0

2 months ago

derivingfunctional-programminggenerator

Some useful Swift playgrounds I maintain for my own interests

Swift20

10 years ago

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

Dart302mit

3 years ago

hacktoberfest

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

C++1927gpl-2.0

last month

cc-plus-plusfps

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

Zig16apache-2.0

last year

agentshealthcheckiot

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

1107cc0-1.0

3 years ago

awesomeawesome-list

nixify npm based packages [maintainer=@andir]

Nix115apache-2.0

6 months ago

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

Rust684mit

last year

lsp-servernix

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

Shell1

8 years ago

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

Python4mit

last year

climachine-learningshell-script

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

Swift17mit

2 years ago

documentaiongeneratorgenerator-markdown

Sokoban (in Coq) [maintainer=@erikmd]

Coq21lgpl-2.1

last year

coqcoq-librarypuzzle

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

Coq24mit

6 months ago

bourbakicoqdocker-coq-action

Libraries demonstrating design patterns for programming and proving with canonic

Coq26other

2 years ago

automationcanonical-structurescoq

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

Nix200mpl-2.0

4 months ago

autoflakeflakes

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

Nix4716mit

8 months ago

dotfilesnixnix-dotfiles

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

Nix619mit

4 months ago

hacktoberfestneovimnix

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

C#316bsd-2-clause

8 months ago

bddbdd-stylefixie

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

HTML10339other

last year

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

C++473lgpl-3.0

4 months ago

language-server-protocolnixnixos

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

Nix1183mit

4 months ago

hacktoberfestmanaged-by-renovatenix-community-buildbot

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

Python902mit

10 months ago

hacktoberfestnix-packagesnixpkgs

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

Nix13mit

5 months ago

flakenixnix-community

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

HCL308apache-2.0

14 days ago

nixosterraform-modules

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

Python390agpl-3.0

5 months ago

archivematicadigital-preservation

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

Coq158mit

6 months ago

coqcoq-cicoq-library

Easily create and maintain style guides using CSS comments

JavaScript684other

6 years ago

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

HTML472

2 years ago

elmelm-architectureelm-format

Easy to maintain open source documentation websites.

TypeScript52957mit

yesterday

documentationhacktoberfestjavascript

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

TypeScript905mit

7 months ago

build-tooldenohacktoberfest

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

ReScript854mit

last year

flowlayoutreact

Simplified nix packaging for various programming language ecosystems [maintainer

Nix742mit

5 months ago

2nixdream-to-nixhacktoberfest

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

R879other

8 months ago

latexr-packagetexlive

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

HTML50other

10 months ago

coqtheorems

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

Rust602mpl-2.0

4 months ago

cargogonix

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

Coq8other

11 months ago

coqctlmathcomp

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

Coq13other

last year

complex-analysiscoqreal-analysis

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

Coq52mit

5 months ago

coqcoq-nix-toolboxdiscrete-mathematics

Nix code formatter for nixpkgs [maintainer=@zimbatm]

Rust507apache-2.0

4 months ago

cliformatternix

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

Ruby193mit

8 years ago

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

22apache-2.0

4 years ago

Maintain the source code for GraphQL related tools.

Java114apache-2.0

7 days ago

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

Twig286mit

9 months ago

atomic-designbemcustom-elements

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

Shell5apache-2.0

3 years ago

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

C#56mit

4 years ago

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

224

6 months ago

androidautocryptemail

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

PowerShell5867apache-2.0

9 days ago

flaremalware-analysisreverse-engineering

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

Rust82mit

3 months ago

clicommand-linecommand-line-tool

Pure Nix flake utility functions [maintainer=@zimbatm]

Nix880mit

5 months ago

buildbot-numtideflakenix

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

JavaScript243mit

2 years ago

atomatom-packagehighlight

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

Lua60unlicense

last year

intellijintellij-pluginlove2d

Sublime Text plugin for EditorConfig - Helps developers maintain consistent codi

Python1758mit

5 months ago

editorconfigpythonsublime-package

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

77mit

last year

ai-aided-drug-discoveryawesomeawesome-list

Fork me if you want to maintain cowsay.

Perl330gpl-3.0

last year

🚀 Create, maintain, and interact with Xcode projects at scale

Swift4206mit

yesterday

hacktoberfestiosobjective-c

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

Common Lisp4gpl-3.0

2 years ago

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

Dart1880mit

4 months ago

dartflutterhacktoberfest

Simple Login - Login Extension for Flask - maintainer @cuducos

Python194mit

9 months ago

authauthenticationflask

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

Java847apache-2.0

25 days ago

apiassertionsautomation

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

C80

3 years ago

rubyrubynlpunicode

Coq plugin providing tactics for rewriting universally quantified equations, mod

OCaml29other

7 months ago

coqcoq-cicoq-platform

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

Go854mpl-2.0

5 months ago

awsazurecloud

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

Java11other

3 years ago

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

Python148other

2 months ago

firmware-stubsmicropythonmicropython-stubber

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

Java12other

3 years ago

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

Lua146mit

3 years ago

Scaloid makes your Android code easy to understand and maintain.

Scala2095other

6 years ago

scala

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

Ruby170other

6 years ago

🚪 Monitor and validate your websites to maintain maximum uptime.

Kotlin377apache-2.0

2 years ago

androidnetworkping

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

Python982other

last year

aes-encryptionangularjsanonymity

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

JavaScript676mit

2 years ago

Elisp maintainers and how to support them

174

last year

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

Dockerfile6bsd-3-clause

6 months ago

cicoqdocker-image

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

Ruby485apache-2.0

14 days ago

boltdevopsorchestration

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

JavaScript155mit

last year

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

2374cc0-1.0

last month

awesomeawesome-listlists

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

JavaScript6911

9 months ago

animatedreact-nativeswipe

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

Python60472gpl-3.0

2 months ago

ansiblehacktoberfestpython

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

PHP170other

last year

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

Python2228other

4 years ago

cmfcmscontent-management

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

C#108mit

22 days ago

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

Shell722bsd-3-clause

2 months ago

dotfileshacktoberfestoh-my-zsh

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

Go4868mit

2 months ago

Templates for configuration files and scripts useful for maintaining Coq project

Mustache11unlicense

5 months ago

continuous-integrationcoqmustache-templates

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

C#1404mit

4 months ago

databasedotnet-frameworkef6

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

JavaScript383mpl-2.0

2 years ago

firefoxfirefox-containersgoogle

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

PHP2001apache-2.0

9 months ago

This project is no longer maintained

Kotlin160gpl-3.0

6 months ago

androidandroid-applicationarknights

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

C424gpl-3.0

8 months ago

applemidiblebluetooth

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

C#9apache-2.0

7 years ago

No longer maintained, please migrate to model_bakery

Python908other

5 years ago

factoryfixturesfixtures-replacement

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

Perl1484other

5 years ago

ackgrepperl

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

Java36other

9 years ago

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

Ada84other

6 years ago

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

Coq23lgpl-2.1

2 years ago

coqmonadpaper-artifacts

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

Coq23lgpl-2.1

6 months ago

coqcoq-cicoq-platform

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

Coq65other

5 months ago

coqcoq-cicoq-platform

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

OCaml272mit

5 months ago

coqeditorvscode

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

C#2064mit

9 months ago

dotnetinteroppinvoke

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

Rust144

5 years ago

asyncasynchronouscoroutines

NO LONGER MAINTAINED Recurring jobs for Sidekiq

Ruby1156other

5 years ago

UITest helper library for creating readable and maintainable tests

Swift56other

5 years ago

swiftuitestxctest

A Terminal user interface for maintaining an Arch Linux distribution.

Shell161other

2 months ago

archarch-linuxarch-linux-distro

DEPRECATED: this repo is no longer actively maintained

JavaScript362apache-2.0

5 years ago

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

Go2061mit

2 years ago

ffmpeg-librariesgolang-bindingsvideo

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

C++412

last year

NOTE: This project in not currently maintained.

HTML303mit

7 years ago

WARNING: This repository is no longer maintained

JavaScript63apache-2.0

4 years ago

apigeneratorgenerator-swiftserver

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

C++138apache-2.0

last year

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

Kotlin7300gpl-3.0

yesterday

androidhabit-trackerhabits

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

PHP1719mit

9 months ago

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

Java2047apache-2.0

10 months ago

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

PHP4460other

5 years ago

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

C9

8 years ago

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

JavaScript13548mit

8 days ago

assertionsnodesuperagent

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

Ruby2525other

7 years ago

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

Kotlin9apache-2.0

4 years ago

androidkotlinkotlin-android

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

C++367zlib

8 months ago

bucketcontainercpp

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

JavaScript1mit

3 years ago

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

JavaScript0mit

3 years ago

Quick C-- compiler (no longer maintained)

OCaml137

10 years ago

This repository is not maintained

Python2850other

6 years ago

A repository to hold definitions of docker images maintained by OSRF

Dockerfile468apache-2.0

4 months ago

Security CTF Toolkit (Not maintained anymore)

Python360

6 years ago

python3securitysecurity-ctf

not maintained - [NEEDS ROOT] Calibrate your battery

Java20mit

5 years ago

androidbatterybattery-calibration

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

Python248other

7 years ago

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

PHP10

10 years ago

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

Java1181mit

7 years ago

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

Elixir410

2 years ago

elixirphoenix-framework

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

2

5 years ago

[No longer maintained]

PHP6mit

9 years ago

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

Java29gpl-3.0

11 months ago

code4liburn

Library for maintaining sorted Arrays

Crystal12mit

3 years ago

Android strobe light app - no longer maintained

Java21

9 years ago

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

Dart222agpl-3.0

4 years ago

dartflutter

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

Java221

6 years ago

androidswipe-actions

DEPRECATED: this repo is no longer actively maintained

JavaScript39apache-2.0

5 years ago

DEPRECATED: this repo is no longer actively maintained

Swift49apache-2.0

3 years ago

swiftwatsonwatson-swift-sdk

A offline and online Flutter Whiteboard with collaboration Features. Maintained

Dart87gpl-3.0

2 years ago

drawdrawingexport

Fast Android Development. Easy maintainance.

Java11079other

2 years ago

androidandroidannotationsannotation-processor

Former GUI client for gRPC services. No longer maintained.

TypeScript9005lgpl-3.0

last year

grpc

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

CMake444mit

7 months ago

cmake

Music player made using Flutter. Maintained by @ashwinkey04

Dart102gpl-2.0

26 days ago

dartflutterflutter-app

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

Java30bsd-3-clause

5 years ago

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

Swift2967mit

5 months ago

applebutterfly-keyboarddebounce

NOT MAINTAINED

Ruby2613mit

6 years ago

A JSON polyfill. No longer maintained.

JavaScript1022other

5 years ago

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

TypeScript196apache-2.0

6 months ago

cheetahcloudflarecloudflare-workers

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

Coq108gpl-2.0

6 months ago

coqcoq-cicoq-library

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

Coq38other

5 months ago

coqcoq-nix-toolboxcoq-platform

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

Ruby31mit

7 years ago

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

Ruby4306mit

2 years ago

awsruby-gemterraform

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

Python117bsd-3-clause

2 years ago

google-appenginegraphenegraphql

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

JavaScript16539mit

3 days ago

High performance, maintainable stylesheets.

TypeScript6342bsd-2-clause

11 months ago

csscss-modulessass

Facility, Prosperity and Maintainability.

Elixir9mit

8 years ago

Documentation for the General Bikeshare Feed Specification, a standardized data

761other

16 days ago

bike-sharebike-sharingbikesharing

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

JavaScript44apache-2.0

6 years ago

android-appchatcollaboration

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

Python98

2 years ago

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

Python319apache-2.0

4 months ago

Idiomatic, fast and well-maintained JRuby client for RabbitMQ

Ruby98mit

6 months ago

amqp0-9-1jrubymessaging

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

Python1847mit

2 years ago

[no longer maintained]

Ruby4451mit

5 years ago

bourbonbourbon-familycss

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

Elixir256

6 years ago

chatelixirim

Scala framework for building beautiful and maintainable web applications.

Scala444apache-2.0

last month

backenddata-bindingfrontend

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

Elixir724unlicense

2 years ago

clientelixirhttp

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

TypeScript528apache-2.0

6 days ago

apolloapollo-federationfederation

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

Ruby1078mit

2 months ago

CakePHP plugin for maintaining a contiguous sequence of records

PHP44mit

7 months ago

cakephpcakephp-pluginphp

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

JavaScript290mit

3 years ago

javascriptnodejssteam

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

JavaScript22

4 years ago

javascriptnodejssteam

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

JavaScript27mit

4 years ago

javascriptnodejssteam

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

JavaScript2684mit

7 years ago

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

JavaScript145

5 months ago

csscss-moduleseslint

Class for high-level audio manipulations [NOT MAINTAINED]

JavaScript237mit

2 years ago

audioaudiojsjavascript

(NOT MAINTAINED) Build And Testing Environments as Code Tool

Kotlin687apache-2.0

6 months ago

batectdeveloper-experiencedocker

[NO LONGER MAINTAINED] Android library for better Picker DialogFragments

Java2687

4 years ago

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

Nix31mit

5 months ago

coqnix

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

Coq28

6 months ago

coqdocker-coq-actiongraph-theory

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

Coq11

9 months ago

coqmathcompmathcomp-ci

NOT LONGER MAINTAINED - Symfony2 bundle allowing to automatically generate contr

PHP51mit

8 years ago

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

Ruby754mit

last year

Maintainable configuration files

Dhall895bsd-3-clause

2 months ago

configuration-languagedhallhaskell

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

Coq135other

6 months ago

coqcoq-cifour-color-theorem

Coq plugin for parametricity [maintainer=@proux01]

Coq44other

6 months ago

coqcoq-cicoq-platform

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

Dart1025mit

4 months ago

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

Ruby152

6 months ago

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

Nix506mpl-2.0

3 months ago

flakeflakesnightly

Framework for simplifying flake setup [maintainer=@accelbread]

Nix74mit

4 months ago

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

Rust555apache-2.0

4 months ago

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

Nix598mit

6 months ago

cargocratesnix

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

Rust81mpl-2.0

4 months ago

flakeflakesgolden

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

Nix91mit

4 months ago

buildhacktoberfestjavascript

Collection of image builders [maintainer=@Lassulus]

Nix1225mit

4 months ago

image-builderisonix

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

Rust305mpl-2.0

4 months ago

bitbucketcodebergcrate

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

Python125

9 months ago

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

Nix555mit

8 months ago

nixpython

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

Nix512

6 months ago

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

Zig52mpl-2.0

5 months ago

buildnixvendor

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

Rust166mpl-2.0

4 months ago

flakeflakesinputs

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

Go1151apache-2.0

2 months ago

derivingfunctional-programminggenerator

Some useful Swift playgrounds I maintain for my own interests

Swift20

10 years ago

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

Dart302mit

3 years ago

hacktoberfest

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

C++1927gpl-2.0

last month

cc-plus-plusfps

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

Zig16apache-2.0

last year

agentshealthcheckiot

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

1107cc0-1.0

3 years ago

awesomeawesome-list

nixify npm based packages [maintainer=@andir]

Nix115apache-2.0

6 months ago

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

Rust684mit

last year

lsp-servernix

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

Shell1

8 years ago

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

Python4mit

last year

climachine-learningshell-script

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

Swift17mit

2 years ago

documentaiongeneratorgenerator-markdown

Sokoban (in Coq) [maintainer=@erikmd]

Coq21lgpl-2.1

last year

coqcoq-librarypuzzle

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

Coq24mit

6 months ago

bourbakicoqdocker-coq-action

Libraries demonstrating design patterns for programming and proving with canonic

Coq26other

2 years ago

automationcanonical-structurescoq

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

Nix200mpl-2.0

4 months ago

autoflakeflakes

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

Nix4716mit

8 months ago

dotfilesnixnix-dotfiles

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

Nix619mit

4 months ago

hacktoberfestneovimnix

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

C#316bsd-2-clause

8 months ago

bddbdd-stylefixie

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

HTML10339other

last year

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

C++473lgpl-3.0

4 months ago

language-server-protocolnixnixos

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

Nix1183mit

4 months ago

hacktoberfestmanaged-by-renovatenix-community-buildbot

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

Python902mit

10 months ago

hacktoberfestnix-packagesnixpkgs

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

Nix13mit

5 months ago

flakenixnix-community

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

HCL308apache-2.0

14 days ago

nixosterraform-modules

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

Python390agpl-3.0

5 months ago

archivematicadigital-preservation

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

Coq158mit

6 months ago

coqcoq-cicoq-library

Easily create and maintain style guides using CSS comments

JavaScript684other

6 years ago

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

HTML472

2 years ago

elmelm-architectureelm-format

Easy to maintain open source documentation websites.

TypeScript52957mit

yesterday

documentationhacktoberfestjavascript

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

TypeScript905mit

7 months ago

build-tooldenohacktoberfest

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

ReScript854mit

last year

flowlayoutreact

Simplified nix packaging for various programming language ecosystems [maintainer

Nix742mit

5 months ago

2nixdream-to-nixhacktoberfest

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

R879other

8 months ago

latexr-packagetexlive

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

HTML50other

10 months ago

coqtheorems

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

Rust602mpl-2.0

4 months ago

cargogonix

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

Coq8other

11 months ago

coqctlmathcomp

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

Coq13other

last year

complex-analysiscoqreal-analysis

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

Coq52mit

5 months ago

coqcoq-nix-toolboxdiscrete-mathematics

Nix code formatter for nixpkgs [maintainer=@zimbatm]

Rust507apache-2.0

4 months ago

cliformatternix

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

Ruby193mit

8 years ago

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

22apache-2.0

4 years ago

Maintain the source code for GraphQL related tools.

Java114apache-2.0

7 days ago

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

Twig286mit

9 months ago

atomic-designbemcustom-elements

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

Shell5apache-2.0

3 years ago

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

C#56mit

4 years ago

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

224

6 months ago

androidautocryptemail

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

PowerShell5867apache-2.0

9 days ago

flaremalware-analysisreverse-engineering

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

Rust82mit

3 months ago

clicommand-linecommand-line-tool

Pure Nix flake utility functions [maintainer=@zimbatm]

Nix880mit

5 months ago

buildbot-numtideflakenix

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

JavaScript243mit

2 years ago

atomatom-packagehighlight

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

Lua60unlicense

last year

intellijintellij-pluginlove2d

Sublime Text plugin for EditorConfig - Helps developers maintain consistent codi

Python1758mit

5 months ago

editorconfigpythonsublime-package

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

77mit

last year

ai-aided-drug-discoveryawesomeawesome-list

Fork me if you want to maintain cowsay.

Perl330gpl-3.0

last year

🚀 Create, maintain, and interact with Xcode projects at scale

Swift4206mit

yesterday

hacktoberfestiosobjective-c

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

Common Lisp4gpl-3.0

2 years ago

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

Dart1880mit

4 months ago

dartflutterhacktoberfest

Simple Login - Login Extension for Flask - maintainer @cuducos

Python194mit

9 months ago

authauthenticationflask

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

Java847apache-2.0

25 days ago

apiassertionsautomation

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

C80

3 years ago

rubyrubynlpunicode

Coq plugin providing tactics for rewriting universally quantified equations, mod

OCaml29other

7 months ago

coqcoq-cicoq-platform

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

Go854mpl-2.0

5 months ago

awsazurecloud

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

Java11other

3 years ago

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

Python148other

2 months ago

firmware-stubsmicropythonmicropython-stubber

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

Java12other

3 years ago

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

Lua146mit

3 years ago

Scaloid makes your Android code easy to understand and maintain.

Scala2095other

6 years ago

scala

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

Ruby170other

6 years ago

🚪 Monitor and validate your websites to maintain maximum uptime.

Kotlin377apache-2.0

2 years ago

androidnetworkping

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

Python982other

last year

aes-encryptionangularjsanonymity

Elisp maintainers and how to support them

174

last year

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

Dockerfile6bsd-3-clause

6 months ago

cicoqdocker-image

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

Ruby485apache-2.0

14 days ago

boltdevopsorchestration

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

JavaScript155mit

last year

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

2374cc0-1.0

last month

awesomeawesome-listlists

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

JavaScript6911

9 months ago

animatedreact-nativeswipe

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

Python60472gpl-3.0

2 months ago

ansiblehacktoberfestpython

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

PHP170other

last year

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

CoffeeScript1499mit

14 days ago

atombeautifierbeautify

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

Python2228other

4 years ago

cmfcmscontent-management

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

C#108mit

22 days ago

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

Shell722bsd-3-clause

2 months ago

dotfileshacktoberfestoh-my-zsh

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

Go4868mit

2 months ago

Templates for configuration files and scripts useful for maintaining Coq project

Mustache11unlicense

5 months ago

continuous-integrationcoqmustache-templates

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

C#1404mit

4 months ago

databasedotnet-frameworkef6

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

JavaScript383mpl-2.0

2 years ago

firefoxfirefox-containersgoogle

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

PHP2001apache-2.0

9 months ago

This project is no longer maintained

Kotlin160gpl-3.0

6 months ago

androidandroid-applicationarknights

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

C424gpl-3.0

8 months ago

applemidiblebluetooth

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

C#9apache-2.0

7 years ago

No longer maintained, please migrate to model_bakery

Python908other

5 years ago

factoryfixturesfixtures-replacement

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

Perl1484other

5 years ago

ackgrepperl