Search Package Index

15 packages found

 PackageDescriptionBuild 

persistent-array

A semi-persistent array

Tags:

This package needs license metadata

succeeds2

persistent-union-find

A persistent implementation of the union-find data structure

This package needs documentation

Tags:

This package needs license metadata

succeeds4

crystal

Spritely Crystal is an implementation and demo of how to bring privacy-preserving, persistent URLs to the web which are capable of being updated.

This package needs documentation

This package needs license metadata

succeeds4

pvector

Fast, immutable, persistent vectors

Docs:

This package needs license metadata

succeeds2

spmatrix

Semi-persistent matrices based on spvectors

Docs:
Tags:

This package needs license metadata

succeeds2

spvector

Semi-persistent vectors that provide O(1) performance for linear use, but O(n) performance for non-linear accesses

Docs:
Tags:

This package needs license metadata

succeeds2

ee-lib

Utilities for defining embedded macro expanders

Docs:

This package needs tags

This package needs license metadata

succeeds2

fector

Persistent Functional Vectors

This package needs documentation

Tags:

This package needs license metadata

succeeds4

knox

A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities

This package needs documentation

This package needs tags

License:
succeeds; has failing tests5

odysseus

Library with handy general-purpose functions and macro as well as specific ones

This package needs documentation

Tags:

This package needs license metadata

succeeds; has dependency problems4

quickscript-extra

Some scripts for DrRacket's Quickscript.

This package needs license metadata

succeeds2

quickscript-test

Tests for the quickscript package

License:
0

rebellion

A collection of infrastructure libraries

Docs:

This package needs license metadata

succeeds2

syntax-spec-v2

A metalanguage for creating sophisticated DSLs

This package needs tags

License:
succeeds1

syntax-spec-v3

This package needs a description

This package needs tags

License:
succeeds3