☆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.☆24Sep 10, 2015Updated 10 years ago
- A DSL for describing and implementing communication protocols☆84Dec 19, 2014Updated 11 years ago
- A talk on parametricity☆36Jul 18, 2023Updated 3 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.
- Chrome extension for main_frame only browsing☆10Jan 15, 2016Updated 10 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
- gif booth for a projector☆15Feb 12, 2016Updated 10 years ago
- A simple XML module for Idris.☆13May 22, 2020Updated 6 years ago
- deprecated☆20Mar 14, 2016Updated 10 years ago
- An easily-extensible, Haskell-based Slack chatbot☆16Dec 13, 2014Updated 11 years ago
- Modular frontend with NPM & pals☆19May 30, 2014Updated 12 years ago
- ☆19Jul 25, 2018Updated 8 years ago
- A combinator for making any monadic control operator stack-safe☆26Oct 24, 2019Updated 6 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.
- A small configuration library written in Haskell☆18Oct 12, 2019Updated 6 years ago
- Proof of concept icecast server☆15Sep 20, 2012Updated 13 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
- Migrating to https://github.com/origamitower/folktale☆20Sep 6, 2016Updated 9 years ago
- (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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Generalized, incremental parser combinators for scalaz-stream☆62Jan 2, 2015Updated 11 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
- 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 11 years ago
- transform, anything☆13May 13, 2018Updated 8 years ago
- google app information ninja ,crawl google app information☆12Mar 1, 2015Updated 11 years ago
- a federated wiki plugin for datscript☆12Jun 26, 2015Updated 11 years ago
- A declarative synchronization tool for managing cloud DNS records.☆11Sep 3, 2018Updated 7 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.
- 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
- On orientation change, scroll you back to where you were in the content☆20Mar 7, 2015Updated 11 years ago
- An embedded word frequency util☆44Jun 8, 2015Updated 11 years ago
- REPO MOVED TO DNSIMPLE, see url:☆16Dec 23, 2016Updated 9 years ago
- Gtk-based screen capturing utility for XMonad.☆25Apr 9, 2025Updated last year
- Modified OpenSSH for VCS services☆17May 21, 2012Updated 14 years ago