mattbierner / blog.mattbierner.comView external linksLinks
blog.mattbierner.com
☆10Jul 4, 2024Updated last year
Alternatives and similar repositories for blog.mattbierner.com
Users that are interested in blog.mattbierner.com are comparing it to the libraries listed below
Sorting:
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆19Aug 5, 2020Updated 5 years ago
- Simple automatic reconnecting WebSocket☆12Feb 27, 2023Updated 2 years ago
- The Prettiest Printer☆35Feb 14, 2024Updated last year
- A Racket library for interacting with Idris over the IDE protocol☆31Nov 10, 2017Updated 8 years ago
- A monadic (and pretty) pretty printer for Haskell☆39Jul 12, 2023Updated 2 years ago
- Minimal binary codec for SocketCluster based on pbf☆10Oct 30, 2017Updated 8 years ago
- ☆10Aug 9, 2017Updated 8 years ago
- Type and doc on hover for OCaml and Reason in emacs☆45Feb 13, 2023Updated 3 years ago
- node.js app for control of Hanover flipdot display☆10Dec 20, 2025Updated last month
- Data structure libraries in C.☆13Apr 19, 2022Updated 3 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Time control for simulations☆11Jan 18, 2023Updated 3 years ago
- jquery plugin for soccer field display with players on their positions☆14Jun 2, 2018Updated 7 years ago
- Clean Architecture Solution Template for Angular 10 and .NET 5☆10Mar 29, 2022Updated 3 years ago
- Homebrew tap to install the latest Maven build☆10Updated this week
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Oct 25, 2022Updated 3 years ago
- ☆15Aug 27, 2018Updated 7 years ago
- hand writing with canvas☆13Jun 30, 2021Updated 4 years ago
- Enhanced Reverberation As Supervision (ERAS) for unsupervised reverberant speech separation☆15Aug 1, 2024Updated last year
- Add Cross-Origin Resource Sharing (CORS) headers for Grails 3 applications.☆10Oct 31, 2016Updated 9 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- A set of useful Google Sheets functions for Mystery Hunt.☆12Jan 4, 2024Updated 2 years ago
- Formalization of Linear Logic☆11Jun 25, 2017Updated 8 years ago
- CI for documentation. Testing if documentation is runable.☆11Mar 4, 2023Updated 2 years ago
- Easing for linear videos or image sequences☆14Aug 30, 2015Updated 10 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- ☆13Mar 23, 2025Updated 10 months ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- ☆12Sep 1, 2014Updated 11 years ago
- A smart distributed crawler that infers navigation models of structured websites, used to cluster pages based on their structure and extr…☆10Aug 17, 2025Updated 5 months ago
- ☆14Nov 23, 2016Updated 9 years ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- DeepCleaner is a NodeJS module designed to tidy up nasty looking JSON.☆12Mar 2, 2023Updated 2 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- Stream content to/from an SFTP Server☆14Aug 16, 2022Updated 3 years ago
- Pirate Trading Platform: Open source automated trading based on algorithmic market evaluation☆13Sep 25, 2017Updated 8 years ago