Skip to content
View ocecaco's full-sized avatar

Block or report ocecaco

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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