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

Dart1072mit

8 months ago

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

Nix624mpl-2.0

4 months ago

flakeflakesnightly

Framework for simplifying flake setup [maintainer=@accelbread]

Nix189mit

4 months ago

Modules to help you handle persistent state on systems with ephemeral root stora

Nix1041mit

4 months ago

home-managernixnixos

Collection of image builders [maintainer=@Lassulus]

Nix1681mit

4 months ago

image-builderisonix

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

Rust420mpl-2.0

6 months ago

bitbucketcodebergcrate

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

Go1216apache-2.0

5 months ago

derivingfunctional-programminggenerator

Coq plugin for parametricity [maintainer=@proux01]

Coq44other

4 months ago

coqcoq-cicoq-platform

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

C++2036gpl-2.0

9 days ago

cc-plus-plusfps

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

Zig21apache-2.0

7 months ago

agentshealthcheckiot

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

1118cc0-1.0

3 years ago

awesomeawesome-list

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

Nix104mit

5 months ago

buildhacktoberfestjavascript

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

Shell2

6 months ago

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

Python4mit

2 years ago

climachine-learningshell-script

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

Swift18mit

3 years ago

documentaiongeneratorgenerator-markdown

Sokoban (in Coq) [maintainer=@erikmd]

Coq21lgpl-2.1

2 years ago

coqcoq-librarypuzzle

Libraries demonstrating design patterns for programming and proving with canonic

Coq26other

3 years ago

automationcanonical-structurescoq

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

Nix6427mit

4 months ago

dotfilesnixnix-dotfiles

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

C#340bsd-2-clause

7 months ago

bddbdd-stylefixie

A super efficient Amazon SQS thread based message processor for Ruby. This proje

Ruby2054other

23 days ago

activejobaws-sdk-rubyaws-sqs

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

C++770lgpl-3.0

4 months ago

language-server-protocolnixnixos

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

Shell1645mit

4 months ago

hacktoberfestmanaged-by-renovatenix-community-buildbot

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

HCL342apache-2.0

4 months ago

nixosterraform-modules

Easily create and maintain style guides using CSS comments

JavaScript686other

7 years ago

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

HTML484

3 years ago

elmelm-architectureelm-format

Easy to maintain open source documentation websites.

TypeScript56809mit

11 hours ago

documentationhacktoberfestjavascript

Compact representation of a placeholder for an image. Encode a blurry image unde

Dart515mit

last year

blurhashdartlangflutter

Get It - Simple direct Service Locator that allows to decouple the interface fro

Dart1292mit

4 months ago

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

TypeScript921mit

5 months ago

build-tooldenohacktoberfest

Simplified nix packaging for various programming language ecosystems [maintainer

Nix941mit

4 months ago

2nixdream-to-nixhacktoberfest

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

R986other

30 days ago

latexr-packagetexlive

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

Lua234gpl-2.0

5 days ago

flakesneovimnix

Bundle Nix derivations to run anywhere! [maintainer=@matthewbauer, @Artturin]

Nix658mit

last month

nix

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

Coq8other

3 months ago

coqctlmathcomp

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

Coq15other

4 months ago

complex-analysiscoqreal-analysis

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

Ruby191mit

8 years ago

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

22apache-2.0

5 years ago

Maintain the source code for GraphQL related tools.

Java108apache-2.0

2 days ago

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

2094

last year

awesomeawesome-listawesomeness

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

Shell6apache-2.0

4 years ago

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

C#56mit

5 years ago

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

PowerShell6297apache-2.0

3 months ago

flaremalware-analysisreverse-engineering

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

Python1241mit

4 months ago

nix-packagesnixpkgsnur

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

Rust175mit

4 months ago

clicommand-linecommand-line-tool

Pure Nix flake utility functions [maintainer=@zimbatm]

Nix1097mit

4 months ago

flakenixnix-flake

Scaloid makes your Android code easy to understand and maintain.

Scala2089other

5 months ago

scala

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

Lua59unlicense

2 years ago

intellijintellij-pluginlove2d

Sublime Text plugin for EditorConfig - Helps developers maintain consistent codi

Python1768mit

11 months ago

editorconfigpythonsublime-package

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

92mit

2 years ago

ai-aided-drug-discoveryawesomeawesome-list

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

Java909apache-2.0

2 days ago

apiassertionsautomation

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

C80

5 months ago

rubyrubynlpunicode

Coq plugin providing tactics for rewriting universally quantified equations, mod

OCaml29other

4 months ago

coqcoq-cicoq-platform

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

Go946mpl-2.0

yesterday

awsazurecloud

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

Python166other

4 months ago

firmware-stubsmicropythonmicropython-stubber

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

Java13other

4 years ago

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

Ruby172other

7 years ago

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

301cc0-1.0

4 months ago

awesomeawesome-listcoq

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Coq487mit

4 months ago

coq

🚪 Monitor and validate your websites to maintain maximum uptime.

Kotlin379apache-2.0

3 years ago

androidnetworkping

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

Dart1967mit

4 months ago

dartflutterhacktoberfest

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

JavaScript680mit

3 years ago

Elisp maintainers and how to support them

177

2 years ago

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

Dockerfile6bsd-3-clause

4 months ago

cicoqdocker-image

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

Ruby500apache-2.0

yesterday

boltdevopsorchestration

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

2910cc0-1.0

4 months ago

awesomeawesome-listlists

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

JavaScript6936

5 months ago

animatedreact-nativeswipe

Emacs mode for students using the learn-ocaml platform (https://ocaml-sf.org/lea

Emacs Lisp7mit

3 years ago

emacslearn-ocamlocaml

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

C#108mit

4 months ago

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

Shell786bsd-3-clause

17 days ago

dotfileshacktoberfestoh-my-zsh

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

C#1417mit

4 months ago

databasedotnet-frameworkef6

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

PHP2064apache-2.0

4 months ago

This project is no longer maintained

Kotlin158gpl-3.0

last year

androidandroid-applicationarknights

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

C#9apache-2.0

8 years ago

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

Perl1478other

6 years ago

ackgrepperl

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

Java37other

9 years ago

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

Coq22lgpl-2.1

4 months ago

coqcoq-cicoq-platform

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

Coq66other

3 months ago

coqcoq-cicoq-platform

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

OCaml325mit

4 months ago

coqeditorvscode

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

C#2112mit

last year

dotnetinteroppinvoke

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

Rust145

6 years ago

asyncasynchronouscoroutines

UITest helper library for creating readable and maintainable tests

Swift56other

6 years ago

swiftuitestxctest

Actively maintained, community-driven chat UI implementation with an optional Fi

Dart1542apache-2.0

4 months ago

androidchatdart

A Terminal user interface for maintaining an Arch Linux distribution.

Shell171other

8 months ago

archarch-linuxarch-linux-distro

DEPRECATED: this repo is no longer actively maintained

JavaScript361apache-2.0

6 years ago

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

Go2083mit

3 years ago

ffmpeg-librariesgolang-bindingsvideo

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

C++433

2 years ago

NOTE: This project in not currently maintained.

HTML303mit

7 years ago

WARNING: This repository is no longer maintained

JavaScript63apache-2.0

5 years ago

apigeneratorgenerator-swiftserver

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

C++139apache-2.0

2 years ago

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

Kotlin7951gpl-3.0

3 months ago

androidhabit-trackerhabits

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

Java2091apache-2.0

4 months ago

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

PHP4458other

5 years ago

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

JavaScript13824mit

4 months ago

assertionsnodesuperagent

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

Ruby2526other

8 years ago

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

Kotlin10apache-2.0

5 years ago

androidkotlinkotlin-android

A micropython driver for the popular RDM6300 RFID card reader. This should still

Python2

3 years ago

[DISCONTINUED / NO LONGER MAINTAINED] Share your location end-to-end encrypted o

Dart222gpl-3.0

2 months ago

androidandroid-appapp

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

JavaScript1mit

4 years ago

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

JavaScript0mit

4 years ago

Quick C-- compiler (no longer maintained)

OCaml150

11 years ago

This repository is not maintained

Python2851other

6 years ago

Security CTF Toolkit (Not maintained anymore)

Python365

7 years ago

python3securitysecurity-ctf

not maintained - [NEEDS ROOT] Calibrate your battery

Java20mit

6 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

This repo maintains DM (a data migration platform) and TiCDC (change data captur

Go428apache-2.0

14 days ago

cdcdmkafka

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

Java1177mit

7 years ago

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

2

6 years ago

[No longer maintained]

PHP6mit

9 years ago

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

Java31gpl-3.0

last year

code4liburn

Android strobe light app - no longer maintained

Java21

9 years ago

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

Java219

7 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

Swift48apache-2.0

4 years ago

swiftwatsonwatson-swift-sdk

A offline and online Flutter Whiteboard with collaboration Features. Maintained

Dart93gpl-3.0

3 months ago

drawdrawingexport

Simplifies class-based views for more organized and maintainable code in FastAPI

Python116mit

7 months ago

fastapimvcorjson

Fast Android Development. Easy maintainance.

Java11057other

2 years ago

androidandroidannotationsannotation-processor

Former GUI client for gRPC services. No longer maintained.

TypeScript9016lgpl-3.0

2 years ago

grpc

A maintained, feature-rich and performance oriented, neofetch like system inform

C10761mit

6 days ago

command-linefastfetchfetch

Music player made using Flutter. Maintained by @ashwinkey04

Dart104gpl-2.0

8 months ago

dartflutterflutter-app

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

Java30bsd-3-clause

4 months ago

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

Swift3025mit

last year

applebutterfly-keyboarddebounce

NOT MAINTAINED

Ruby2610mit

7 years ago

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

Coq109gpl-2.0

2 months ago

coqcoq-cicoq-library

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

Ruby4294mit

3 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

JavaScript16591mit

last month

Facility, Prosperity and Maintainability.

Elixir9mit

9 years ago

Documentation for the General Bikeshare Feed Specification, a standardized data

800other

10 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

Python99

3 years ago

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

Python339apache-2.0

last month

Scala framework for building beautiful and maintainable web applications.

Scala443apache-2.0

4 months ago

backenddata-bindingfrontend

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

Elixir725unlicense

2 years ago

clientelixirhttp

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

TypeScript741apache-2.0

10 hours ago

apolloapollo-federationgateway

CakePHP plugin for maintaining a contiguous sequence of records

PHP44mit

last year

cakephpcakephp-pluginphp

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

JavaScript287mit

4 years ago

javascriptnodejssteam

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

JavaScript22

5 years ago

javascriptnodejssteam

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

JavaScript27mit

5 years ago

javascriptnodejssteam

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

JavaScript2694mit

7 years ago

Class for high-level audio manipulations [NOT MAINTAINED]

JavaScript240mit

8 months ago

audioaudiojsjavascript

(NOT MAINTAINED) Build And Testing Environments as Code Tool

Kotlin687apache-2.0

last year

batectdeveloper-experiencedocker

[NO LONGER MAINTAINED] Android library for better Picker DialogFragments

Java2679

5 years ago

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

Coq13

last year

coqmathcompmathcomp-ci

NOT LONGER MAINTAINED - Symfony2 bundle allowing to automatically generate contr

PHP51mit

9 years ago

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

Ruby753mit

2 years ago

Maintainable configuration files

Dhall909bsd-3-clause

4 months ago

configuration-languagedhallhaskell

(No Longer Maintained) Terraform PDF Documentation

Python62

5 years ago

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

Python879

8 years ago

Raft library for maintaining a replicated state machine

Go594apache-2.0

4 months ago

consensusdistributed-systemsraft

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

JavaScript1015mit

4 years ago

image-viewerjqueryjquery-plugin

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

JavaScript1493

9 years ago

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

Java85gpl-3.0

4 years ago

androiddriverexternal

⛔️ Laravel Tinx is archived and no longer maintained.

PHP449

5 years ago

archiveddeprecatedlaravel

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

Vue104mit

2 years ago

[maintained] Integrating Redaktilo into Symfony

PHP6mit

9 years ago

phpsymfonysymfony-bundle

For writing maintainable and scalable HTML documents

4110

7 months ago

Experimental gateway with delegated backend. No longer maintained, consider migr

Go42other

5 months ago

httpipfsipfs-gateway

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

JavaScript8gpl-3.0

3 years ago

node-steamapisnpmsteamapis

This zsh plugin allows users to manage and navigate through a history of directo

Shell1gpl-3.0

5 months ago

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

Emacs Lisp88gpl-3.0

2 years ago

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

Elm168mit

5 years ago

aws-lambdaelmelm-serverless

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

Lua164gpl-3.0

2 months ago

luaneovimneovim-plugin

A full-featured repl implementation designed to work with Roswell

Common Lisp19gpl-3.0

2 months ago

A shortcut macro to write DEFCLASS forms quickly

Common Lisp9

2 months ago

Search Engine Interface for Common Lisp projects. Fork of https://github.com/tk

Common Lisp4mit

3 months ago

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

Shell14

9 years ago

A simple ZSH plugin for maintaining multiple Neovim configurations with NVIM_APP

Shell17gpl-3.0

7 months ago

appnameneovimneovim-config

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

PHP66other

2 months ago

[NOT MAINTAINED] Integrates Guzzle into your Symfony2 application

PHP99

6 years ago

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

JavaScript294mit

2 years ago

javascriptsailssailsjs

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

Nix499

4 months ago

nixosnixpkgssway

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

Java172mit

3 years ago

androidlinuxx11

⚡️ OpenAI PHP is a supercharged community-maintained PHP API client that allows

PHP4913mit

25 days ago

apiclientcodex

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

Scala12522apache-2.0

4 months ago

frameworkhacktoberfestjava

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

C#6357other

23 hours ago

c-sharphacktoberfestmvvm

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

Go1398other

4 months ago

Actively maintained open-source game remakes.

744cc-by-sa-4.0

4 months ago

awesomeawesome-listengine

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

JavaScript570mit

5 years ago

reactreact-nativereact-native-mock

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

TypeScript966apache-2.0

4 months ago

area-chartsbar-chartsbubble-chart

Ansible role for installing, configuring, and maintaining InfluxDB

Jinja44mit

11 months ago

Forward RSS feeds to your email address, community maintained

Python373gpl-2.0

15 days ago

No longer maintained: Terraform provider to manage pingdom resources

Go120mit

2 years ago

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

JavaScript182mit

8 years ago

Elementary icons forked from upstream, extended and maintained for Xfce

C274gpl-2.0

22 days ago

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

Shell614

8 months ago

Maintained complete Ada-Mode for Vim/NeoVim

Vim script7

4 years ago

adaneovimvim

Transloadit's official Rails SDK, maintained by the community

Ruby47mit

2 years ago

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

C#3298mit

7 months ago

assertion-libraryassertionsauto-mocking

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

C#2839other

5 months ago

csharpdotnetmaui

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

Coq86lgpl-2.1

2 months ago

coqcoq-cicoq-platform

An Emacs mode for D code.

Emacs Lisp84gpl-3.0

3 months ago

Kotlin major mode for Emacs

Emacs Lisp163gpl-3.0

last year

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

325cc-by-4.0

last year

modulespluginscript

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

Rust786other

4 months ago

nixnix-community-buildbotnixpkgs

A community maintained router component for React Native

JavaScript268mit

4 years ago

navigationreact-nativereact-native-navigation

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

TypeScript7mit

3 years ago

composition-apistate-managementtypescript

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

TypeScript345gpl-3.0

10 hours ago

bddbdd-testsbehavior-driven-development

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

TypeScript6130mit

3 months ago

boilerplatechatgptcva

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

Dart1072mit

8 months ago

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

Nix624mpl-2.0

4 months ago

flakeflakesnightly

Framework for simplifying flake setup [maintainer=@accelbread]

Nix189mit

4 months ago

Modules to help you handle persistent state on systems with ephemeral root stora

Nix1041mit

4 months ago

home-managernixnixos

Collection of image builders [maintainer=@Lassulus]

Nix1681mit

4 months ago

image-builderisonix

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

Rust420mpl-2.0

6 months ago

bitbucketcodebergcrate

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

Go1216apache-2.0

5 months ago

derivingfunctional-programminggenerator

Coq plugin for parametricity [maintainer=@proux01]

Coq44other

4 months ago

coqcoq-cicoq-platform

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

C++2036gpl-2.0

9 days ago

cc-plus-plusfps

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

Zig21apache-2.0

7 months ago

agentshealthcheckiot

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

1118cc0-1.0

3 years ago

awesomeawesome-list

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

Nix104mit

5 months ago

buildhacktoberfestjavascript

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

Shell2

6 months ago

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

Python4mit

2 years ago

climachine-learningshell-script

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

Swift18mit

3 years ago

documentaiongeneratorgenerator-markdown

Sokoban (in Coq) [maintainer=@erikmd]

Coq21lgpl-2.1

2 years ago

coqcoq-librarypuzzle

Libraries demonstrating design patterns for programming and proving with canonic

Coq26other

3 years ago

automationcanonical-structurescoq

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

Nix6427mit

4 months ago

dotfilesnixnix-dotfiles

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

C#340bsd-2-clause

7 months ago

bddbdd-stylefixie

A super efficient Amazon SQS thread based message processor for Ruby. This proje

Ruby2054other

23 days ago

activejobaws-sdk-rubyaws-sqs

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

C++770lgpl-3.0

4 months ago

language-server-protocolnixnixos

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

Shell1645mit

4 months ago

hacktoberfestmanaged-by-renovatenix-community-buildbot

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

HCL342apache-2.0

4 months ago

nixosterraform-modules

Easily create and maintain style guides using CSS comments

JavaScript686other

7 years ago

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

HTML484

3 years ago

elmelm-architectureelm-format

Easy to maintain open source documentation websites.

TypeScript56809mit

11 hours ago

documentationhacktoberfestjavascript

Compact representation of a placeholder for an image. Encode a blurry image unde

Dart515mit

last year

blurhashdartlangflutter

Get It - Simple direct Service Locator that allows to decouple the interface fro

Dart1292mit

4 months ago

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

TypeScript921mit

5 months ago

build-tooldenohacktoberfest

Simplified nix packaging for various programming language ecosystems [maintainer

Nix941mit

4 months ago

2nixdream-to-nixhacktoberfest

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

R986other

30 days ago

latexr-packagetexlive

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

Lua234gpl-2.0

5 days ago

flakesneovimnix

Bundle Nix derivations to run anywhere! [maintainer=@matthewbauer, @Artturin]

Nix658mit

last month

nix

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

Coq8other

3 months ago

coqctlmathcomp

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

Coq15other

4 months ago

complex-analysiscoqreal-analysis

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

Ruby191mit

8 years ago

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

22apache-2.0

5 years ago

Maintain the source code for GraphQL related tools.

Java108apache-2.0

2 days ago

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

2094

last year

awesomeawesome-listawesomeness

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

Shell6apache-2.0

4 years ago

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

C#56mit

5 years ago

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

PowerShell6297apache-2.0

3 months ago

flaremalware-analysisreverse-engineering

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

Python1241mit

4 months ago

nix-packagesnixpkgsnur

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

Rust175mit

4 months ago

clicommand-linecommand-line-tool

Pure Nix flake utility functions [maintainer=@zimbatm]

Nix1097mit

4 months ago

flakenixnix-flake

Scaloid makes your Android code easy to understand and maintain.

Scala2089other

5 months ago

scala

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

Lua59unlicense

2 years ago

intellijintellij-pluginlove2d

Sublime Text plugin for EditorConfig - Helps developers maintain consistent codi

Python1768mit

11 months ago

editorconfigpythonsublime-package

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

92mit

2 years ago

ai-aided-drug-discoveryawesomeawesome-list

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

Java909apache-2.0

2 days ago

apiassertionsautomation

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

C80

5 months ago

rubyrubynlpunicode

Coq plugin providing tactics for rewriting universally quantified equations, mod

OCaml29other

4 months ago

coqcoq-cicoq-platform

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

Go946mpl-2.0

yesterday

awsazurecloud

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

Python166other

4 months ago

firmware-stubsmicropythonmicropython-stubber

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

Java13other

4 years ago

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

Ruby172other

7 years ago

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

301cc0-1.0

4 months ago

awesomeawesome-listcoq

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Coq487mit

4 months ago

coq

🚪 Monitor and validate your websites to maintain maximum uptime.

Kotlin379apache-2.0

3 years ago

androidnetworkping

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

Dart1967mit

4 months ago

dartflutterhacktoberfest

Elisp maintainers and how to support them

177

2 years ago

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

Dockerfile6bsd-3-clause

4 months ago

cicoqdocker-image

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

Ruby500apache-2.0

yesterday

boltdevopsorchestration

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

2910cc0-1.0

4 months ago

awesomeawesome-listlists

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

JavaScript6936

5 months ago

animatedreact-nativeswipe

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

CoffeeScript1495mit

2 months ago

atombeautifierbeautify

Emacs mode for students using the learn-ocaml platform (https://ocaml-sf.org/lea

Emacs Lisp7mit

3 years ago

emacslearn-ocamlocaml

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

C#108mit

4 months ago

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

Shell786bsd-3-clause

17 days ago

dotfileshacktoberfestoh-my-zsh

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

C#1417mit

4 months ago

databasedotnet-frameworkef6

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

PHP2064apache-2.0

4 months ago

This project is no longer maintained

Kotlin158gpl-3.0

last year

androidandroid-applicationarknights

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

C#9apache-2.0

8 years ago

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

Perl1478other

6 years ago

ackgrepperl

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

Java37other

9 years ago

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

Coq22lgpl-2.1

4 months ago

coqcoq-cicoq-platform

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

Coq66other

3 months ago

coqcoq-cicoq-platform

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

OCaml325mit

4 months ago

coqeditorvscode

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

C#2112mit

last year

dotnetinteroppinvoke

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

Rust145

6 years ago

asyncasynchronouscoroutines

UITest helper library for creating readable and maintainable tests

Swift56other

6 years ago

swiftuitestxctest

Actively maintained, community-driven chat UI implementation with an optional Fi

Dart1542apache-2.0

4 months ago

androidchatdart

A Terminal user interface for maintaining an Arch Linux distribution.

Shell171other

8 months ago

archarch-linuxarch-linux-distro

DEPRECATED: this repo is no longer actively maintained

JavaScript361apache-2.0

6 years ago

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

Go2083mit

3 years ago

ffmpeg-librariesgolang-bindingsvideo

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

C++433

2 years ago

NOTE: This project in not currently maintained.

HTML303mit

7 years ago

WARNING: This repository is no longer maintained

JavaScript63apache-2.0

5 years ago

apigeneratorgenerator-swiftserver

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

C++139apache-2.0

2 years ago

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

Kotlin7951gpl-3.0

3 months ago

androidhabit-trackerhabits

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

Java2091apache-2.0

4 months ago

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

PHP4458other

5 years ago

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

JavaScript13824mit

4 months ago

assertionsnodesuperagent

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

Ruby2526other

8 years ago

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

Kotlin10apache-2.0

5 years ago

androidkotlinkotlin-android

A micropython driver for the popular RDM6300 RFID card reader. This should still

Python2

3 years ago

[DISCONTINUED / NO LONGER MAINTAINED] Share your location end-to-end encrypted o

Dart222gpl-3.0

2 months ago

androidandroid-appapp

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

JavaScript1mit

4 years ago

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

JavaScript0mit

4 years ago

Quick C-- compiler (no longer maintained)

OCaml150

11 years ago

This repository is not maintained

Python2851other

6 years ago

Security CTF Toolkit (Not maintained anymore)

Python365

7 years ago

python3securitysecurity-ctf

not maintained - [NEEDS ROOT] Calibrate your battery

Java20mit

6 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

This repo maintains DM (a data migration platform) and TiCDC (change data captur

Go428apache-2.0

14 days ago

cdcdmkafka

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

Java1177mit

7 years ago

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

2

6 years ago

[No longer maintained]

PHP6mit

9 years ago

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

Java31gpl-3.0