build tool and package manager for idris,in idris,with free monads
- idris
- free-monads
- package-manager
Repository Index
47,133 repositories indexed
1,081–1,104 of 1,317 · Most stars
CloudKit as a Log Storage
- cloudkit
- swift
- swift-logging
- swift-metrics
Go package for validating requests
- validation
- go
- golang
- validator
nvim-cmp source for golang packages path.
Architecture linter for Swift — enforce Clean Architecture import rules via SwiftSyntax. A CI-ready guardrail for AI-assisted development.
- swift
- swiftsyntax
- clean-architecture
- linter
A simple CSV file parser and serializer
Neovim plugin for generating Java files (classes, interfaces, enums, records) with package-aware autocompletion.
- java
- nvim
- plugin
ExPrompt is a helper package to add interactivity to your command line applications as easy as possible.
Contains functions for simplified creation of pointers from constants of basic types
- pointers
- ptr
- golang
- go
A simple package to provide a unified, simple, and easy to use api for checking reachability (network connectivity) on multiple platforms (so far only iOS and Android)
Arli is the command line tool, that's both — the Arduino Library manager that's decoupled from any IDE, as well a project generator based on "arduino-cmake". By coupling dependency management with CMake-based build system, Arli provides an easy way to package, share, and distribute complex Arduino projects.
Phalcon PHP REST API Package, still in beta, please submit issues or pull requests
Automatically Generated Stub Packages for Micropy-Cli and whomever else
- micropython
- micropy-cli
- stubs
- python
Native Java API to work with JavaScript Node Package Manager (NPM): query, retrieve, pack into jar (webjars), CDN, maven
🔥A curated list of awesome things related to Blaze
- meteorjs
- meteor-package
- meteor-framework
- meteor
Ciao is an easy-to-use Common Lisp OAuth 2.0 client library. It is a port of the Racket OAuth 2.0 Client (package: webapi) to Common Lisp.
- common-lisp
- oauth2-client
- oauth2
Collection of basic math routines in Ada
Meteor package for taking photos with user interface, one function call on desktop and mobile. Allows to choose between camera to photoLibrary on mobile.
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
🍱 yet another collection of go utilities & tools
- golang
- go
- go-package
- utility
Easy use of Microsoft DirectShow in Delphi for Win32 AND Win64
- dspack
- microsoft-directshow
- delphinuspackage
Generic 2D grid
- astar-algorithm
- dda-algorithm
- dejkstra
- golang
CakePHP behavior plugin for easily generating some complicated queries like (bulk) insert/upsert etc.
- cakephp-plugin
- bulk-insert
- composer-package
- behavior
Tool to convert OASIS metadata to OPAM package descriptions