laser / cis-194-winter-2016View external linksLinks
A modified version of Brent Yorgey's CIS 194 Haskell course
☆17Jun 15, 2020Updated 5 years ago
Alternatives and similar repositories for cis-194-winter-2016
Users that are interested in cis-194-winter-2016 are comparing it to the libraries listed below
Sorting:
- Vim can rock even more☆21Sep 3, 2025Updated 5 months ago
- Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"☆19May 18, 2017Updated 8 years ago
- A description of Functional Programming projects☆21Jun 23, 2017Updated 8 years ago
- Metasploit Framework☆10Apr 3, 2017Updated 8 years ago
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 10 years ago
- Collects examples used to produce the paper 'Session Types with Linearity in Haskell' by Orchard and Yoshida (2017).☆12Nov 28, 2023Updated 2 years ago
- Playing with Haskell☆12Oct 13, 2016Updated 9 years ago
- [INACTIVE] Watch repositories star counts☆12Oct 17, 2016Updated 9 years ago
- A view of the whole world☆13Aug 7, 2025Updated 6 months ago
- A totally fake CSSConf app☆30May 5, 2014Updated 11 years ago
- INACTIVE - http://mzl.la/ghe-archive - a moz: protocol handler for moz://a URLs☆32Mar 30, 2019Updated 6 years ago
- React-native/Redux weather app based on data from http://openweathermap.org☆10Apr 24, 2016Updated 9 years ago
- Spacemacs Layer for LiquidHaskell☆13Jun 10, 2017Updated 8 years ago
- Declarative Routing for ReasonReact☆11Dec 13, 2017Updated 8 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago
- A talk given at the Polyglot meetup in CPH, March 2018☆12Nov 5, 2018Updated 7 years ago
- bot pra slack que avisa se tem café. hello-world, colabora aí.☆12Nov 17, 2016Updated 9 years ago
- ☆15May 16, 2017Updated 8 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 6 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Diploma work (if this is still here contact me if you need details)☆13May 30, 2017Updated 8 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Jan 3, 2018Updated 8 years ago
- A micro-framework for creating REST-like APIs in Crystal☆13Dec 29, 2016Updated 9 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Dec 10, 2017Updated 8 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Oct 10, 2017Updated 8 years ago
- ☆14Jan 4, 2017Updated 9 years ago
- Mechanizing Types and Programming Languages using Beluga☆21May 29, 2020Updated 5 years ago
- Interactive website for learning elixir. Formerly http://elixirexperience.com☆36Jul 10, 2015Updated 10 years ago
- Generate Headlines from Hacker News☆33Jul 19, 2016Updated 9 years ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- A reverse proxy for rendering Markdown within RSS feeds☆18Jul 4, 2019Updated 6 years ago
- A MacFUSE filesystem for browsing a github repository☆22Dec 17, 2010Updated 15 years ago
- Minimal flux implementation (deprecated)☆17Sep 25, 2015Updated 10 years ago
- react component that enables click-to-select interaction☆22Mar 30, 2021Updated 4 years ago
- Dotfiles and Configurations☆33Dec 17, 2025Updated last month
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- A general build tool for haskell projects inspired by leiningen☆16Jun 6, 2015Updated 10 years ago
- PostCSS plugin to transform #id's to attribute selectors☆15Nov 27, 2015Updated 10 years ago