Certified Programming with Dependent Types
chocolate peanut butter cheesecake
This birthday cake was assigned to the side of the family whose dessert preferences can be roughly summarized as chocolate + anything else, but if that “else” were cheesecake, coffee, peanut butter or raspberries, all the better, thank you very much.
Chonbuk National University
Chonbuk Sanup University of Technology (Howon University)
Chongju National University of Education
Chongqing Medical University
Chongqing Normal University Foreign Trade and Business College
Chongqing Technology and Business University
Chongqing University of Communications
Chongqing University of Post and Telecommunications
Chongqing University of Science and Technology
Chongqing University of Technology
Chongqing Vocational College of Public Transportation
Chonju National University of Education
Chonnam National University
Choozer | The Power of Your Brand Meets the Power of Your Network
Choozle: The SIMPLE Programmatic Marketing Platform
Choozle is a programmatic ad buying solution that connects marketers with big data insights and real-time bidding across display, social, mobile and video.
chosen is a library for making long, unwieldy select boxes more friendly.
Christchurch Polytechnic Institute of Technology
Christian Crowdfunding - FaithLauncher · FaithLauncher
Fund projects collaboratively and become part of something bigger. Promote a collective catharsis! You're the missing part in this story.
Christian Theological Academy in Warszaw
Christopher Nolan: the man who rebooted the blockbuster
In early spring of 2013, Christopher Nolan and his crew were scouting for locations in Iceland – looking for glaciers that could stand in for the icy wastes of a distant planet in Nolan’s new film, Interstellar. They were on foot, the terrain proving inaccessible by car through freezing rain.
Chromance - Trust Science Not Coincidence
Interested in increasing the emotional engagement with your customers? Sign up to learn more about our genealgorithm
Chrome Developer Tools
Chronicle of a Riot Foretold in Ferguson
FERGUSON, Missouri—For a hundred and eight days, through the suffocating heat that turned the city into a kiln, through summer thunderstorms and the onset of an early winter, through bureaucratic callousness and the barbs of cynics who held that the effort was of no use and the prickly fear that t
Chubu Gakuin University & Chubu Women's College
Chukles Social Humor | Privately Share Funny Stuff
Find and share humor and funny videos, pics, jokes, and more! Get your daily dose of laughs, comedy, and hilarious stuff from your friends and allies.
Chunchon National University of Education
Chung Shan Medical and Dental College
Chung-Ju National University
Chungbuk National University
Chungnam National University
Cialfo - Be College Ready
1000+ students have made it to: Princeton, Columbia, Wharton, Oxford and more. Learn how YOU can make it too !
Ciel Bleu Footwear | For active professional women.
Athletic inspired footwear for the active professional woman. Shoes that fit your life, your style, your feet. Wear your passion.
cielo24 media data solutions, including, searchable captions, indexes and transcripts at low cost, high quality and available within hours. Video SEO
CIENAGA SYSTEMS - Home
Cienaga Systems offer predictive, evolutionary cyber security solutions that are not reliant on signatures, samples or baselines
Cilk 5.4.6 Reference Manual
CINEMABLEND | Entertainment You Care About
Reporting on movies, television, video games, and pop culture CINEMABLEND is the go-to source for today's plugged-in generation.
movie news movie reviews film reviews film critic movies in theatres videogame movie blog nintendo star wars hot actress kinokatey pics spider-man movie trailers movie release dates weekend box office cinema blend upcoming movies horror movies 3d reviews cinemablend.com entertainment news movie television what's on tv technology geek gaming xbox playstation actor 3d
CipherGraph Cloud VPN for Security on AWS and others Clouds
The CipherGraph Cloud VPN is a virtual VPN appliance for business. It bridges multiple cloud and datacenter backend locations, thus enabling secure and
Cir.cl - Buy, Sell, Share
Cir.cl is where people connect with fellow enthusiasts, neighbors, and pals to buy and sell the things they are passionate (or were passionate) about. More than just making the sale, cir.cl is about making connections with friends, acquaintances, your people and communities. Create Groups. Post Items. Make Offers.
CircleLink Health is an automated patient engagement company that enables health care professionals (HCPs) to monitor and manage their patients’ conditions through the patients’ own mobile phones.
CircleUp: Investing private consumer companies, equity crowdfunding
A leader in equity-based crowdfunding, CircleUp focuses on angel investments in consumer products companies.
Cirqle is a place for stories. For capturing memories right in the moment. For subscribing to what matters and following meaningful events all over the Globe. But most important, for experiencing life together.
CirroSecure is the best non-disruptive compliance and risk analysis platform for your cloud based services.
CirrusIdea - Home
This site is a platform designed to create positive progress. This site is for people who want to make a difference. It is for Dreamers, Innovators, Engineers, Scientists, and Thinkers to unite for a collaborative and noble cause. A platform where a project can be conceived, collaborated on developed and funded.
Cite.Co - The Open Corporate Community & Knowledge-Base. The place where professionals & businesses find support.
Citelighter - The fully automated bibliography, research, citation, and internet highlighting tool.
Citiservi USA, business directory. Local search engine for businesses, companies and professionals in USA
citiservi.com is a business directory of companies and independent professionals in USA. New guide of american businesses where you can easily search and find products and services in your area; search for a company, phone number or address anywhere in USA.
professionals companies directory search engine company directory company search engine professionals search engine guide company guide citiservi cityservi directory professionals professionals guide independent workers search engine business search american companies business directory american professionals barcelona companies valencia companies madrid companies cityservice citiservice yellow pages citiservi.com
Citizen Green applies the crowdfunding method to build local impact projects like solar, clean water and sustainable agriculture, empowering a large number of individuals to pool their money and invest in a single project.
City University College of Science and Technology
City University of Hong Kong
City University of New York