Skip to content

@maybevoid MaybeVoid

Change the repository type filter

All

    Repositories list

    25 repositories

    • tensor-monad

      Public
      0•0•1•0•Updated Jan 23, 2026Jan 23, 2026

    • hermes-sdk

      Public
      Rust
      •
      Apache License 2.0
      •11•0•0•0•Updated Jan 20, 2025Jan 20, 2025

    • maybevoid.com

      Public
      HTML
      •0•0•0•0•Updated Nov 10, 2024Nov 10, 2024

    • context-generic-programming-hs-demo

      Public
      Demo of using context-generic programming in Haskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•0•0•Updated Oct 9, 2022Oct 9, 2022

    • aeneas

      Public
      A verification toolchain for Rust programs
      OCaml
      •75•0•0•0•Updated Jun 23, 2022Jun 23, 2022

    • charon

      Public
      Interface with the rustc compiler for the purpose of program verification
      Rust
      •40•1•0•0•Updated Jun 23, 2022Jun 23, 2022

    • generic-greet

      Public
      Example generic greet functions for generic programming in Rust
      Rust
      •0•0•0•0•Updated Jun 21, 2022Jun 21, 2022

    • mononym

      Public
      Type-level named values with partial dependent type support in Rust
      Rust
      •
      Apache License 2.0
      •0•58•1•0•Updated Apr 18, 2022Apr 18, 2022

    • lambek-doc

      Public
      HTML
      •
      Other
      •0•0•0•0•Updated Dec 29, 2021Dec 29, 2021

    • lambek

      Public
      Type-Level Programming in Rust
      Rust
      •
      Apache License 2.0
      •0•28•0•0•Updated Dec 29, 2021Dec 29, 2021

    • ibc-rs

      Public
      IBC Relayer (Hermes) and Modules in Rust
      Rust
      •
      Apache License 2.0
      •402•0•0•0•Updated Nov 19, 2021Nov 19, 2021

    • this-week-in-rust

      Public
      Data for this-week-in-rust.org
      HTML
      •1.5k•0•0•0•Updated Nov 11, 2021Nov 11, 2021

    • nix-workshop

      Public
      Nix Workshop Tutorials
      JavaScript
      •
      Other
      •12•0•0•0•Updated Jan 19, 2021Jan 19, 2021

    • casimir

      Public
      Algebraic Effects in Haskell using Implicit Parameters
      Haskell
      •0•47•0•0•Updated Aug 16, 2020Aug 16, 2020

    • quasi-params

      Public
      Labeled parameters as constraints in Haskell
      Haskell
      •0•2•0•0•Updated Aug 16, 2020Aug 16, 2020

    • apply-m

      Public
      Monadic lift effectful function arguments
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Aug 8, 2020Aug 8, 2020

    • maybevoid-nix

      Public
      Common Nix expressions for MaybeVoid projects
      Nix
      •0•0•0•0•Updated Jun 7, 2020Jun 7, 2020

    • ferrite-forked

      Public
      Session Type Library for Rust
      Rust
      •
      Apache License 2.0
      •1•3•0•0•Updated May 30, 2020May 30, 2020

    • dabble

      Public
      Row Polymorphism in Haskell
      Haskell
      •0•11•0•0•Updated Apr 10, 2020Apr 10, 2020

    • maybevoid-projects

      Public
      Haskell projects by MaybeVoid
      Makefile
      •0•0•0•0•Updated Apr 10, 2020Apr 10, 2020

    • implicit-effects-haddock

      Public
      Haddock documentation GitHub pages for implicit-effects
      HTML
      •0•0•0•0•Updated Dec 3, 2019Dec 3, 2019

    • effects-benchmark-nix

      Public
      Nix setup for running effects-benchmark
      Nix
      •0•0•0•0•Updated May 13, 2019May 13, 2019

    • effects-benchmarks

      Public
      Benchmarking Haskell extensible-effect libraries.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •7•0•0•0•Updated May 12, 2019May 12, 2019

    • haskell-code-explorer

      Public
      Web application for exploring and understanding Haskell codebases
      Haskell
      •
      MIT License
      •21•0•0•0•Updated Apr 28, 2019Apr 28, 2019

    • maybevoid.com-racket

      Public
      Old static site source code for maybevoid.com
      Racket
      •0•0•0•0•Updated Dec 12, 2017Dec 12, 2017
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.