Giter VIP home page Giter VIP logo

Michael Corrado's Projects

klee icon klee

KLEE Symbolic Execution Engine

kleverbot icon kleverbot

An Android app used to communicate with the Cleverbot API

kliff icon kliff

KIM-based Learning-Integrated Fitting Framework (KLIFF).

klio icon klio

Smarter data pipelines for audio.

knitr icon knitr

A general-purpose tool for dynamic report generation in R

koa-prerender icon koa-prerender

KOA middleware for prerendering javascript-rendered pages on the fly for SEO

kodiak icon kodiak

Library for rigorous verification of non-linear arithmetic

kokkos icon kokkos

Kokkos C++ Performance Portability Programming EcoSystem: The Programming Model - Parallel Execution and Memory Abstraction

kotlin-dsl icon kotlin-dsl

Kotlin language support for Gradle build scripts

kss icon kss

A methodology for documenting CSS and generating styleguides.

kss-play icon kss-play

Play module for living styleguides, based on http://warpspire.com/kss/styleguides/

kss-rails icon kss-rails

A rails engine for @kneath's KSS documentation

ktor icon ktor

Framework for quickly creating connected applications in Kotlin with minimal effort

ktsan icon ktsan

KernelThreadSanitizer, a fast data race detector for the Linux kernel

kubediff icon kubediff

Kubediff: a tool for Kubernetes to show differences between running state and version controlled configuration.

kubeflow icon kubeflow

Machine Learning Toolkit for Kubernetes

kubegpu icon kubegpu

A GPU / device extension framework for Kubernetes

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.