Source code from my Lazy Evaluation video
☆18Aug 11, 2020Updated 6 years ago
Alternatives and similar repositories for lazy
Users that are interested in lazy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 수학 증명언어 Agda 입문☆11May 2, 2023Updated 3 years ago
- The best way to find brand new github repositories☆17Jun 19, 2026Updated 4 months ago
- Mostly adequate guide to FP (in javascript, translated to korean)☆23May 31, 2023Updated 3 years ago
- About me☆16Nov 1, 2024Updated last year
- ☆14Jan 5, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Babel plugin for transforming JSX to lit-html template literal☆27Sep 29, 2018Updated 8 years ago
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆24Aug 28, 2022Updated 4 years ago
- Visual functional programming language☆22Dec 10, 2023Updated 2 years ago
- PoC for Object Oriented Haskell☆21Mar 11, 2020Updated 6 years ago
- (주)다음과 네이버(주)의 웹 서비스를 이용한 한글 맞춤법 검사기.☆26Jul 22, 2026Updated 3 months ago
- Silly metrics is a bunch of scripts that provide you with silly and mostly useless metrics about your Java project☆10Mar 1, 2017Updated 9 years ago
- ☆12Oct 20, 2026Updated last week
- Code samples for the talk "Making Illegal States Unrepresentable"☆13Nov 23, 2021Updated 4 years ago
- Cube.js Client for Python☆10Mar 20, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A modern Haskell debugger☆31May 1, 2025Updated last year
- Eye-saver modification of Stylish/Stylus interface admin/backend.☆12Jul 2, 2020Updated 6 years ago
- How to structure a Docker Swarm infrastructure repository in 2023. Uses actually good encryption with swarmsible, nothelm.py and docker-s…☆12Dec 29, 2024Updated last year
- ☆11Sep 16, 2022Updated 4 years ago
- A better way to manage z-indexes☆11Sep 7, 2021Updated 5 years ago
- Extremely fast functional HTML string renderer☆14Jun 26, 2018Updated 8 years ago
- Here is a tiny little tool that will speed up the multi-tasking life of terminal users: be notified when a command finishes.☆11Mar 26, 2016Updated 10 years ago
- logger-f, Logger for F[_]☆10Sep 27, 2026Updated last month
- pg_auto_failover_swarm☆11Apr 25, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Functional SVG Handling Library☆18Dec 12, 2022Updated 3 years ago
- 🦫 Hop server side SDK for Go☆12May 30, 2023Updated 3 years ago
- Send emails right from the terminal using Rust!☆10Mar 8, 2022Updated 4 years ago
- Make the dhall compiler accessible from Javascript☆12Nov 26, 2017Updated 8 years ago
- Sounds from my whiteboard-the-web videos☆11Jun 12, 2025Updated last year
- Cheatsheet for https://gcanti.github.io/fp-ts/☆54Dec 29, 2021Updated 4 years ago
- Modified chesterish Jupyter theme with larger font and Iosevka webfont☆10Nov 25, 2017Updated 8 years ago
- 🦑 orchestrate node projects and linkages without a monorepo☆20Jan 3, 2023Updated 3 years ago
- The Emoji Link Shortener☆10Mar 24, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- This is a kanban board app. I made it for a purpose of learning the awesome T3 stack. Thanks to the community responsible for creation of…☆11Sep 12, 2022Updated 4 years ago
- A modern replacement for ‘ln’. It is inspired by exa.☆16Mar 2, 2020Updated 6 years ago
- old personal website☆10Aug 7, 2022Updated 4 years ago
- ☆13Nov 30, 2022Updated 3 years ago
- ☆11Jan 3, 2019Updated 7 years ago
- Open Graph Image as a Service for my personal blog dpnkr.in/blog☆12Jul 21, 2022Updated 4 years ago
- Convert Japanese strings to other forms, such as Hiragana, Katakana, Full-width, Half-width, numeric and others.☆19Jun 21, 2024Updated 2 years ago