phillikus / turing_machine

Related projects: ⓘ

• Dauphine203 / cpp_dauphine
  C++ courses for Paris Dauphine
  ☆19Updated 2 years ago
• websemantics / awesome-quantum-computing
  A curated list of Quantum Computing resources, articles, programming languages and projects. The main idea is that everyone can contribut…
  ☆20Updated last year
• pkrumins / busy-beaver
  Implementation of a Turing Machine that runs the Busy Beaver programs.
  ☆20Updated 14 years ago
• Chillee / pytorch-vs-tensorflow
  Tracking Pytorch vs Tensorflow adoption metrics.
  ☆22Updated 2 years ago
• penrose / penrose-python
  ☆18Updated this week
• cirosantilli / awesome-whole-cell-simulation
  MOVING TO: https://github.com/cirosantilli/cirosantilli.github.io/ SEE README. Because sometimes you just want to simulate single prokary…
  ☆15Updated 4 years ago
• OpenNMT / nmt-wizard
  Launch NMT tasks on the cloud
  ☆13Updated last year
• poletaevvlad / larkeditor
  An editor for EBNF grammars, used by Lark – parsing library for Python
  ☆11Updated 5 years ago
• josemvidal / FMAS
  Fundamentals of Multiagent Systems Textbook
  ☆25Updated 11 years ago
• IntelLabs / ParallelJavaScript
  A collection of example workloads for Parallel JavaScript
  ☆26Updated last year
• tzwenn / MathGenealogy
  Downloading and displaying academic ancestry
  ☆14Updated 8 years ago
• krocki / manifold
  Content Addressable Memory using dimensionality reduction
  ☆12Updated 7 years ago
• jtauber / quantumpy
  basic quantum computing concepts implemented in Python
  ☆181Updated 10 years ago
• HewlettPackard / LSGI
  Large-Scale Graph Inference
  ☆13Updated 6 months ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆27Updated 4 months ago
• sympy / sympy_doc
  SymPy Documentation repository
  ☆34Updated this week
• JensNevens / Prolog-Scheduling-Problem
  A Scheduling Problem in Prolog
  ☆12Updated 8 years ago
• blexim / synth
  Program synthesis
  ☆12Updated 8 years ago
• grammarly / gr-parseval
  Implementation of different variants of Parseval metric
  ☆15Updated 9 years ago
• Duke-PL-Course / Prolog
  Example Problems and Assignments for Prolog
  ☆34Updated 11 years ago
• gsurma / meta_intelligence
  AI research environment for program generation.
  ☆28Updated last year
• google / fast-simple-lcsk
  Fast and simple algorithms for computing both LCSk and LCSk+
  ☆20Updated 6 years ago
• adamwespiser / deep-learning-koans
  A series of educational Deep Learning Koans, using Julia and Flux.jl
  ☆29Updated 4 years ago
• JohnCremona / eclib
  The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…
  ☆21Updated 2 months ago
• numenta / htmresearch-core
  Numenta's experimental C++ research code. Please see htmresearch for more details.
  ☆25Updated 5 years ago
• talwagner / quadsketch
  Implementation of QuadSketch algorithm
  ☆11Updated last year
• aic-sri-international / aic-praise
  SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)
  ☆12Updated 3 years ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆44Updated last year
• zygmuntz / kaggle-gender
  A Kaggle competition: discriminate gender based on handwriting
  ☆21Updated 10 years ago
• manjunath5496 / 25-Computer-Books
  "AI research can have irreversible repercussions in the life of the human species, so we must tread cautiously." ― Abhijit Naskar
  ☆9Updated 4 years ago