Skip to content
@maybevoid

MaybeVoid

Functional Programming and Programming Language Theory

Pinned Loading

  1. mononym mononym Public

    Type-level named values with partial dependent type support in Rust

    Rust 55

  2. lambek lambek Public

    Type-Level Programming in Rust

    Rust 26

  3. generic-greet generic-greet Public

    Example generic greet functions for generic programming in Rust

    Rust

  4. casimir casimir Public

    Algebraic Effects in Haskell using Implicit Parameters

    Haskell 46

  5. dabble dabble Public

    Row Polymorphism in Haskell

    Haskell 11

  6. nix-workshop nix-workshop Public

    Forked from scrive/nix-workshop

    Nix Workshop Tutorials

    JavaScript

Repositories

Showing 10 of 23 repositories
  • maybevoid.com Public
    maybevoid/maybevoid.com’s past year of commit activity
    HTML 0 0 0 0 Updated Jun 16, 2023
  • context-generic-programming-hs-demo Public

    Demo of using context-generic programming in Haskell

    maybevoid/context-generic-programming-hs-demo’s past year of commit activity
    Haskell 2 BSD-3-Clause 0 0 0 Updated Oct 9, 2022
  • aeneas Public Forked from AeneasVerif/aeneas

    A verification toolchain for Rust programs

    maybevoid/aeneas’s past year of commit activity
    OCaml 0 14 0 0 Updated Jun 23, 2022
  • charon Public Forked from AeneasVerif/charon

    Interface with the rustc compiler for the purpose of program verification

    maybevoid/charon’s past year of commit activity
    Rust 1 15 0 0 Updated Jun 23, 2022
  • generic-greet Public

    Example generic greet functions for generic programming in Rust

    maybevoid/generic-greet’s past year of commit activity
    Rust 0 0 0 0 Updated Jun 21, 2022
  • mononym Public

    Type-level named values with partial dependent type support in Rust

    maybevoid/mononym’s past year of commit activity
    Rust 55 Apache-2.0 0 1 0 Updated Apr 18, 2022
  • lambek-doc Public
    maybevoid/lambek-doc’s past year of commit activity
    HTML 0 0 0 0 Updated Dec 29, 2021
  • lambek Public

    Type-Level Programming in Rust

    maybevoid/lambek’s past year of commit activity
    Rust 26 Apache-2.0 0 0 0 Updated Dec 29, 2021
  • ibc-rs Public Forked from informalsystems/hermes

    IBC Relayer (Hermes) and Modules in Rust

    maybevoid/ibc-rs’s past year of commit activity
    Rust 0 Apache-2.0 336 0 0 Updated Nov 19, 2021
  • this-week-in-rust Public Forked from rust-lang/this-week-in-rust

    Data for this-week-in-rust.org

    maybevoid/this-week-in-rust’s past year of commit activity
    HTML 0 1,160 0 0 Updated Nov 11, 2021
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…