Search Results for "turing c++"
Sort By:
Showing 27 open source projects for "turing c++"
View related business solutions-
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
Built for growing businesses and well-established enterprises alike, Multiview is a highly scalable and robust ERP.
-
1
Common Expression Language
Fast, portable, non-Turing complete expression evaluation
The Common Expression Language (CEL) is a non-Turing complete language designed for simplicity, speed, safety, and portability. CEL's C-like syntax looks nearly identical to equivalent expressions in C++, Go, Java, and TypeScript. A CEL "program" is a single expression. The examples have been tagged as java, go, and typescript within the markdown to showcase the commonality of the syntax. CEL is ideal for lightweight expression evaluation when a fully sandboxed scripting language is too... -
2
Bayesian Julia
Bayesian Statistics using Julia and Turing
Bayesian statistics is an approach to inferential statistics based on Bayes' theorem, where available knowledge about parameters in a statistical model is updated with the information in observed data. The background knowledge is expressed as a prior distribution and combined with observational data in the form of a likelihood function to determine the posterior distribution. The posterior can also be used for making predictions about future events. Bayesian statistics is a departure from... -
3
baffle
Baffle Is an extension to Brainfuck language, it adds a stack, more
baffle Is an extension to BF language (https://esolangs.org/wiki/brainfuck), which itself in turn is a extension of Turing machine. baffle extends BF by adding a stack, support for procedures, adding more arithmetic instructions, and a register. baffle can run original BF programs, and while it's not the fastest implementation of BF, but it's written in such a way that makes it easier to replace the instruction set, and to write similar languages. Every cell is a single byte... -
4
Turing and Post Machines: C++ Simulators
Turing and Post Machines' C++ Simulators
The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery. -
When it comes to cybersecurity, what your clients don’t know can really hurt them. And believe it or not, keep them safe starts with asking questions. With ConnectWise Identify Assessment, get access to risk assessment backed by the NIST Cybersecurity Framework to uncover risks across your client’s entire business, not just their networks. With a clearly defined, easy-to-read risk report in hand, you can start having meaningful security conversations that can get you on the path of keeping your clients protected from every angle. Choose from two assessment levels to cover every client’s need, from the Essentials to cover the basics to our Comprehensive Assessment to dive deeper to uncover additional risks. Our intuitive heat map shows you your client’s overall risk level and priority to address risks based on probability and financial impact. Each report includes remediation recommendations to help you create a revenue-generating action plan.
-
5
Turing McCabe-Explorer
An exploration utility to view, render and record TMC-patterns
This utility is designed for comfortable and rich control over Turing-McCabe-patterns. It offers realtime exploration using several input parameters, storing and restoring settings, recording videos and taking snapshots of steps as well as rendering patterns in HD. -
6
DataGenerationLanguage
Generates random data for software/hardware testing
DGL (DataGenerationLanguage) is a declarative language based on probabilistic context free grammars. The aim is to enable the generation of test data for software and hardware systems. One provides a context-free grammar describing the data to be generated. These specifications are transformed into C/C++ code which is then compiled to create the data generator. The context-free productions are enhanced in many different user-selectable ways to go beyond what is normally definable using... -
7
fvm2
FVM2 - F Virtual Machine v2
FVM2 is VM for running machines like Markov algorithms, Turing machine and so on. FVM2 has debugger with step mode and breakpoints. Goal of this project is to help students with studying Theory of computation. FVM2 shows how complex code works within a real machine. Currently the only implemented machine is Markov algorithms. -
8
The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.
-
9
This is my implementation of Langton's Ant (a popular turing machine, see http://en.wikipedia.org/wiki/Langton%27s_ant for more information) using C#. Supports multiple ants and threading. Video: http://www.youtube.com/watch?v=Vu9C_1DH31k
-
Track leads, jobs, and tasks from one easy to use software. You can access your information wherever you are, get everyone on the same page, and grow your business.
-
10
Alkindus is an automated solver for short monoalphabetic substitution ciphers without word divisions.
-
11
Slightly Automated Public Turing test. CAPTCHA like authentication but 'Slightly' because you have to add the pictures yourself, and 'Automated' cause they are randomly changed.
-
12
Rmutt is a Turing-complete interpreted language for generating random strings from context-sensitive grammars.
-
13
The `Turing Machine Compiler Collection' (tmcc) contains a virtual machine which emulates a Turing Machine such as an assembler and a C-like compiler which assemble/compile the written code into the delta-notation.
-
14
This project involves implementing simulations of Enigma machines and the Turing bombe on various parallel-computing systems including multi-processor PCs, Linux clusters, and modern enhanced graphic cards.
-
15
Trinkets for hackers. Currently: Rubik cube move series inventor. Go solver for tiny boards. Jokes converted into lateral puzzles. Turing machine enumeration Things coming: sci-fi ideas/stories, chess (endgame), etc... License GPL+GFDL
-
16
This program emulates Turing Machines. They can be deterministic or non-deterministic and must have a single tape. You must enter transitions, an initial status, and characters to the tape.
-
17
Erinaceus is an esoteric two dimensional programming language which uses bitmaps as sourcecode. It is turing complete and able to modify itself. It has been created with the goal to create a language that can be hidden in pictures easily.
-
18
Turing Machine Simulator using Quintuples (5-tuples). Intended for primarily for Computer Science education.
-
19
The Esoteric Project is a project devoted to providing interpreters and/or compilers for every Turing-complete Esoteric Programming Language.
-
20
turt. A language package for creating Turing machines and passing input for processing by the machine described by the language tt.
-
21
This is a little programm I made, when we talked about Turing Machines in school. It is working, but you can hardly use it. Have Fun!
-
22
A language named after Sven (The AI in the book \'The Turing Option\'), intended to simplify work on AI. Will (eventually) include librarys for Neural Networks, expert systems, symbolic logic, and more.
-
23
-
24
A function is computable if it can be computed by a Turing machine. A Turing machine is a very simple machine, but, logically speaking, has all the power of any digital computer. The Turing Optimizer utilizes this to superoptimize code.
-
25
Brain Relax is a translator from the BF (BrainF**k) programming language (a Turing-complete language) to other programming languages (such as C, TCL, PHP, Pascal, Perl, Basic, Python, etc.)