Pinned Loading

1. bloomfwd bloomfwd Public

   Parallel and efficient IP lookup algorithms using Bloom filters, multi-index hybrid tries, and priority tries.

   C

2. miht miht Public

   C implementation of a Multi-Index Hybrid Trie (MIHT) for efficient forwarding of IPv4 datagrams.

   C

3. pfec pfec Public

   An exploration of cryptographic protocols and REST-based web servers in Haskell.

   Haskell

4. dotfiles dotfiles Public

   Vim and NeoVim configs.

   Vim Script

5. pesca pesca Public

   pesca: Proof Editor for Sequent Calculus (mirror)

   Haskell 10 1

6. ocaml-exercises ocaml-exercises Public

   Solutions to https://ocaml.org/exercises

   OCaml