henriqueinonhe/Turing-Machine henriqueinonhe/Turing-Machine

  • Stars
    star
    1
  • Language
    HTML
  • Created over 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
henriqueinonhe/Turing-Machine
github

henriqueinonhe

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Very simple JS implementation of a Turing Machine (as described by Walter Carnielli and Richard Epstein in "Computable Functions, Logic, and the Foundations of Mathematics").

More Repositories

1

promises-training

Practice working with promises through a curated collection of interactive challenges. This repository provides a platform to refine your skills, complete with automated tests to to give you instant feedback and validate your progress.
TypeScript
776
star
2

stack-scoped

Like React Context API but with ordinary functions.
TypeScript
2
star
3

workshop-typescript

TypeScript
2
star
4

note-spitter

C++
1
star
5

logos-proof-assistant

A Typescript/JS framework for building proof assistants. Under development.
TypeScript
1
star
6

parsing-exploration

This a project to explore parsing techniques and related structures like grammars and finite state automata.
TypeScript
1
star
7

eslint-plugin-next-auth0

Rules enforcing best practices when using Auth0's NextJS SDK.
JavaScript
1
star
8

ProofAssistantFramework

A framework for building proof assistants in C++.
C++
1
star
9

frontend-e2e-training

TypeScript
1
star
10

next-isomorphic-cookies

Using cookies in NextJS made easy! Seamless integration with SSG and SSR, while avoiding hydration mismatches.
TypeScript
1
star
11

working-effectively-with-a-headless-cms

TypeScript
1
star
12

promises-training-explanations

JavaScript
1
star