cpt-waffle / operation-get-off-vagrantView external linksLinks
☆25Nov 13, 2020Updated 5 years ago
Alternatives and similar repositories for operation-get-off-vagrant
Users that are interested in operation-get-off-vagrant are comparing it to the libraries listed below
Sorting:
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆13Jun 13, 2020Updated 5 years ago
- A Ghost theme with Membership Feature☆11Feb 2, 2026Updated 2 weeks ago
- ☆10Dec 11, 2021Updated 4 years ago
- An Egghead collection to teach product-building with JAMStack and Serverless☆12Jun 7, 2020Updated 5 years ago
- Export content and images from Ghost to use with Eleventy☆15Dec 24, 2025Updated last month
- A full Realtime Chat Application with Social Auth and dedicated chat APIs/sockets.☆13Dec 7, 2022Updated 3 years ago
- ☆23Dec 7, 2021Updated 4 years ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 5 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- ☆36Oct 13, 2021Updated 4 years ago
- A ghost theme☆43Jul 6, 2023Updated 2 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Apr 15, 2019Updated 6 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Jun 2, 2015Updated 10 years ago
- Clean Ghost theme with advanced features & customization.☆65May 18, 2022Updated 3 years ago
- The theory of algebraic graphs formalised in Agda☆91Jul 15, 2018Updated 7 years ago
- ☆94Apr 19, 2025Updated 9 months ago
- Play/learn/work with me☆114Dec 2, 2025Updated 2 months ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆127Nov 27, 2021Updated 4 years ago
- 🌈 A Clean And Modern Ghost Theme with Progressive Web Apps (PWA)☆128May 19, 2024Updated last year
- Nix expressions for cross compiling to WebAssembly☆146Sep 26, 2020Updated 5 years ago
- Collection of Idris tests and demonstration programs☆194Apr 23, 2018Updated 7 years ago
- Compiling Agda code to readable Haskell☆200Feb 3, 2026Updated 2 weeks ago
- The cuteness implementation of a dependently typed language.☆193Dec 13, 2022Updated 3 years ago
- A proof assistant for higher-dimensional type theory☆235Jan 26, 2026Updated 3 weeks ago
- Examples of Dependently-typed programs in Haskell☆308Oct 18, 2022Updated 3 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆311Feb 1, 2024Updated 2 years ago
- 🥤A tasty blogging theme for Ghost.☆288Jun 20, 2023Updated 2 years ago
- Development of homotopy type theory in Agda☆431Feb 19, 2019Updated 6 years ago
- Beautifully designed Tailwind CSS UI blocks.☆394May 20, 2025Updated 8 months ago
- The WebAssembly Platform☆415Jul 20, 2023Updated 2 years ago
- Using FaunaDB with netlify functions☆383Aug 20, 2021Updated 4 years ago
- This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.☆439Jan 22, 2026Updated 3 weeks ago
- Render Markdown to HTML on any website using a md tag☆458Nov 9, 2022Updated 3 years ago
- Zip archive utility for react-native☆465Feb 1, 2026Updated 2 weeks ago
- JavaScript client library for GoTrue☆477Feb 10, 2026Updated last week
- Dead-simple JS framework for native web components.☆565Jan 15, 2026Updated last month
- ✨A super simple way to map props to styles with Styled Components ⚠️ See README.md☆588Feb 3, 2022Updated 4 years ago
- The Agda standard library☆645Updated this week
- Experimental implementation of Cubical Type Theory☆597Sep 21, 2023Updated 2 years ago