Repository Index

Fork of LuaCrypto, which enables encryption and decryption through OpenSSL

PHP library to find URLs in text and turn them into clickable links. Made to handle complex URLs, HTML markup and edge cases.

• php
• url
• parser
• html

A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.

• code-formatter
• code-generation
• mypy
• pyannotate

Golang simple thread pool implementation

• golang
• threadpool
• channels
• scalable

A refined core library for D programming language. The module has concurrency / collections / event / io / logging / text / serialization and more.

• event-driven
• asynchronous
• io
• concurrency

Parses and evaluates mathematical expressions in Elixir. Inspired by math.js

• elixir
• math
• dsl

A handy calculator, based on Rust and WebAssembly.

• webassembly
• calculator
• math
• rust

Clojure to Common lisp interop

• clojure
• common-lisp

TypeScript Iteration Tools Library

• fluentinterface
• generator
• infinite-iteration
• iterable

raix (Reactive And Interactive eXtensions) is a functional, composable, API for AS3 that simplifies working with data, regardless of whether its interactive (arrays) or reactive (events). raix was previously RxAs

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

gpool - a generic context-aware resizable goroutines pool to bound concurrency based on semaphore.

• concurrency
• workerpool
• goroutine-pool
• resource-pool

.NET wrapper around the LibSass library with the ability to support a virtual file system.

• libsass
• scss
• dotnet
• sass

:curry: Currying made simple.

Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

• baseline
• cli
• legacy-code
• mypy

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs

Monadic effects and equational reasoning in Rocq

• monads
• monad-transformers
• probabilistic-programming
• nondeterminism

A Rocq formalization of information theory and linear error-correcting codes

• information-theory
• error-correcting-codes
• probability
• convexity

Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.

• golang
• go
• pooling
• pool

Common Lisp and CXX interoperation with JIT

• jit
• interoperability
• common-lisp
• cpp17

:awesome = Elixir's Task ++ Basho's sidejob library

Library providing fast hash based immutable map and set

• hashmap
• fsharp
• collections
• hashset

A wrapper/facade/whatever to enable/ease the use of jNetPcap (a libpcap based packet sniffing lib) in Clojure