Monadic Haskell DSL for CSS.
☆11Sep 27, 2011Updated 15 years ago
Alternatives and similar repositories for css
Users that are interested in css are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pragmatic functional programming language☆11Dec 26, 2016Updated 9 years ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- Effects EDSL for Idris☆13Mar 28, 2013Updated 13 years ago
- Democratize dependency management.☆14Oct 26, 2024Updated last year
- Plugin for Deluge that copies downloaded files to another location.☆10Oct 6, 2012Updated 14 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.
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Collection of maven plugins, extensions and other generally useful artifacts☆14Apr 21, 2023Updated 3 years ago
- knot theory and computational algebra software☆41Jun 16, 2014Updated 12 years ago
- Slides from my Wellington FP Users Group presentation on Yesod☆15May 14, 2011Updated 15 years ago
- Random notes on mathematics (in German)☆14Aug 6, 2026Updated 2 months ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- 🖼 KSF Media frontend monorepo☆33Oct 7, 2024Updated 2 years ago
- ☆22Dec 6, 2017Updated 8 years ago
- WebGL bindings for Idris.☆14Aug 27, 2014Updated 12 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.
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 5 years ago
- python wrapper for Awair Air Quality Sensor☆17Mar 18, 2021Updated 5 years ago
- Prepared statement support for the system command☆29Jul 25, 2020Updated 6 years ago
- Buildsome: The awesome build system☆55Nov 6, 2022Updated 3 years ago
- ☆21Apr 15, 2018Updated 8 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆15Mar 13, 2014Updated 12 years ago
- Clojure(Script) Example CMS☆11Jan 24, 2015Updated 11 years ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆18Jan 5, 2015Updated 11 years ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 11 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.
- A very simple Mix task that compiles LFE (lisp (flavoured (erlang)))☆12Jun 14, 2018Updated 8 years ago
- Purescript bindings for the Ace editor☆19Oct 11, 2026Updated last week
- Corgi's keybinding system☆11Sep 13, 2026Updated last month
- functional STReam processing for the IOT☆30Apr 11, 2025Updated last year
- ☆22Dec 14, 2022Updated 3 years ago
- Packages kolide/launcher for Nix☆27Oct 1, 2026Updated 2 weeks ago
- ☆19Mar 7, 2017Updated 9 years ago
- Functional Combinators for Computer Vision, currently using OpenCV as a backend☆13Aug 12, 2015Updated 11 years ago
- DOM element css helper☆30Oct 28, 2017Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Haskell (GHCJS) bindings to the virtual-dom project☆26May 11, 2015Updated 11 years ago
- SWIM protocol implementation for exchanging cluster membership status and metadata.☆11Oct 9, 2023Updated 3 years ago
- Template engine for java with statically checked and compiled templates. Compilation is performed alone with java sources.☆31Oct 13, 2020Updated 6 years ago
- ☆12Oct 5, 2014Updated 12 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 8 years ago
- A system for computational category theory and applications☆41Jun 27, 2016Updated 10 years ago
- A C library for operational transformation.☆13Jul 18, 2015Updated 11 years ago