iron : Coq formalizations of functional languages.
author: discus-lang
created: 2013-11-29 03:25:42
coq coq-formalizations lambda-calculus proof theory


papers-we-love : Papers from the computer science community to read and discuss.
author: papers-we-love
created: 2013-12-15 14:31:41
awesome computer-science meetup papers programming read-papers theory


DecisionTrees : Seminar work "Decision Trees - An Introduction" with presentation, seminar paper, and Python implementation
author: michaeldorner
created: 2014-03-30 09:55:09
decision-trees paper tex theory


SiteswapSuite : An all-in-one siteswap calculator
author: fictionic
created: 2014-11-28 19:14:36
java juggling math siteswap theory


utp-main : An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
author: isabelle-utp
created: 2014-12-04 13:51:53
hol isabelle theory unifying-theories utp


nftsim : C++ library for simulation of multiscale neural field dynamics
author: BrainDynamicsUSYD
created: 2015-03-03 00:29:05
brain-imaging eeg-signals neuroscience simulation theory c++


teaching-fp : Techniques, advice, and anecdotes about how to teach Functional Programming
author: expede
created: 2015-03-25 01:15:15
clojure clojurescript elixir elm functional-programming haskell idris material ocaml python racket rust scala scheme teaching theory


dr-prolog-proof-checker : Automatically exported from code.google.com/p/dr-prolog-proof-checker
author: vefthym
created: 2015-03-28 13:55:42
dr-prolog prolog prolog-proof-checker proof-checker theory openedge abl


Notes : Notes taken from diverse technologies
author: ehmicky
created: 2015-04-29 19:52:53
programming theory sed


DesignPatterns-In-Javascript : :books: Simple to advances design patterns examples and theory.
author: TomKarachristos
created: 2016-05-04 11:32:00
design-patterns javascript jquery theory


telegram-list : List of telegram groups, channels & bots // Список интересных групп, каналов и ботов телеграма // Список чатов для программистов
author: goq
created: 2016-08-12 16:16:12
bot coding community data-science data-science-club deep-learning devops devops-teams frontend hacker-news linux machine-learning microsoft news programming programming-languages smm telegram telegram-group theory


brasilia : Papers We ❤️ Brasilia
author: papers-we-love
created: 2016-10-06 03:49:51
academia artificial-intelligence awesome computer-science machine-learning meetup neural-networks papers programming read-papers theory


orphics : A library containing analysis and theory tools for cosmological data.
author: msyriac
created: 2016-10-28 16:59:59
analysis cmb cosmology data-analysis theory jupyter notebook


TorsionAnalysis : Calculate torsional response for Closed-Thin Walled and Open Thin-Walled theory, then compare with experimental data.
author: Jual6332
created: 2016-11-26 08:01:10
experimental-data software-development software-testing theory matlab


TOAIM : It Takes Two to Tango: Towards Theory of AI's Mind
author: deshraj
created: 2017-04-03 12:07:18
ai beliefs humans intent mental-states mind theory html


GraphTheory-2017-Project : 3rd Year Under-graduate graph theory project using Neo4J
author: Verdagio
created: 2017-04-04 11:18:55
database graph neo4j neo4j-database theory


Theorie-des-jeux :
author: Woap
created: 2017-04-11 08:12:53
game java theory


scaled_paraglider_testbed : Control software for Scaled Paraglider Testbed senior design project. UC San Diego Mechanical Engineering Department.
author: alevesque
created: 2017-04-18 21:33:54
beaglebone c control control-systems design diego engineering jacobs mechanical paraglider pid roboticscape san scaled school senior strawson testbed theory uc


Social-Network-Analysis : My Capstone project for OOP: Data Structures & Beyond Specialization offered by UC San Diego on Coursera
author: MisterSchmitz
created: 2017-04-20 00:39:40
algorithm graph theory java


advanced-javascript : :star: Deep Javascript foundations :star:
author: stmoreau
created: 2017-04-20 23:23:12
interview interview-preparation interview-questions javascript theory


biogeonet : RCPP implementation for Cazelles *et al.* 2016 DOI:10.1007/s12080-015-0281-9
author: KevCaz
created: 2017-04-23 20:04:05
biodiversity biogepgraphy markov-chain r rcpp theory c++


elm-music-theory : Music theory library for Elm
author: duncanmalashock
created: 2017-04-29 18:32:28
chords elm harmony music scales theory


Matrix-Multiply-Part1 : Optimization of matrix multiplication
author: Konstantin8105
created: 2017-06-05 18:14:21
algorithm go golang matrix matrix-multiplication theory


denise-is-complex : module to measure the complexity of a graph
author: Cereceres
created: 2017-06-10 22:30:12
algebra graph nodejs theory javascript


htmpapers : Numenta published papers code and data
author: numenta
created: 2017-07-13 21:07:15
htm neocortex numenta paper theory python


morse_compression : A study into the feasibility of encoding ascii readable characters into morse code to save disk space.
author: izcet
created: 2017-08-06 23:51:41
compression encoding morse-code theory


Pianissimo : Javascript set of helpers for music theory - notes, intervals, chords and scales
author: AtActionPark
created: 2017-08-21 14:01:29
chords interval music scale solfege theory javascript


pyPRISM : A framework for conducting polymer reference interaction site model (PRISM) calculations
author: usnistgov
created: 2017-08-30 19:54:45
correlation-functions liquid-state-theory materials-science modeling nanocomposite polymer theory python


cs598PS_fall2017 : CS 598 PS workspace for course on Machine Learning in Signal Processing. Includes work on MPs, projects, and related documents/reports.
author: choward1491
created: 2017-09-01 21:19:52
classification clustering dimensionality-reduction machine-learning python python3 regression signal-processing spectrogram supervised-learning theory unsupervised-learning


Image-Processing : Skull stripping using Morphologial Operators and Image denoising using Rough Sets along with other interesting problems.
author: khursheedali38
created: 2017-10-09 12:14:33
denosing morphological-operators rough sets skull stripping theory matlab


walsh-families : Walsh families of all rank-invariant classes of 3-bit pseudo-Boolean functions.
author: leechristie
created: 2017-10-26 08:29:09
c computer-science optimization python research theory walsh-families walsh-functions


discrete-math : My naive computer based solutions to popular math hypothesis and problems, based on Mathematics for Computer Science course by MIT.
author: farruhha
created: 2017-11-02 16:01:15
computer-science discrete-mathematics graph hypothesis mathematics mit number proof-of-concept random-walk solutions theory theory-of-computation java


solfege : Solfege Library in Python
author: petvajda
created: 2017-11-08 16:28:19
music python solfege theory


FIT1047-Intro-Computer-System-and-Security-Revision :
author: leecheng28
created: 2017-11-10 00:45:17
theory


readingbricks : A structured collection of tagged notes about machine learning theory and practice endowed with search infrastructure that allows users to read requested info only.
author: Nikolay-Lysenko
created: 2017-11-11 12:58:48
jupyter-notebooks search-engine theory jupyter notebook


Reinforcement-Learning : Implementation of various Reinforcement Learning Algorithms
author: alokwhitewolf
created: 2017-11-26 14:53:41
explaination machine-learning machine-learning-algorithms python reinforcement-agents reinforcement-learning reinforcement-learning-algorithms reinforcement-learning-excercises sutton theory jupyter notebook


Tail-estimation-for-window-censored-processes : This paper develops methods to estimate the tail and full distribution of the lengths of the 0-intervals in a continuous time stationary ergodic stochastic process which takes the values 0 and 1 in alternating intervals. The methods are applied to the 100-car study, a big naturalistic driving experiment.
author: OGCJN
created: 2017-12-10 20:18:49
100-car-naturalistic-driving-study driving extreme generalized-pareto-distribution length-biased-distribution naturalistic off-road-glance safety study tail-estimation theory traffic traffic-safety value mathematica


Extremes-of-Shepp-statistics-for-Gaussian-random-walk : We derive asymptotic behavior of the probability of high-level excursion for the maximal increment of a Gaussian random walk.
author: OGCJN
created: 2017-12-10 20:48:51
asymptotics deviations extreme extremes gaussian gaussian-random-walk high-level-excursions increments large large-deviations random shepp shepp-statistics statistics theory value walk


Extreme-value-analysis-of-huge-datasets : PhD Thesis. Some results in Extreme Value Theory with applications to High-Throughput Screening and Bioinformatics.
author: OGCJN
created: 2017-12-10 20:54:14
big bioinformatics data datasets estimation extreme high huge multiple phd screening smarttail tail testing theory thesis throughput value


Tail-approximations-for-the-Student-t--F--and-Welch-statistics : We present a detailed study of the asymptotic behavior of the distribution of the tails of these, perhaps, most commonly used statistical tests under non-standard conditions, that is, releasing the underlying assumptions of normality, independence and identical distribution and considering a more general case where one only assumes that the vector of data has a continuous joint density.
author: OGCJN
created: 2017-12-10 20:59:47
extreme f-test high-throughput-screening one-sample-t-test sample size small small-sample-size statistics t-test theory two-sample-t-test value welch-statistic mathematica


bs-abstract : Bucklescript interfaces and implementations for category theory and abstract algebra
author: Risto-Stevcev
created: 2017-12-27 12:27:34
abstract abstract-algebra algebra bucklescript category category-theory monad monoid prelude reason reasonml semigroup semigroupoid semiring theory ocaml


WebDev-BootCamp-11.2017 : Collection of projects I've done during web development bootcamp which I participate from 11.2017 to 05.2018
author: lyon106
created: 2018-01-15 21:03:44
ajax css html-structure javascript jquery mongodb practice react react-redux rwd theory


porto : Papers We ❤️ Porto
author: papers-we-love
created: 2018-01-17 03:43:10
awesome computer-science meetup programming theory


schuller-quantum : Source code for lecture notes
author: sreahw
created: 2018-01-17 10:22:24
banach hilbert integration lecture measure mechanics notes perturbation physics quantum schuller theory tex


Finite-State-Machine : Finite State Machine Library for .NET Core (with EASY and ADVANCED implementation)
author: Dentrax
created: 2018-02-11 21:00:34
algorithm automata-theory deterministic-finite-automata finite-state-machine state-machine theory c#


Project-1 : A repository for the first computational physics project
author: Ashardalon125
created: 2018-03-02 17:55:25
benzene chemistry computational hybrids jupyter mo mo-theory pacific physics project python quantum resonance structures student theory university jupyter notebook


Hypothesis : Hypothesis creation and testing in a data mining domain. We develop a reasoning system that is seeded with a base level of data mining knowledge and is capable of expanding, modifying and updating this knowledge with new experiences.
author: kenmcgarry
created: 2018-05-21 09:29:12
expert hypothesis knowledge theory r


nbc4va : Bayes Classifier for Verbal Autopsy Data
author: rrwen
created: 2018-07-26 15:14:58
autopsy bayes cause classifier coded computer death estimate imputation learning machine mds million naive nbc probability study theory va verbal r


dl_theory : A set of scripts and experiments making it easier to analyze deep learning empirically.
author: csinva
created: 2018-07-31 23:07:30
cifar computer-vision deep-learning mnist polynomial pytorch theory jupyter notebook


awesome-papers : Awesome Papers
author: m13m
created: 2018-08-10 10:14:32
database distributed-computing distributed-systems programming-language theory unix


mental-time-travel-paper : Code for exploring how we distribute our thoughts over time when we remember, using data from a naturalistic memory experiment.
author: ContextLab
created: 2018-08-21 04:05:19
analysis computational-psychology episodic-memory experimental-data experimental-data-analysis preprint theory jupyter notebook


TestingTheory :
author: oleksiisedun
created: 2018-08-28 19:55:26
qa testing theory


Sierpinski : Chaos theory - Sierpinski triangle / gasket / sieve - Fractal - Attractor
author: NoLogig
created: 2018-10-24 14:58:34
attractor chaos-theory fractals sierpinksi-gasket sierpinski-triangle theory typescript


angular-workshop-skipbo : Advanced Angular Workshop with RxJS/Routing/Animations/AI 🐙
author: georgiee
created: 2018-11-22 17:13:13
ai angular animation challenge dragdrop rxjs theory workshop


Xunit.DataAttributes : Custom data attributes for xUnit.
author: JeevanJames
created: 2018-11-24 07:05:14
data-attributes extensibility theory xunit xunit-extensibility xunit-theory c#


go-tm : A Golang library to implement both deterministic and non deterministic Turing machines easily.
author: made2591
created: 2018-12-18 16:42:01
computable computational go golang interfaces machine patterns theory turing


interest : Interesting...
author: MrYangxf
created: 2019-02-28 09:54:56
algorithm data-structures java theory


Cookies help us deliver our services. By using our services, you agree to our use of cookies Learn more