Papers from the computer science community to read and discuss.
Updated Mar 17, 2019
#
theory
Repositories 130
List of telegram groups, channels & bots // Список интересных групп, каналов и ботов телеграма // Список чатов для пр…
telegram
telegram-group
community
devops
devops-teams
data-science
data-science-club
programming
news
bot
hacker-news
coding
linux
microsoft
smm
programming-languages
theory
machine-learning
deep-learning
frontend
Updated Mar 20, 2019
Bucklescript interfaces and implementations for category theory and abstract algebra
bucklescript
reason
reasonml
category-theory
abstract-algebra
prelude
category
theory
abstract
algebra
monoid
monad
semigroup
semiring
semigroupoid
OCaml
Updated Oct 20, 2018
Coq formalizations of functional languages.
Coq
Updated Sep 7, 2018
Numenta published papers code and data
Python
Updated Jan 16, 2019
A structured collection of tagged notes about machine learning theory and practice endowed with search infrastructure…
Jupyter Notebook
Updated Feb 4, 2019
Seminar work "Decision Trees - An Introduction" with presentation, seminar paper, and Python implementation
TeX
Updated Nov 23, 2016
Techniques, advice, and anecdotes about how to teach Functional Programming
teaching
material
haskell
scala
elm
clojure
racket
functional-programming
theory
ocaml
elixir
scheme
clojurescript
idris
rust
python
Updated Nov 5, 2016
1 issue
needs help
Advanced Angular Workshop with RxJS/Routing/Animations/AI 🐙
Updated Dec 15, 2018
Implementation of various Reinforcement Learning Algorithms
reinforcement-learning
sutton
explaination
python
machine-learning
machine-learning-algorithms
reinforcement-learning-algorithms
reinforcement-agents
reinforcement-learning-excercises
theory
Jupyter Notebook
Updated Jan 16, 2018
Updated Oct 28, 2018
Notes taken from diverse technologies
sed
Updated Mar 22, 2019
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
Isabelle
Updated Mar 18, 2019
Source code for lecture notes
lecture
notes
physics
schuller
quantum
theory
mechanics
hilbert
banach
perturbation
measure
integration
TeX
Updated Jan 27, 2018
C++ library for simulation of multiscale neural field dynamics
C++
Updated Dec 15, 2018
A framework for conducting polymer reference interaction site model (PRISM) calculations
Python
Updated Feb 20, 2019
Explaining category theory by example
PureScript
Updated Jun 30, 2017
Optimization of matrix multiplication
Go
Updated Jun 20, 2017
JavaScript
Updated Mar 17, 2019
My Master's thesis. Reinforcement Learning for LTLf/LDlf goals.
TeX
Updated Aug 25, 2018
CS 598 PS workspace for course on Machine Learning in Signal Processing. Includes work on MPs, projects, and related …
dimensionality-reduction
classification
machine-learning
signal-processing
theory
clustering
regression
unsupervised-learning
supervised-learning
python3
python
spectrogram
Python
Updated Dec 27, 2017
Website for the annual Genetic Programming Theory & Practice workshops
HTML
Updated Mar 20, 2019
RepTate with a dual user interface: text and GUI
Python
Updated Jan 30, 2019
JavaScript
Updated Jul 6, 2018
An OCaml implementation of the Micro-Synthetic algorithm to verify a new theory of pattern discovery.
C++
Updated Feb 7, 2017
Papers We ❤️ Brasilia
computer-science
awesome
meetup
papers
programming
theory
read-papers
machine-learning
artificial-intelligence
neural-networks
academia
Updated Jan 18, 2019
My master thesis on Whitebox cryptography & AES Whitebox schemes.
whitebox-aes
whitebox-cryptography
cryptography
research
master-thesis
latex
math
proofs
theory
chow
karroumi
billet
bge-attack
TeX
Updated Jul 15, 2014
Papers We ❤️ Porto
Updated Jan 17, 2019
My Capstone project for OOP: Data Structures & Beyond Specialization offered by UC San Diego on Coursera
Java
Updated Sep 13, 2017
A library containing analysis and theory tools for cosmological data.
Jupyter Notebook
Updated Mar 16, 2019