Giters
Maruth Goyal (maruthgoyal)

maruthgoyal

Geek Repo

39

followers

21

following

28

stars

Company:@stripe

Location:San Francisco, CA

Home Page:maruthg.com

Github PK Tool:Github PK Tool

Maruth Goyal's starred repositories

slack-urbandictionary

Look up urbandictionary definitions of words in Slack

Language:PythonStargazers:3Issues:0Issues:0

gradle-test-logger-plugin

A Gradle plugin for printing beautiful logs on the console while running tests

Language:GroovyLicense:Apache-2.0Stargazers:832Issues:0Issues:0

LambdaNet

Probabilistic Type Inference using Graph Neural Networks

Language:ScalaStargazers:47Issues:0Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2853Issues:0Issues:0

parsec

A monadic parser combinator library

Language:HaskellLicense:NOASSERTIONStargazers:838Issues:0Issues:0

Badge

Primarily functional programming language

Language:C++Stargazers:8Issues:0Issues:0

Singularity

Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis

Language:ScalaLicense:BSD-3-ClauseStargazers:20Issues:0Issues:0

proofsweeper

Play Minesweeper by formally proving your moves in Idris

Language:HaskellStargazers:166Issues:0Issues:0

CNTK

Microsoft Cognitive Toolkit (CNTK), an open source deep-learning toolkit

Language:C++License:NOASSERTIONStargazers:17490Issues:0Issues:0

slogan

A general purpose, dynamic, functional programming language with strong support for concurrency.

Language:CLicense:Apache-2.0Stargazers:33Issues:0Issues:0

swift

The Swift Programming Language

Language:C++License:Apache-2.0Stargazers:67090Issues:0Issues:0

colly

Elegant Scraper and Crawler Framework for Golang

Language:GoLicense:Apache-2.0Stargazers:22773Issues:0Issues:0

gramtest

GramTest: A tool for Grammar based Test case generation

Language:JavaLicense:Apache-2.0Stargazers:84Issues:0Issues:0

MathJax

Beautiful and accessible math in all browsers

License:Apache-2.0Stargazers:10060Issues:0Issues:0

zhash-c

Hash Table Library for C

Language:CLicense:MITStargazers:14Issues:0Issues:0

rhyme-detect

Detecting rhyming in sentences and individual words is difficult, this makes it easier.

Language:PythonStargazers:14Issues:0Issues:0

Deep-Learning-Papers-Reading-Roadmap

Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!

Language:PythonStargazers:37814Issues:0Issues:0

scikit-learn

scikit-learn: machine learning in Python

Language:PythonLicense:BSD-3-ClauseStargazers:59091Issues:0Issues:0

binarytree

Python Library for Studying Binary Trees

Language:PythonLicense:MITStargazers:1810Issues:0Issues:0

cleo

Cleo allows you to create beautiful and testable command-line interfaces.

Language:PythonLicense:MITStargazers:1260Issues:0Issues:0

quinedb

QuineDB is a quine that is also a key-value store.

Language:ShellLicense:EPL-1.0Stargazers:579Issues:0Issues:0

simplemysql

An ultra simple wrapper for Python MySQLdb with very basic functionality

Language:PythonStargazers:77Issues:0Issues:0

text-to-image

Text to image synthesis using thought vectors

Language:PythonLicense:MITStargazers:2159Issues:0Issues:0

srez

Image super-resolution through deep learning

Language:PythonLicense:MITStargazers:5303Issues:0Issues:0

gmail

A Pythonic interface for Google Mail

Language:PythonLicense:MITStargazers:1765Issues:0Issues:0

magenta

Magenta: Music and Art Generation with Machine Intelligence

Language:PythonLicense:Apache-2.0Stargazers:19042Issues:0Issues:0

atari-ai

Language:C++Stargazers:946Issues:0Issues:0

DeCryptonite

Source code of DeCryptonite app on android

Language:JavaStargazers:6Issues:0Issues:0