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.