skalibs is a package centralizing the free software / open source C development files used for building all software at skarnet.org: it contains essentially general-purpose libraries. You will need to install skalibs if you plan to build skarnet.org software. The point is that you won't have to download and compile big libraries, and care about portability issues, every time you need to build a package: do it only once.

The OCaml compiler has a bunch of intrinsics for Bigstrings, but they're not widely-known, sometimes misused, and so programs that use Bigstrings are slower than they have to be. And even if a library got that part right and exposed the intrinsics properly, the compiler doesn't have any fast blits between Bigstrings and other string-like types.

napari-plugin-engine is a fork of pluggy modified by the napari team.

A type checker plugin for GHC that can solve equalities and inequalities of types of kind @Nat@, where these types are either:

Content sharing/picking infrastructure and service, designed to allow apps to securely and efficiently exchange content.

RuLex database is primarily intended for use along with the Ru_tts speech synthesizer in order to improve its pronunciation.