Pinned Loading

1. haskell-evdev haskell-evdev Public

   Low-level Haskell bindings to libevdev

   Haskell 1

2. components-rs components-rs Public

   Library for interacting with Windows COM (Component Object Model)

   Rust 1 1

3. huet-unify huet-unify Public

   Huet's pre-unification algorithm for the simply-typed lambda calculus, implemented in Haskell

   Haskell 4

4. iris-logrel-sessions iris-logrel-sessions Public

   Coq formalization of a logical relations proof of type safety for a type system with session types, unique/shareable references, using the Iris concurrent separation logic

   Coq 1

5. mcworld mcworld Public

   Minecraft Bedrock world reading library in Rust

   Rust 4 2

6. deptt deptt Public

   Type checker for a dependent type theory with predicative, non-cumulative universes and explicit universe polymorphism à la Agda

   Haskell