jgarte Goto Github PK

cookiecutter-flask

A flask template with Bootstrap 4, asset bundling+minification with webpack, starter templates, and registration/authentication. For use with cookiecutter.

cookiecutter-modern-pypackage

Cookiecutter template for a modern Python package.

coolports

A source based package tree with virtual environments, optional p2p mirrors and optional remote build caching.

copanier

A minimalist collective buying software.

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.

coreboot-gru-bob-nix

corfu

:desert_island: corfu.el - Completion Overlay Region FUnction

correlation_rust

implementation of correlation with rust

correlations

course2017

Genomics lessons for week 4 of the Microbial Diversity course at the Marine Biological Lab in Woods Hole, MA.

covertype

Repository with code, notebooks, models and validation for the CoverType competition on Kaggle.

covid19_in_binder

COVID-19 in mybinder.org federation.

covid19_predictions

Repository with the code from the COVID-19 predictions challenge on Kaggle.

cpass

An urwid based TUI front end for pass, the standard unix password manager.

cpm

🌵 A wrapper for package managers to make them consistent for those of us who are lazy.

cprl

a cyberpunk roguelike game

cpsg-nand2tetris

Exercises from the Nand2Tetris season at the Cambridge Programmer's Study Group

cpt-docker

Docker on Carbs/KISS Linux

cpython-internals

Dive into CPython internals, trying to illustrate every detail of CPython implementation

create-jupyter-git

A CLI command that generates a fresh Git Repository with files and configs to optimize version control for Jupyter Notebooks

credo

A static code analysis tool for the Elixir language with a focus on code consistency and teaching.

crismis_gsoc

cron2rss

Programs for watching cron job output via rss

crud_capstone

CRUD application for Art Gallery Managment system.

cryptkeeper

irc bot for managing lists of movies

cryptoconverter

A GTK app to quickly convert any amount from one currency to another

crystal-elm-chat

Basic chat app using Crystal and Elm

crystal-koans

The Crystal Programming Language Koans

cs-top-and-bottom

Teaching CS from the top and bottom

cs6120

advanced compilers