-
Updated
Jun 18, 2020 - Shell
#
theory
Here are 197 public repositories matching this topic...
Papers from the computer science community to read and discuss.
List of telegram groups, channels & bots // Список интересных групп, каналов и ботов телеграма // Список чатов для программистов
microsoft
linux
bot
community
devops
data-science
machine-learning
news
programming
telegram
hacker-news
deep-learning
frontend
coding
programming-languages
theory
telegram-group
devops-teams
smm
data-science-club
-
Updated
Jun 20, 2020
A ReasonML/Ocaml library for category theory and abstract algebra
algebra
monad
category-theory
monoid
semigroup
bucklescript
theory
prelude
reasonml
abstract
category
semiring
abstract-algebra
reason
semigroupoid
-
Updated
May 25, 2020 - Reason
Coq formalizations of functional languages.
-
Updated
May 13, 2020 - Coq
螺旋论(theory of helix)—— “熵减机理论(可用来构建信息熵减机、及自然演化熵减机系统等)”
machine-learning
ai
neural-network
agi
artificial-intelligence
artificial-general-intelligence
theory
helix
general-artificial-intelligence
theory-of-helix
-
Updated
Jun 20, 2020 - Objective-C
A structured collection of tagged notes about machine learning theory and practice endowed with search infrastructure that allows users to read requested info only.
-
Updated
May 11, 2020 - Jupyter Notebook
Seminar work "Decision Trees - An Introduction" with presentation, seminar paper, and Python implementation
-
Updated
Nov 23, 2016 - TeX
Googol Game or "You should learn when to quit". A JavaScript game.
-
Updated
Dec 11, 2019 - JavaScript
A Hitchhiker’s Guide to Multiple Scattering
-
Updated
Jun 6, 2020 - Mathematica
Implementation of various Reinforcement Learning Algorithms
python
machine-learning
reinforcement-learning
machine-learning-algorithms
reinforcement-learning-algorithms
theory
reinforcement-learning-excercises
sutton
reinforcement-agents
explaination
-
Updated
Jan 16, 2018 - Jupyter Notebook
-
Updated
Apr 17, 2020
music theory helper
-
Updated
Jul 25, 2019 - Python
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
-
Updated
Jun 10, 2020 - Isabelle
martintb
commented
Apr 19, 2018
All of the examples in the tutorial should also be written to be unit tests. Since we already have the data extracted and pyPRISM scripts written (in the tutorial), this should not be difficult.
In general, adding full pyPRISM calculations for various systems as unit tests would be great for checking for regression when adding new features.
Open
Update User Manual
pausz
commented
Feb 14, 2018
This involves:
- keeping the user manual up to date after changes (modifications, additions, deletions) to the code.
- updating the current latex template to a more friendly version.
Finite State Machine Library for .NET Core (with EASY and ADVANCED implementation)
algorithm
fsm
csharp
state-machine
algorithms
finite-state-machine
theory
event-handling
csharp-notes
automata-theory
deterministic-finite-automata
csharp-examples
-
Updated
Feb 24, 2018 - C#
jorge-ramirez-upm
opened
Feb 25, 2020
Explaining category theory by example
-
Updated
Jun 30, 2017 - PureScript
HPAGI - *H*igh *P*erformance *A*rtificial *G*eneral *I*ntelligence
java
machine-learning
reinforcement-learning
deep-learning
algorithms
artificial-intelligence
theory
-
Updated
Jun 3, 2020 - Java
My Master's thesis. Reinforcement Learning for LTLf/LDlf goals.
-
Updated
Aug 25, 2018 - TeX
A free open source platform for creating and sharing educational programs related to software development and all the things around it.
community
education
workshops
practice
workshop
knowledge
topic
teaching
theory
certification
node-school
hours
certifications
educational-programs
-
Updated
May 26, 2020 - TypeScript
A library containing analysis and theory tools for cosmological data.
-
Updated
Jun 3, 2020 - Jupyter Notebook
Improve this page
Add a description, image, and links to the theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the theory topic, visit your repo's landing page and select "manage topics."


Clean frontmatter after migrating to website
So, my script definitely achieved its goal of reducing the amount of manual text manipulation.
However, it could only do so much and hence the frontmatter of each course needs to be cleaned
Step 0 - Guidelines
git commit -m "Update <course_code> based on #<issue_no>"