Skip to content

@maybevoid MaybeVoid

Change the repository type filter

All

    Repositories list

    23 repositories

    • 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
      •15•0•0•0•Updated Jun 23, 2022Jun 23, 2022

    • charon

      Public
      Interface with the rustc compiler for the purpose of program verification
      Rust
      •17•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•54•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•26•0•0•Updated Dec 29, 2021Dec 29, 2021

    • ibc-rs

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

    • this-week-in-rust

      Public
      Data for this-week-in-rust.org
      HTML
      •1.2k•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•46•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
      •8•0•0•0•Updated May 12, 2019May 12, 2019

    • haskell-code-explorer

      Public
      Web application for exploring and understanding Haskell codebases
      Haskell
      •
      MIT License
      •20•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