πΈ soft era for iTerm2 ~ Light pastel syntax theme for soft, warm, cozy, cute coding. π±
β48Sep 20, 2018Updated 7 years ago
Alternatives and similar repositories for soft-era-iterm2
Users that are interested in soft-era-iterm2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- (Actually) flexible law checking for Scalaβ15Dec 22, 2016Updated 9 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.β16Feb 14, 2015Updated 11 years ago
- User Interfaces for Programming Languages: The Compendiumβ29Feb 14, 2021Updated 5 years ago
- Stylelint shareable config for XO with 2-space indentβ13May 13, 2025Updated last year
- β17Feb 7, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Multi-type protocol-based polymorphismβ11Sep 10, 2016Updated 9 years ago
- This is my personal coding styleguide. I try to cover how I write HTML, CSS, JavaScript and Rubyβ25Jul 9, 2016Updated 9 years ago
- broad template licenses for software that allow or prohibit use for specific purposesβ23Jan 21, 2022Updated 4 years ago
- Idiomatic Clojure/ClojureScript library for Firebaseβ36Mar 27, 2015Updated 11 years ago
- A language for generating words in constructed languagesβ20May 18, 2022Updated 4 years ago
- β Atom package that shows the size of the focused file in the status-barβ11Jul 6, 2022Updated 3 years ago
- A clean implementation of Parsing with Zippers.β38Sep 22, 2018Updated 7 years ago
- Logo turtle graphics interpreter in Haskellβ20Oct 20, 2014Updated 11 years ago
- Dependently typed Algorithm M and friendsβ26Jun 2, 2018Updated 8 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.
- Delete unused images in a repo with: a shell script, a docker image, or github actionβ17Jan 7, 2021Updated 5 years ago
- Markup as Ruby; fast, concise and feature-richβ31Apr 8, 2022Updated 4 years ago
- Web app to explore movies built using web componentsβ12Nov 7, 2017Updated 8 years ago
- holographic card βΛβ‘β16Mar 4, 2025Updated last year
- Proof combinators used in Liquid Haskell for theorem provingβ12Mar 28, 2018Updated 8 years ago
- π© A GitHub action to archive your Wordle gamesβ14Oct 20, 2025Updated 8 months ago
- Magic: the Gathering deck tuning tool implementing the Elephant Methodβ23Dec 16, 2016Updated 9 years ago
- β49Jul 5, 2019Updated 6 years ago
- SDK and ROS Node for the occamβ10May 4, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Hardware Design for the Super Magfest 2024 Swadgeβ13May 4, 2024Updated 2 years ago
- A Tailwind css plugin to generate semantic color utilitiesβ14Updated this week
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)β12Dec 1, 2014Updated 11 years ago
- Realtime graphics rendering engine built on vulkan.β13Oct 29, 2022Updated 3 years ago
- A human data languageβ14May 8, 2014Updated 12 years ago
- Create clojure expert advisors for forex with various backends (metatrader, ...)β41Apr 18, 2011Updated 15 years ago
- LOOΞ ΞVERSE - A LOOΞ Ξ content aggregatorβ12Oct 3, 2021Updated 4 years ago
- A straightforward boilerplate for using the PostCSS ecosystem via npm scripts.β15Jun 24, 2016Updated 10 years ago
- A library of functional CSS modules made for humans.β15Jan 8, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- β12Sep 18, 2023Updated 2 years ago
- Atom package to sort CSS declarations.β11Jun 8, 2022Updated 4 years ago
- A tool for converting a content outline in Workflowy to a working prototype in HTMLβ15Oct 26, 2017Updated 8 years ago
- β39Jul 11, 2023Updated 2 years ago
- Οβ24Jul 11, 2016Updated 9 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskellβ15Feb 21, 2020Updated 6 years ago
- Formalisation of the linear lambda calculus in Coqβ10Dec 2, 2018Updated 7 years ago