Pradeep Kumar's repositories

annotation_collector

Collect typed annotations from Python source code.

Language:PythonLicense:MITStargazers:4Issues:2Issues:0

minitypescript

Experiments implementing some advanced type features from TypeScript.

Language:OCamlLicense:MITStargazers:4Issues:2Issues:0

pytorch_examples

A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.

Language:PythonStargazers:2Issues:1Issues:0

Processor-Simulator

In-order Superscalar Processor Simulator

Language:PythonStargazers:1Issues:3Issues:0

Spell-Check-Project

Spell Check Project for NLP course

Language:PythonStargazers:1Issues:3Issues:0

org-autoclock

Automatically clock in to Org mode when you work on a project.

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

POPL

Programming Language projects

Language:JavaStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:2Issues:0

rust

a safe, concurrent, practical language

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

servo

The Servo Browser Engine

Language:RustLicense:MPL-2.0Stargazers:0Issues:2Issues:0

black

The uncompromising Python code formatter

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

cpython

The Python programming language

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Distributed-Computing

Code for Distributed Computing Course

Language:JavaStargazers:0Issues:2Issues:0

Haskell-Learning

Haskell Learning

Language:HaskellStargazers:0Issues:2Issues:0

LibCST

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

MonkeyType

A system for Python that generates static type annotations by collecting runtime types

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

notes_and_prototypes_for_pyre

Plain python code to outline architecture ideas for pyre. Not production code, just for sharing ideas

Language:PythonLicense:CC0-1.0Stargazers:0Issues:1Issues:0

ocr-perceptron

Simple perceptron for digit recognition

Language:HTMLStargazers:0Issues:2Issues:0

Parallel-CPS

Our implementation of Parallel CPS for MiniJava

Language:JavaStargazers:0Issues:2Issues:0

peps

Python Enhancement Proposals

Language:PythonStargazers:0Issues:1Issues:0

pyre-check

Performant type-checking for python.

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

pyright

Static type checker for Python

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0

python-prompt-toolkit

Library for building powerful interactive command line applications in Python

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

python-typing-tutorial

A sample Python project to demonstrate basic type checking concepts and best practices.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

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

Randometer.hs

A set of games that help you calibrate your intuition for randomness.

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

reddit-post-classifier

Reddit self-post classifier.

Language:TeXStargazers:0Issues:2Issues:0

run-repo-tests

Run all tests in the repository. Use it along with `pre-commit` as part of a pre-commit Git hook.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:2Issues:0

sqlalchemy-stubs

Mypy plugin and stubs for SQLAlchemy

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

xformers-1

Hackable and optimized Transformers building blocks, supporting a composable construction.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0