tmillc's Stars
CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
rlabbe/Kalman-and-Bayesian-Filters-in-Python
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.
alexjc/neural-doodle
Turn your two-bit doodles into fine artworks with deep neural networks, generate seamless textures from photos, transfer style from one image to another, perform example-based upscaling, but wait... there's more! (An implementation of Semantic Style Transfer.)
OpenMW/openmw
OpenMW is an open-source open-world RPG game engine that supports playing Morrowind. Main repo and issue tracker can be found here: https://gitlab.com/OpenMW/openmw/
mruby/mruby
Lightweight Ruby
system-f/fp-course
Functional Programming Course
commercialhaskell/stack
The Haskell Tool Stack
ryanb/ruby-warrior
Game written in Ruby for learning Ruby.
awentzonline/image-analogies
Generate image analogies using neural matching and blending.
barbagroup/CFDPython
A sequence of Jupyter notebooks featuring the "12 Steps to Navier-Stokes" http://lorenabarba.com/
rlabbe/filterpy
Python Kalman filtering and optimal estimation library. Implements Kalman filter, particle filter, Extended Kalman filter, Unscented Kalman filter, g-h (alpha-beta), least squares, H Infinity, smoothers, and more. Has companion book 'Kalman and Bayesian Filters in Python'.
Interkarma/daggerfall-unity
Open source recreation of Daggerfall in the Unity engine
thomasp85/patchwork
The Composer of ggplots
kaleko/CourseraML
I took Andrew Ng's Machine Learning course on Coursera and did the homework assigments... but, on my own in python because I love jupyter notebooks!
mikeizbicki/HLearn
Homomorphic machine learning
cardmagic/classifier
A general classifier module to allow Bayesian and LSI classifications.
yihui/knitr-examples
A collection of knitr examples
tommythorn/Reduceron
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.
mikeizbicki/subhask
Type safe interface for working in subcategories of Hask
danielsdeleo/Decider
Flexible and Extensible Machine Learning in Ruby
Themaister/libfmsynth
A C library which implements an FM synthesizer
liamoc/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
larrytheliquid/Lemmachine
REST'ful web framework in Agda
pauldix/basset
Library for various machine learning tasks
mvr/cf
"Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
ericfinster/orchard
Orchard Opetopic Proof Assistant
cyberarm/planet-wars
Space game powered by Ruby/Gosu