sourceduty/Theoretical_Engine

Research and develop theoretical abstract engine models.

Size: 4.37 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

sourceduty/Quantum

Principles, applications, and technologies of quantum science.

Language: Python - Size: 21.1 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0

sourceduty/Computer_Science

Computational science, theory and tools.

Size: 2.29 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0

jluisvim/jluisvim.github.io

My personal website.

Language: HTML - Size: 41.3 MB - Last synced at: 17 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0

sourceduty/Theory

Theoretical science and models.

Language: Python - Size: 2.34 MB - Last synced at: 18 days ago - Pushed at: 19 days ago - Stars: 0 - Forks: 0

sourceduty/Paradigm_Modelling

Research and develop methodologies for detecting paradigm shifts in various domains.

Size: 47.9 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0

knowsys/TheoLog

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

Language: TeX - Size: 2.3 MB - Last synced at: 7 days ago - Pushed at: 11 months ago - Stars: 24 - Forks: 22

mostafatouny/awesome-theoretical-computer-science

The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.

Language: Python - Size: 826 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 845 - Forks: 50

T3kken/Neural_Optimation

Optimated artificial neural networks.

Size: 32.2 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

s0urceduty/Neural_Optimation

Optimated artificial neural networks.

Size: 0 Bytes - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

SystymaticDev/P_does_not_equal_NP

P != NP

Language: Python - Size: 446 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

tigerneil/awesome-deep-rl

For deep RL and the future of AI.

Language: HTML - Size: 1.92 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 1,459 - Forks: 218

jonland82/sorting-as-gradient-flow

A continuous-time geometric formulation of sorting as gradient flow on the permutohedron

Language: Jupyter Notebook - Size: 552 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

NeuroHex6/cyber-research

This repository is going to be filled with my research papers on Cyber Warfare, Cyber Weapon Development, Cyber Security, and more in that field

Size: 364 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

dowlandaiello/ic-sandbox

IC Sandbox: my aggregated interaction combinator research sandbox.

Language: Rust - Size: 4.03 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

graceemlin/stanford-algorithms

stanford algorithms coursework

Language: C++ - Size: 14.6 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

ericung/AnalysisOfFibonacci 📦

This article provides examples of monomial deciders, monomial generators, and picking functions and the methods to develop them.

Language: C# - Size: 1.96 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0

ericung/languageofpolynomials 📦

A language of polynomials.

Language: HTML - Size: 4.42 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0

ericung/InferrableLanguages 📦

Inferrable Languages

Language: CSS - Size: 4.24 MB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 6 - Forks: 0

abdellaui/formal_languanges_cs_webviewer

[LIVE-DEMO] simple from scratch created web-interface for processing "all chomsky hierarchy based formal languages" in theoretical computer science, implemented with vanilla HTML & JavaScript | click here:

Language: JavaScript - Size: 2.12 MB - Last synced at: 3 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

cslarsen/busy-beaver

Calculates the uncomputable Busy Beaver Σ-function

Language: Python - Size: 227 KB - Last synced at: about 2 months ago - Pushed at: about 9 years ago - Stars: 10 - Forks: 0

doublejun12/Notes-about-TCS

"我估计你书也难以看懂"

Language: TeX - Size: 3.49 MB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

sourceduty/Computational_Theory

💻 Theoretical computer science that focuses on understanding the fundamental principles that govern computation and its capabilities.

Size: 42 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

sourceduty/Hypothesis

🧑‍🔬 Hypothesize, theorize and create scientific explanations.

Size: 0 Bytes - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

amari-calipso/Helium-Sort

A block merge sorting algorithm inspired by Grail Sort and focused on adaptivity

Language: C - Size: 1.07 MB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0

sourceduty/Computational_Reactor

👨‍💻 The concept and creation of a controlled virtual environment where multiple reactions produce outputs.

Language: Python - Size: 32.2 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 1

Gyakobo/Recognizing-context-free-languages-with-a-PDA

The following project should define a PDA that in its turn would recognize a specific context-free language.

Language: Python - Size: 107 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

sourceduty/CPLDs

👩‍💻 A conceptual science that seeks to merge the functionalities of traditional programmable logic devices with integrated computational capabilities.

Size: 30.3 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

bbenno/ti_cheatsheet

Language: TeX - Size: 23.4 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

sourceduty/VMN

🌐 Virtual networks of virtual machines that emulate the functionality of physical or digital networks.

Size: 23.4 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

sourceduty/Relativity

📏 Relative measurements and observations, influenced by the interaction between the observer and the phenomenon.

Size: 196 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

Gyakobo/Recognizing-an-email-adress-with-DFA

The following example is meant to demonstrate how a Deterministic Finite Automata(DFA) algorithm is supposed to guide identify whether a string is an email adress ending with .gov or .gr

Language: Python - Size: 134 KB - Last synced at: 7 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

cartabinaria/informatica-teorica

Una raccolta di risorse per l'insegnamento di Informatica teorica (11933) del Corso di Laurea in Informatica.

Language: Jupyter Notebook - Size: 201 MB - Last synced at: 5 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 3

Abhiroop2004/NPTEL-Approximation-Algorithm-2024

Handwritten notes and Weekly assignment Solutions for NPTEL Course Approximation Algorithm By Prof. Palash Dey

Size: 6.33 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

sourceduty/Logic_Gate_Tree_Diagrams

🔢 Visualizing every logic gate combination using tree diagrams.

Size: 868 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

dankolesnikov/DFAtoTuringMachine

Turing Machine that simulates behavior of any Deterministic Finite Automata

Size: 11.8 MB - Last synced at: 2 months ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 5

sourceduty/Theoretical_Experiment

👨‍🔬 Plan, develop and simulate theoretical experiments.

Size: 28.3 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

knowsys/FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

Language: TeX - Size: 5.23 MB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 44 - Forks: 14

sourceduty/Autonomous_Computing

🌐 Theoretical self-managing computing models where systems operate independently to complete tasks.

Size: 10.7 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

NiklasKaulfers/NTMsim

simulates non-graphically a non-deterministic turingmachine (ntm)

Language: Java - Size: 36.1 KB - Last synced at: 7 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

sourceduty/Computational_Programming

👨‍💻 The original theoretical framework of Computational Programming for AI.

Size: 5.23 MB - Last synced at: 9 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

sourceduty/Quantum_Informatics

⚛️ Simulate quantum information processing concepts.

Size: 2.93 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

davehusk/SpringTheory

The framework of the future

Language: Python - Size: 33.2 KB - Last synced at: 4 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

108mk/E0224-Computational_Complexity_Theory

E0224:Computational_Complexity_Theory is a course on theoretical foundation of computer science at CSA department IISc

Size: 77.7 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

FlyingWorkshop/incentives-in-computer-science

Unofficial digital notes for Stanford's algorithmic game theory course (CS269I: Incentives in Computer Science).

Language: TeX - Size: 12.5 MB - Last synced at: 10 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

LordUbuntu/awesome-languages

A collection of new, interesting, and awesome programming languages!

Size: 30.3 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

menaruben/turingmachine.java

simulate universal turing machines using the gödel numbering

Language: Java - Size: 148 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

grachale/intersect_union_regular_languages

Implementation of an algorithm that enables finding the minimal deterministic finite automaton that accepts the intersection or union of languages defined by a pair of finite automata.

Language: C++ - Size: 9.77 KB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

bursasha/cpp-advanced-projects

Advanced programming and algorithmization in C++ ⚔️

Language: C++ - Size: 402 KB - Last synced at: 2 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

lebrancconvas/Pure-Mathematics-EBooks

E-Books Library for someone who interested in Pure Mathematics.

Size: 16.6 MB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 15 - Forks: 3

alanknguyen314/ai-machine-learning

🤖 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...

Language: Jupyter Notebook - Size: 31.5 MB - Last synced at: 7 days ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 2

slaytanic87/turingmachine

Turing machine simulator

Language: Java - Size: 250 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

SerenGTI/Theo_Inf

Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart

Language: TeX - Size: 9.13 MB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0

mynttt/CYK-algorithm

Java implementation of the CYK algorithm.

Language: Java - Size: 17.6 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 10 - Forks: 8

Naereen/jsTuring_fr Fork of awmorp/turing

:fr: Simulateur de machines de Turing en HTML/Javascript :wrench::computer: - traduit en :fr: français depuis jsturing par @awmorp. → Essayez sur

Language: JavaScript - Size: 7.34 MB - Last synced at: about 1 year ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

mikenoethiger/cturing

A turing machine simulator written in C

Language: C - Size: 143 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

jackr276/Context-Free-Language-Recognition-with-a-PDA

Implementation of a Pushdown Automaton that recognizes strings belonging to a language valid arithmetic expressions over floating point numbers

Language: C++ - Size: 138 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

gutter-bravado/LogosWeaver Fork of openai/openai-cookbook

A fork of the OpenAI-Cookbook that I use as a playground. Link to the Original below

Language: MDX - Size: 216 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

LebrancWorkshop/Lebranc-Learn-Functional-Programming

I'm learning a Functional Programming by learning its pure math concepts and apply it on functional language like Haskell, Clojure, Elixir, etc.

Language: JavaScript - Size: 198 KB - Last synced at: 27 days ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 3

zv3zdochka/Pumlang

A Python based interpreter, implementing lexer and parser. It supports variables, functions, conditionals, loops, and input/output operations.

Language: Python - Size: 123 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

UIC-InDeXLab/online-MISH

Online Maximum Independent Set of Hyperrectangles

Language: Jupyter Notebook - Size: 298 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

alizameller/DSAII

ECE-365 Data Structures and Algorithms II - Cooper Union Fall 2022

Language: C++ - Size: 57.6 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

fcortes/turing-machine-simulator

Simple turing machine simulator using the syntax of the online simulator at turingmachinesimulator.com

Language: C++ - Size: 22.5 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 4

p4czyk/reductions

Reductions from theoretical computer science

Language: C++ - Size: 60.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

jackr276/Email-Address-Recognition-with-a-DFA

Implementation of a Deterministic Finite Automaton for email address recognition

Language: C++ - Size: 188 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

lpapailiou/fac

A toy programming language including jflex scanner, cup parser and semantic validation. Executably by console and by gui (a toy-IDE).

Language: Java - Size: 2.46 MB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 1

kentril0/Minimize-DFA

Minimization of DFA using equivalence theorem, written in Haskell

Language: Haskell - Size: 54.7 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

Khushiyant/mincluster

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

Language: Python - Size: 7.81 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

Khushiyant/knnp

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.

Language: Python - Size: 11.7 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

DrunkJon/LOOP-WHILE-Interpreter

Interpreter for LOOP-WHILE Programms

Language: Python - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

gjbsaiia/quine

wrote a quine program for my theoretical comp sci class.

Language: Java - Size: 1000 Bytes - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

Dashon-Hawkins/computer-science Fork of ossu/computer-science

:mortar_board: Path to a free self-taught education in Computer Science!

Size: 795 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 4 - Forks: 1

uzkns/Linear-Time-Tree-Decomposition

LaTeX source for my presentation of Hans Bodlaender's "Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth"

Language: TeX - Size: 7.22 MB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

chrisdalvit/zeckendorf-theorem

A formal proof of the Zeckendorf theorem in Isabelle/HOL

Language: TeX - Size: 27.4 MB - Last synced at: 19 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

ShrohanMohapatra/ProperEarleyParser-PEP

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 :) :) ....

Language: Mathematica - Size: 134 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

ShrohanMohapatra/PackMFCS

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)

Language: Python - Size: 60.5 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0

ShrohanMohapatra/PACAGetMode

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.

Language: Mathematica - Size: 137 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 1

ShrohanMohapatra/GameOfLifeALISP

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.

Language: Mathematica - Size: 20.5 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 1

ShrohanMohapatra/matrix_multiply_quadratic

This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.

Language: Python - Size: 24.4 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 2

Arjunarora/ransomware_major_project

Building a cryptolocker ransomware with AES, RSA, C&C server and all the stuff.

Language: C - Size: 19.5 KB - Last synced at: over 1 year ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 2

Pyrofoux/why-oatmeal-is-cheap

"Why Oatmeal is Cheap" paper + interactive visualization

Language: HTML - Size: 2.71 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

oss6/learn-new-stuff-60

Everyday learning new stuff for 60 days. Topics including theoretical computer science, front and back end development, programming languages, data journalism and many more.

Language: JavaScript - Size: 25.4 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

kernzerfall/ram_simulator_rust

A simple Register Machine simulator written in Rust.

Language: Rust - Size: 135 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

DavidPal/ScaleFreeOLO

Scale-Free Online Learning

Language: TeX - Size: 118 KB - Last synced at: almost 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

garyhtou/Languages-and-Computation

Programming paradigms & features, theoretical languages, turing machines, grammars, and regular expressions.

Language: Python - Size: 1.88 MB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

meipp/nielsen-transformation

Language: Haskell - Size: 76.2 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

zaz/Quantas-analysis

A Jupyter Notebook to benchmark the pBFT algorithm simulated on Quantas.

Size: 3.91 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

MChatzakis/Byzantine-Vector-Consensus

Theoretical analysis and algorithm development for Byzantine Vector Consensus in partially synchronous environments.

Size: 5.4 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

nils-matthaei/ungoedel

A small program reversing the Gödel numbering function for turing machines taught in my theoretical computer science class

Language: Rust - Size: 39.1 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

GodhuliGradDe/TOC-Project

Theoretical Concepts Project at NYIT -Spring 2023

Language: Python - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

zaz/turing

A Python library for working with Turing machines

Language: Python - Size: 176 KB - Last synced at: about 2 years ago - Pushed at: over 9 years ago - Stars: 4 - Forks: 1

jupeeter8/Turing-Machine

Project where I try to implement concepts of Computer Science using programing languages like python

Language: Python - Size: 0 Bytes - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

francoisschwarzentruber/reductioncatalog

Catalog of reductions between different decision problems (SAT, 3SAT, Graph coloring, etc.)

Language: JavaScript - Size: 359 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 1

CoDeReD72/Game-Of-Life-Visualisation

A Javascript Simulation of Conway's Game of Life Cellular Automata Model

Language: JavaScript - Size: 300 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

aalexren/iu-tcs

[Innopolis University] Theoretical Computer Science Course 2021. Assignment

Language: Java - Size: 17.6 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

ShrohanMohapatra/LaunchpadACT

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.

Language: Mathematica - Size: 5.09 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

bitkeks/theolog-ss2017

Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten

Language: TeX - Size: 5.25 MB - Last synced at: 9 days ago - Pushed at: almost 8 years ago - Stars: 18 - Forks: 1

MatthiasMi/rusty-algos

A re-implementation of basic data-structures and algorithms

Language: Rust - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

TiMauzi/dawg

The concept of DAWGs is based on: Blumer, A. et al. (1985). The smallest automation recognizing the subwords of a text. Theoretical Computer Science, 40, 31–55.

Language: Java - Size: 88.9 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Cirice/Machine-Learning-KnowledgeBase

A collection of machine learning questions (and answers)

Size: 90.8 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 5