Papers from the computer science community to read and discuss.
Updated Jun 6, 2019
#
theory
Repositories 142
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 Jun 2, 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 May 10, 2019
Numenta published papers code and data
Python
Updated May 10, 2019
Coq formalizations of functional languages.
Coq
Updated Sep 7, 2018
A structured collection of tagged notes about machine learning theory and practice endowed with search infrastructure…
Jupyter Notebook
Updated Jun 5, 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
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
Technologies I've learned
sed
Updated Jun 7, 2019
Updated Oct 28, 2018
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
Isabelle
Updated Jun 7, 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
Good first issues
See all#155 opened over 1 year ago by pausz
#48 opened about 3 years ago by pausz
1
#26 opened over 3 years ago by pausz
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
Googol Game or "You should learn when to quit". A JavaScript game.
JavaScript
Updated Mar 29, 2019
Optimization of matrix multiplication
Go
Updated Jun 20, 2017
JavaScript
Updated May 8, 2019
RepTate with a dual user interface: text and GUI
Good first issues
#111 opened 6 months ago by jorge-ramirez-upm
#95 opened about 1 year ago by jorge-ramirez-upm
Python
Updated Jan 30, 2019
My Master's thesis. Reinforcement Learning for LTLf/LDlf goals.
TeX
Updated Aug 25, 2018
A library containing analysis and theory tools for cosmological data.
Jupyter Notebook
Updated Jun 4, 2019
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 May 18, 2019
Papers We ❤️ Porto
Updated Jan 17, 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