This is a staging site. Uploads will not persist. Testing only.

eyes17-manuals-fr

Eyes17 User Manuals (French version)

Eyes17 provides high level interfaces for making science experiments with an ExpEYES-17 box.

libmeep27

library for using meep

Meep is a free and open-source software package for electromagnetics simulation via the finite-difference time-domain (FDTD) method.

libjane-street-headers-ocaml

common header files for Jane Street packages (runtime files)

This package provides C header files common to many of Jane Street software packages.

libcotp2

C library that generates TOTP and HOTP

C library that generates TOTP and HOTP according to RFC-6238.

eprover

Equational theorem prover

This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof.

node-jss-plugin-extend

node-jss plugin that enables mixing in styles

JSS is an authoring tool for CSS which allows you to use JavaScript to describe styles in a declarative, conflict-free and reusable way. It can compile in the browser, server-side or at build time in Node.