strogo Goto Github PK

contex-samples

Sample web application demonstrating contex features

context2

A temporary attempt to list full context history

contexteditor

Automatically exported from code.google.com/p/contexteditor

contoso-express

Full-stack JavaScript application based on Contoso University .NET tutorial

contractor

A desktop-wide extension service used by elementary OS

control-flag

A system to flag anomalous source code expressions by learning typical expressions from training data

conway-go

cookbook

Canonical Examples for Using the AudioKit Framework

cookiecutter

A command-line utility that creates projects from cookiecutters (project templates), e.g. Python package projects, VueJS projects.

cookiecutter-django

Cookiecutter Django is a framework for jumpstarting production-ready Django projects quickly.

cookiecutter-django-red

A cookiecutter template for creating Django projects quickly.

copilot

A stream-based runtime-verification framework for generating hard real-time C code.

copouziva

Django app used in the "Co pouziva" project.

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

cord

CoRD is a Mac OS X remote desktop client for Microsoft Windows computers using the RDP protocol. It's easy to use, fast, and free for anyone to use or modify.

core

Contao Open Source CMS

core-1

:cloud: ownCloud web server core (Files, DAV, etc.)

core-2

System components and backend.

core-3

Online IDE powered by Visual Studio Code ⚡️

core-4

:rice: Interactive UI animation engine for the Web. Core renderer for Haiku Animator.

core-foundation-rs

Rust bindings to Core Foundation and other low level libraries on Mac OS X and iOS

core-java

The Java implementation of the framework core

core-rs

Turtl's logic core, built in Rust. Made for embedding in other platforms (desktop, mobile, possibly browser w/ Emscripten).

corebird

Native Gtk+ Twitter Client

coredns

CoreDNS is a DNS server that runs middleware

coregtk

Objective-C wrapper for GTK+

coremltools

Core ML tools contain supporting tools for Core ML model conversion, editing, and validation.

coreobject

Distributed version control + object persistence framework

corert

This repo contains CoreRT, a .NET Core runtime optimized for AOT (ahead of time compilation) scenarios, with the accompanying .NET Native compiler toolchain.

coreshop

CoreShop - Pimcore eCommerce