Nix overlay for Lean 4, and lake2nix
Repository Index
47,133 repositories indexed
289–312 of 365 · Most stars
Inspired by Fabric - Answers animation. Allows to "build" given view with pieces. Allows to "destroy" given view into pieces
This library provides a simple microservice framework based on clean architecture principles with a working example implemented.
- golang
- go
- microservices
- microservice
Launcher a medida para radio Android NWD (Allwinner T3)
A tool to aid you in writing clean and consistent Less.
Swizzlean, an Objective-C Swizzle Helper Class.
A clean, type-safe library for describing, manipulating and rendering CSS
A clean, type-safe routing library for PureScript.
The knockout viewmodel plugin is the fastest, smallest, cleanest, most flexible way to create a knockout viewmodel.
Minimal demo app for graphql-spqr
🚧 go-lambda-cleanup - A solution for removing previous versions of AWS Lambdas
Cleaner request parameters in Elixir web applications 🙌
- elixir
- plug
- request-handler
- phoenix-framework
Lean JSON Library for Java, with a compact, elegant API.
Magento 2 media information and cleanup
Airut is a system for running Claude Code tasks from email and Slack. It handles workspace provisioning, container isolation, network sandboxing, session persistence, and cleanup — a secure foundation for autonomous agentic development.
A Decky Loader plugin for tidying up your Steam Deck's storage. Quickly visualize, select and clear shader cache and compatibility data.
A production-grade HBase ORM library that makes accessing HBase clean, fast and fun (Can also be used as Bigtable ORM)
- hbase
- orm
- mapreduce
- object-mapping
The power you need to cleanse, filter, sort, reshape, manage and analyze data from CSV files.
- csv-parser
- csv-reader
- csv-writer
- utf-8
Undo. Redo. Time travel. Take control of your edit history with an interactive timeline, diff previews, taggings, live reloading trees and cleanup functions.
A tool to verify that your files are in harmony with your .editorconfig
- editorconfig
- composer
- editorconfig-checker
- php
GPTModels - a multi model, window based LLM AI plugin for neovim, with an emphasis on stability and clean code
Flare is a lightweight, developer-friendly Swift framework that simplifies working with in-app purchases. It provides a clean, unified API over StoreKit and StoreKit 2, includes async/await-ready workflows, and offers built-in UI components for a seamless integration experience.
- iap
- in-app-purchases
- macos
- swift
🚀 Production-ready AI-friendly Go REST API boilerplate with Clean Architecture, JWT auth, RBAC, PostgreSQL migrations, and highly tested. AI-optimized with built-in guidelines for most used IDEs. Docker hot-reload, Swagger docs, one-command setup. Build production APIs in minutes, not weeks.
🧼 Clean window maximizing, terminal toggling, window/tmux pane movements and more!