Topic: theoretical-computer-science Goto Github
Some thing interesting about theoretical-computer-science
Some thing interesting about theoretical-computer-science
theoretical-computer-science,🤖 A public repository for my machine learning notes. This will also contain lectures and sample data sets that I have gathered from various sources, including CS229 (Stanford), CS542 (BU), MLS (deeplearning.ai), 6.036 (MIT), and more...
User: alanknguyen314
theoretical-computer-science,Building a cryptolocker ransomware with AES, RSA, C&C server and all the stuff.
User: arjunarora
theoretical-computer-science,Simple implementation of Mu-Recursive (or µ-recursive) functions in haskell, with the calculation steps logged.
User: arnemileswinter
theoretical-computer-science,Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
User: bitkeks
Home Page: https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)
theoretical-computer-science,A formal proof of the Zeckendorf theorem in Isabelle/HOL
User: chrisdalvit
Home Page: https://www.isa-afp.org/entries/Zeckendorf.html
theoretical-computer-science,A collection of ML questions and answers
Organization: cirice
theoretical-computer-science,Calculates the uncomputable Busy Beaver Σ-function
User: cslarsen
Home Page: https://speakerdeck.com/csl/the-busy-beaver-game
theoretical-computer-science,Simple analysis and model checking tool for finite discrete time-homogeneous Markov chains. Model checks PCTL properties and computes transient and steady state distribution.
User: cxlvinchau
theoretical-computer-science,Turing Machine that simulates behavior of any Deterministic Finite Automata
User: dankolesnikov
theoretical-computer-science,"我估计你书也难以看懂"
User: doublejun12
theoretical-computer-science,🔮 Playing around with deterministic & non deterministic finite state automatas
User: dunyaoguz
theoretical-computer-science,Inferrable Languages
User: ericung
theoretical-computer-science,A language of polynomials
User: ericung
Home Page: https://ericung.com/Articles/languageofpolynomials
theoretical-computer-science,Simple turing machine simulator using the syntax of the online simulator at turingmachinesimulator.com
User: fcortes
theoretical-computer-science,Unofficial digital notes for Stanford's algorithmic game theory course (CS269: Incentives in Computer Science).
User: flyingworkshop
Home Page: https://flyingworkshop.github.io/CS269I/
theoretical-computer-science,Catalog of reductions between different decision problems (SAT, 3SAT, Graph coloring, etc.)
User: francoisschwarzentruber
Home Page: https://francoisschwarzentruber.github.io/reductioncatalog/
theoretical-computer-science,Programming paradigms & features, theoretical languages, turing machines, grammars, and regular expressions.
User: garyhtou
theoretical-computer-science,Theoretical computer science (Slovene)
User: hairyfotr
theoretical-computer-science,Project where I try to implement concepts of Computer Science using programing languages like python
User: jupeeter8
theoretical-computer-science,Enhanced version of the k-nearest neighbors algorithm utilizing membrane computing. kNN-P is designed for parallel and distributed computing, which can improve the performance of the original k-nearest neighbors algorithm for classification tasks.
User: khushiyant
Home Page: https://pypi.org/project/kNNp/
theoretical-computer-science,Mincluster is an essential package designed for minimizing the maximum intercluster distance in datasets. This powerful tool streamlines the process of optimizing data clustering by reducing the separation between clusters
User: khushiyant
Home Page: https://pypi.org/project/mincluster/
theoretical-computer-science,Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
Organization: knowsys
Home Page: https://iccl.inf.tu-dresden.de/web/Formale_Systeme
theoretical-computer-science,Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
Organization: knowsys
Home Page: https://iccl.inf.tu-dresden.de/web/Theoretische_Informatik_und_Logik_(SS2017)
theoretical-computer-science,E-Books Library for someone who interested in Pure Mathematics.
User: lebrancconvas
theoretical-computer-science,I'm learning a Functional Programming by learning its pure math concepts and apply it on functional language like Haskell, Clojure, Elixir, etc.
Organization: lebrancworkshop
theoretical-computer-science,A calculator for the Cocke-Younger-Kasami-Algorithm that determines whether a word belongs to a context-free language.
User: linuskmr
theoretical-computer-science,A collection of new, interesting, and awesome programming languages!
User: lordubuntu
theoretical-computer-science,Theoretical analysis and algorithm development for Byzantine Vector Consensus in partially synchronous environments.
User: mchatzakis
theoretical-computer-science,Node.js implementation of the stable marriage problem
User: mgschoen
theoretical-computer-science,The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.
User: mostafatouny
theoretical-computer-science,Java implementation of the CYK algorithm.
User: mynttt
theoretical-computer-science,A small program reversing the Gödel numbering function for turing machines taught in my theoretical computer science class
User: nils-matthaei
theoretical-computer-science,Experiments accompanying A Theory of Unsupervised Translation Motivated by Understanding Animal Communication (NeurIPS 2023)
User: orrp
Home Page: https://arxiv.org/abs/2211.11081
theoretical-computer-science,Everyday learning new stuff for 60 days. Topics including theoretical computer science, front and back end development, programming languages, data journalism and many more.
User: oss6
theoretical-computer-science,Library for simulating deterministic finite Automata
User: philipgusel
theoretical-computer-science,"Why Oatmeal is Cheap" paper + interactive visualization
User: pyrofoux
Home Page: https://pyrofoux.github.io/why-oatmeal-is-cheap/
theoretical-computer-science,
User: romop5
theoretical-computer-science,Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
User: serengti
theoretical-computer-science,Book reading
User: shlw
theoretical-computer-science,Some work on the paper, "Automated Lie-algebraic input space partitioning using first-order two-dimensional cellular automata" by me (Shrohan Mohapatra. (2020, June 5). Automated Lie-algebraic input space partitioning using first-order two-dimensional cellular automata. Zenodo. http://doi.org/10.5281/zenodo.3880404), here in the specific example with Game of Life for automated Lie-algebraic input space partitioning.
User: shrohanmohapatra
theoretical-computer-science,A series of programs that enable one's investigations in the algebraic complexity theory such as matrix multiplication algorithms, primality tests, algebraic complexity, sorting algorithms etc. Each algorithm is accompanied by a comparative time complexity analysis and a class of test cases and test suites.
User: shrohanmohapatra
theoretical-computer-science,This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.
User: shrohanmohapatra
theoretical-computer-science,A Mathematica package by the name 'Polynomial adaptive cellular automata' to get the quasi-normal modes for the particles oscillating in the background of a black hole.
User: shrohanmohapatra
theoretical-computer-science,A set of python programs that can be used by early learners of the Mathematical Foundations of Computer Sciences (courtesy: Introduction to the Theory of Computation by Michael Sipser)
User: shrohanmohapatra
theoretical-computer-science,Design and implementation of a fast Earley parser with some test cases in Wolfram language ....... also a ready-made lexer with parsing with the grammar for all the regular languages :) :) ....
User: shrohanmohapatra
theoretical-computer-science,🌲 Memory-efficient labeled tree construction in Python
User: stevenschmatz
theoretical-computer-science,For deep RL and the future of AI.
User: tigerneil
theoretical-computer-science,Online Maximum Independent Set of Hyperrectangles
Organization: uic-indexlab
theoretical-computer-science,A browser-based IDE for the untyped lambda calculus. Try it:
Organization: wavelength-ide
Home Page: https://pp.ipd.kit.edu/lehre/misc/lambda-ide/Wavelength.html
theoretical-computer-science,A Python library for working with Turing machines
User: zaz
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.