dan-c-k's Stars
olirice/flupy
Fluent data pipelines for python and your shell
gap-system/gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
kitao/pyxel
A retro game engine for Python
microsoft/AirSim
Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research
pcraston/CTOSecurityChecklist
The SaaS CTO Security Checklist
ballerina-platform/ballerina-lang
The Ballerina Programming Language
instillai/Generative-Adversarial-Networks-Roadmap
The Roadmap to Learn Generative Adversarial Networks (GANs)
nixpulvis/lalrpop-lambda
A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.
Z3Prover/z3
The Z3 Theorem Prover
algorithm-visualizer/algorithm-visualizer
:fireworks:Interactive Online Platform that Visualizes Algorithms from Code
purescript/purescript
A strongly-typed language that compiles to JavaScript
marcotcr/lime
Lime: Explaining the predictions of any machine learning classifier
jb55/vrscript-samples
Some vrscript samples by John Carmack
typedefs/typedefs
Programming language agnostic type construction language based on polynomials.
realpython/python-guide
Python best practices guidebook, written for humans.
wooey/Wooey
A Django app that creates automatic web UIs for Python scripts.
jeffknupp/sandman2
Automatically generate a RESTful API service for your legacy database. No code required!
VonStruddle/PyHunter
A Python wrapper for the Hunter.io v2 API
HypothesisWorks/hypothesis
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
djhworld/simple-computer
the scott CPU from "But How Do It Know?" by J. Clark Scott
mvitousek/reticulated
Types for Python
instillai/machine-learning-course
:speech_balloon: Machine Learning Course with Python:
avinashshenoy97/awesome-python-1
A curated list of awesome Python frameworks, libraries and software.
tweepy/tweepy
Twitter for Python!
donnemartin/interactive-coding-challenges
120+ interactive Python coding interview challenges (algorithms and data structures). Includes Anki flashcards.
thisbejim/Pyrebase
A simple python wrapper for the Firebase API.
mnielsen/neural-networks-and-deep-learning
Code samples for my book "Neural Networks and Deep Learning"
cohomolo-gy/haskell-resources
A List of Foundational Haskell Papers
microsoft/NeuronBlocks
NLP DNN Toolkit - Building Your NLP DNN Models Like Playing Lego
palatable/lambda
Functional patterns for Java