Shared repository for personal idyll posts
☆13Dec 7, 2021Updated 4 years ago
Alternatives and similar repositories for idyll
Users that are interested in idyll are comparing it to the libraries listed below
Sorting:
- ☆10May 2, 2025Updated 10 months ago
- A Guide to Fishing (Written in Markdown)☆11Jun 17, 2022Updated 3 years ago
- A Sketch plugin that simulates the three more common forms of color blindness☆12Feb 27, 2015Updated 11 years ago
- Sanity Studio for Takeout Tracker☆11Mar 29, 2025Updated 11 months ago
- ☆10Mar 11, 2020Updated 5 years ago
- Tools for reading OpenStreetMap (OSM) data and gradually turning it into routable networks.☆13Jul 2, 2015Updated 10 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- Import or partially refresh your Google Sheets from Excel files☆17Jul 18, 2025Updated 7 months ago
- BanklessDAO Constitution and Community Handbook☆12Mar 21, 2024Updated last year
- A client-side relational modeling framework. Like a blend of ActiveRecord and Backbone, but different and better.☆37Mar 27, 2013Updated 12 years ago
- Build complete Linux embedded systems☆12Oct 16, 2025Updated 4 months ago
- openweb UI scripts☆12Jan 27, 2026Updated last month
- A lua binding to the tinycdb library by Michael Tokarev☆21Mar 27, 2017Updated 8 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 2 months ago
- script loader that allows require() from lua scripts in redis☆11May 15, 2016Updated 9 years ago
- Numerical eigenvalue/eigenfunction software: PyQt GUI and FEniCS finite elements.☆11Mar 25, 2018Updated 7 years ago
- An Engine for DOM Recombobulation.☆12Jan 22, 2026Updated last month
- A Gatsby ecommerce starter setup with Stripe integration and Sanity for content management.☆11Jan 28, 2021Updated 5 years ago
- ☆13Feb 20, 2026Updated 2 weeks ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- Middleman extension for email link protection and obfuscation☆13Sep 2, 2018Updated 7 years ago
- An abstraction on top TypeScript language service, that let you consume it in the context of a project.☆16Feb 11, 2015Updated 11 years ago
- Octave-Scilab co-simulation toolbox☆15Dec 10, 2015Updated 10 years ago
- System-wide Lean input method☆12Feb 16, 2022Updated 4 years ago
- The lightweight and flexible library for implementing Redux entities with React.☆32Aug 18, 2018Updated 7 years ago
- TypeScript AST Query library☆13Jan 7, 2023Updated 3 years ago
- 🧪 Experimental JavaScript sandbox based on iframe for frontend (electron, micro apps, etc).☆15Jun 29, 2024Updated last year
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 3 years ago
- dnsoverhttps - D'oh!☆14Sep 20, 2018Updated 7 years ago
- E-Commerce Website built with Shopify and GatsbyJS, based upon gatsby-shopify-starter.☆13Jun 9, 2023Updated 2 years ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- Randomize Git commit timestamps to enhance privacy☆13Oct 25, 2025Updated 4 months ago
- Demo PWA☆12Dec 7, 2022Updated 3 years ago
- A tinny(~3kb) utility that can simplify cross window(iframes, workers, same origin windows) and electron main / renderer process communic…☆13Updated this week
- Python library to get cars from craigslist. Filter by date posting, mileage, odometer, year, price.☆12Nov 6, 2014Updated 11 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- bring up your nextcloud usage to the next level 🚀☆13Aug 7, 2024Updated last year
- Make pack more simple than ever, base on Webpack (version 4+)☆25Apr 16, 2020Updated 5 years ago
- Lua binding for libexif☆11Jun 10, 2021Updated 4 years ago