Repository Index

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

• coq
• mathcomp
• modal-logics
• ctl

A task graph execution library for elixir

Parse and check doi objects in go.

• doi
• golang
• go
• parser

V bindings to Objective-C runtime.

• bindings
• objective-c
• vlang
• vlang-package

JVM runtime execution analysis - finds hot code paths by frequency, not CPU time

• asm
• bytecode
• code-coverage
• java

Like `Promise.all` but for object properties.

• deno
• promise

Hands is a process controller used to control the execution and return strategies of multiple goroutines.

A port of Bryan O'Sullivan's attoparsec from Haskell to F#. Nuget: 'Attoparsec'

• parsing
• combinators
• fsharp
• attoparsec

LibRHash for Pascal

• librhash
• rhash
• hash
• windows

Recursion schemes in ATS

This is a library for generating a Common-Lisp foreign function interface (FFI) from GObject Introspection XML files (GIR files).

• gobject-introspection
• code-generation

One Go interface, five backends — filelock, flock, Redis, Postgres, etcd. Distributed locks with fencing tokens, semaphore mode, observability hooks, and TraceID propagation. Swap backends with one line.

• advisory-lock
• concurrency
• distributed-lock
• etcd

Library to manage application lifetime in a Go microservice architecture

• go
• golang
• library
• microservice

The kitchen sink for clean Go projects — generic helpers for slices, maps, parallel work, JSON, HTTP, and containers

• collections
• data-structures
• functional-programming
• generics

TEXP is a domain specific language for producing TeX documents with Common Lisp.

• tex
• domain-specific-language

Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON

• functional-programming
• java
• json
• json-generator

Ada 2012 library for WeeChat plug-ins

• weechat
• weechat-plugin
• ada

Anime quote web app that fetches data from Animechan (https://animechan.vercel.app/)

• rust
• yew
• wasm
• bootstrap

A Catspeak to Gamemaker VM bytecode Just-In-Time compiler.

MicroPython bindings for some MbedTLS EC and x509 cert/csr functions.

• ecdsa
• mbedtls
• micropython
• tls

Unified Java API for multiple decompilers (Fernflower, Vineflower, Procyon, CFR, JD-Core, JADX)

• bytecode
• cfr
• decompilation
• decompiler

Vertx-effect brings functional effects to the Vert.x ecosystem and is inspired by Erlang’s actor model. Its manifesto emphasizes principles such as maximizing the use of verticles for scalability, maintaining single responsibility for each verticle, and prioritizing simplicity to enhance reliability and ease debugging.

• functional-programming
• java
• json-values
• persistent-data-structure

Execute ruby code from within C++/Qt programs

This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.