☆32May 29, 2018Updated 8 years ago
Alternatives and similar repositories for git-license
Users that are interested in git-license are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- deprecated☆16Jul 13, 2014Updated 12 years ago
- functional library for haxe☆21Nov 2, 2015Updated 10 years ago
- A light wrapper around tmux to manage sessions☆30Mar 26, 2013Updated 13 years ago
- A primer on the care and feeding of asynchronous promises☆20Sep 21, 2013Updated 12 years ago
- A DSL for describing and implementing communication protocols☆84Dec 19, 2014Updated 11 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.
- A talk on parametricity☆36Jul 18, 2023Updated 3 years ago
- Chrome extension for main_frame only browsing☆10Jan 15, 2016Updated 10 years ago
- ☆26Sep 25, 2013Updated 12 years ago
- Toy implementations of the algebraic structures defined in the Fantasy Land specification, mostly borrowed from Haskell libraries.☆30Jul 29, 2017Updated 9 years ago
- #butts☆21Feb 26, 2014Updated 12 years ago
- gif booth for a projector☆15Feb 12, 2016Updated 10 years ago
- deprecated☆20Mar 14, 2016Updated 10 years ago
- An easily-extensible, Haskell-based Slack chatbot☆16Dec 13, 2014Updated 11 years ago
- Validates that all require statements in a project point to an existing path and are correctly cased.☆20Mar 30, 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.
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆20Jan 28, 2018Updated 8 years ago
- Generate GraphViz graphs by interpretting free monads.☆52Jun 18, 2014Updated 12 years ago
- DrScala - A doctor for your code☆17Mar 17, 2014Updated 12 years ago
- Rewrite rules for JavaScript.☆39Nov 6, 2013Updated 12 years ago
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 8 years ago
- Exercises designed specifically to demonstrate parametricity☆28May 8, 2014Updated 12 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18May 14, 2015Updated 11 years ago
- A Polymer element for Mozilla's localForage (async storage via IndexedDB or WebSQL)☆29Feb 26, 2016Updated 10 years ago
- (No longer maintained) Basic performance tests for promise implementations☆31Jan 13, 2015Updated 11 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.
- AudioWorkerNode for legacy Web Audio API☆18Mar 6, 2016Updated 10 years ago
- ☆21May 16, 2024Updated 2 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 10 years ago
- The repository for the zine☆31Aug 17, 2015Updated 10 years ago
- a federated wiki plugin for datscript☆12Jun 26, 2015Updated 11 years ago
- minimal CommonJS browser bundler with aliasing, extensibility, and source maps☆160Nov 6, 2019Updated 6 years ago
- A declarative synchronization tool for managing cloud DNS records.☆11Sep 3, 2018Updated 7 years ago
- Control flow graph and 3AC form for JavaScript programs☆17Jan 11, 2014Updated 12 years ago
- Easy FFI for PureScript☆35May 24, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Gtk-based screen capturing utility for XMonad.☆25Apr 9, 2025Updated last year
- Modified OpenSSH for VCS services☆17May 21, 2012Updated 14 years ago
- Parser combinators for JS☆13Aug 25, 2015Updated 10 years ago
- A drop-in replacement for LevelDOWN that writes to a JSON file on disk.☆37Apr 15, 2023Updated 3 years ago
- a small node.js library for ANSI colored text diffs☆17Nov 6, 2019Updated 6 years ago
- JSFest Call for Proposals☆44Dec 17, 2013Updated 12 years ago
- eadred is a Django app for generating sample data.☆28Apr 16, 2014Updated 12 years ago