Pinned Repositories
angstrom
Parser combinators built for speed and memory efficiency
build-your-own-effect-system
This project is meant to highlight the similarities of extensible effects and Idris effects
cbresendiz1.github.io
ChicagoRustMeetup
This repo contains materials relating to the monthly Chicago Rust Meetup https://www.meetup.com/Chicago-Rust-Meetup/
coq-presentation
dotfiles
effects
A Haskell translation of Idris's original algebraic effects library
effects-lib
Testing out continuations
hindley-milner
This project is an extension of a STLC assignment, and introduces type inference and let-bindings.
idris-effects
cbresendiz1's Repositories
cbresendiz1/hindley-milner
This project is an extension of a STLC assignment, and introduces type inference and let-bindings.
cbresendiz1/angstrom
Parser combinators built for speed and memory efficiency
cbresendiz1/build-your-own-effect-system
This project is meant to highlight the similarities of extensible effects and Idris effects
cbresendiz1/cbresendiz1.github.io
cbresendiz1/ChicagoRustMeetup
This repo contains materials relating to the monthly Chicago Rust Meetup https://www.meetup.com/Chicago-Rust-Meetup/
cbresendiz1/coq-presentation
cbresendiz1/dotfiles
cbresendiz1/effects
A Haskell translation of Idris's original algebraic effects library
cbresendiz1/effects-lib
Testing out continuations
cbresendiz1/idris-effects
cbresendiz1/iota
A terminal-based text editor written in Rust
cbresendiz1/liquidhaskell
Liquid Types For Haskell
cbresendiz1/old-website
Jekyll-Mono : cbresendiz1 blog
cbresendiz1/peirama-extensible
cbresendiz1/refined-libraries
This library is meant to apply refinement types to known data structures, emphasizing verification and invariants
cbresendiz1/refinedjournal
Repository for holding my thoughts and insight into LiquidHaskell and RGRef
cbresendiz1/rghaskell
Porting a variant of rely-guarantee references to Liquid Haskell
cbresendiz1/software-foundation-lh
cbresendiz1/yield-example