☆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
- A light wrapper around tmux to manage sessions☆30Mar 26, 2013Updated 13 years ago
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- A primer on the care and feeding of asynchronous promises☆20Sep 21, 2013Updated 13 years ago
- A DSL for describing and implementing communication protocols☆83Dec 19, 2014Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A talk on parametricity☆36Jul 18, 2023Updated 3 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
- A simple XML module for Idris.☆12May 22, 2020Updated 6 years ago
- deprecated☆20Mar 14, 2016Updated 10 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
- Modular frontend with NPM & pals☆19May 30, 2014Updated 12 years ago
- Android client for Geoloqi. Still in development, extremely early early beta. Get in touch if you'd like to contribute.☆12Dec 22, 2011Updated 14 years ago
- ☆19Jul 25, 2018Updated 8 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 combinator for making any monadic control operator stack-safe☆26Oct 24, 2019Updated 6 years ago
- A small configuration library written in Haskell☆18Oct 12, 2019Updated 6 years ago
- DrScala - A doctor for your code☆17Mar 17, 2014Updated 12 years ago
- "Unmix" takes a long mix and split it to tracks☆12Jun 27, 2015Updated 11 years ago
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 9 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
- Simple, flexible, lightweight, thread-safe interface to the Geoloqi API☆18Oct 9, 2012Updated 14 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- (No longer maintained) Basic performance tests for promise implementations☆31Jan 13, 2015Updated 11 years ago
- A Haskell library for manipulating Java class files☆15Mar 16, 2014Updated 12 years ago
- Haskell package shipping the standard time zone database & library to use with it☆17Apr 1, 2023Updated 3 years ago
- ☆21May 16, 2024Updated 2 years ago
- google app information ninja ,crawl google app information☆12Mar 1, 2015Updated 11 years ago
- minimal CommonJS browser bundler with aliasing, extensibility, and source maps☆160Nov 6, 2019Updated 6 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
- An embedded word frequency util☆44Jun 8, 2015Updated 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.
- REPO MOVED TO DNSIMPLE, see url:☆16Dec 23, 2016Updated 9 years ago
- Puppet type for controlling the bmc as well as other useful facts☆15Jul 31, 2018Updated 8 years ago
- Gtk-based screen capturing utility for XMonad.☆25Apr 9, 2025Updated last year
- Parser combinators for JS☆13Aug 25, 2015Updated 11 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
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 9 years ago