Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Repository Index
47,133 repositories indexed
6,433–6,456 of 8,149 · Most stars
CLI tool and TUI editor for managing .NET .resx localization files. Validate translations, import/export CSV, add/remove languages, and edit interactively.
- cli
- csharp
- developer-tools
- dotnet
a wordpress plugin that improves wpgraphql usage together with wpml
- wpml
- wordpress
- wordpress-plugin
- wpgraphql-plugin
Available Terraform Provider network mirroring service.
- mirroring
- opentofu
- provider
- registry
Taming Reflection to Support Whole-Program Analysis of Android Apps
Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
Convert an Observable to a Promise
Map over promises serially
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
- delphi
- easy-to-use
- freepascal
- game
Produce Scalable Vector Graphics files with Common Lisp
- svg
- common-lisp
This script takes a file or directory as input, uses GPG AES256 symmetric encryption with the password you provide and adds it to IPFS and returns the IPFS hash.
- ipfs
- cli
- encryption
- ipfs-add
Unlimited job queue for go, using a pool of concurrent workers processing the job queue entries
The library provides a unified way to read configuration data from different sources, such as environment variables, command line flags, and configuration files.
"Hack" like a programmer in movies and games! Inspired by hackertyper.net
- haskell
- joke
- hacking
- typing
Helmut Hoffer von Ankershoffen experimenting with auto-provisioned RPi cluster running K8S on bare-metal
Example project showing how to build a full-stack serverless application with Cloudflare Workers 👷♀️☁️
- cloudflare-workers
- serverless
- full-stack
A macOS application for tracking code review process
A Nodeschool type workshop for Functional Reactive Programming and Bacon.js
Stream Ops is a fully embeddable data streaming engine and stream processing API for Java.
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Simple High Interaction Honeypot Solution for SMB protocol
- honeypot
- smb
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
Create a readable Node.js stream that produces no data (or optionally blank data) or a writable stream that discards data
- readable-stream
- stream
- nodejs-stream
- noop
The repo provides instructions on deploying CloudPakforData on the public cloud.