Repository Index

A common lisp library providing easy csv reading and writing

🚀 Gone - A Lightweight Dependency Injection Framework for Go | Tag-based Auto Injection | Supports Config Center/Lifecycle Management | Provides Rich Ecosystem Components and Scaffolding Tool

• di
• dependency-injection
• dig
• golang

Provide mongodb access service to play.db.Model via Morphia

This is a refactoring kata for improving your coding skills

A framework for smart contract verification in Coq

• blockchain
• coq
• smart-contracts
• verification

Modeling and Proving in Computational Type Theory

A library for allowing apps to easily use different auth providers.

A mechanisation of Wasm in Rocq

• webassembly
• wasm
• coq
• rocq-prover

WELA (Windows Event Log Analyzer, ゑ羅) is a tool for auditing and configuring Windows event log settings. Windows event logs are a vital source of information for Digital Forensics and Incident Response (DFIR), providing visibility into system activity and security events.

F# type providers to support statically typed access to input parameters and result set of sql statement in idiomatic F# way. Data modifications via statically typed tables.

Ratus is a RESTful asynchronous task queue server. It translated concepts of distributed task queues into a set of resources that conform to REST principles and provides a consistent HTTP API for various backends.

• distributed-systems
• priority-queue
• task-queue
• task-scheduler

GoThanks automatically stars Go's official repository and your go.mod github dependencies, providing a simple way to say thanks to the maintainers of the modules you use and the contributors of Go itself.

• go
• golang
• thanks
• open-source

This is a library that provides generic functionalities for the implementation of imports. In addition to maximum performance and optimized memory consumption, Pacemaker can also be used to implement imports in distributed scenarios that place the highest demands on speed and stability.

• magento
• import
• products
• categories

An array class for VBA providing features found in more modern languages

• vba
• modern
• excel
• array

Neovim plugin improving access to clipboard history

• lua
• neovim
• neovim-lua
• neovim-plugin

TranslatedA guide to avoiding scams in the human world: 373 scam breakdowns covering 16 categories, including fake-order task scams (刷单), pig-butchering scams (杀猪盘), AI face-swapping, and scams targeting the elderly; includes real case reports, everyday self-check lists, PDF/EPUB/Anki downloads, and a scam-avoidance mini-game with 12 rounds

• anti-fraud
• anti-scam
• chinese
• scam-awareness

A TextView that provides easy to use tagging feature for Mention or Hashtag

• mention
• hashtag
• textview
• swift

Payment Bundle providing access to the PayPal API

FileManager replacement for Local, iCloud and Remote (WebDAV/FTP/Dropbox/OneDrive) files -- Swift

• swift
• nsfilemanager
• filemanager
• icloud

This library provides a simple microservice framework based on clean architecture principles with a working example implemented.

• golang
• go
• microservices
• microservice

A Go (golang) package providing high-performance asynchronous logging, message filtering by severity and category, and multiple message targets.

RISC-V Specification in Coq

Spin aims to provide a versatile Feedback Loop implementation working with the three main reactive frameworks available in the Swift community (RxSwift, ReactiveSwift and Combine)

• feedback-loop
• reactive-frameworks
• swift
• spin

Well-formatted and improved trace system calls and signals (when the debugger does not help)