Search Results for "turing"
Sort By:
Showing 103 open source projects for "turing"
View related business solutions-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
the-turing-way
Book repository for The Turing Way
A community‑led open handbook and living documentation project from the Alan Turing Institute, providing best practices and open guidance for reproducible, ethical, collaborative data science and research. -
2
Turing.jl
Bayesian inference with probabilistic programming
Bayesian inference with probabilistic programming. -
3
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. -
4
Turing Machine gul
Turing Machine simulator,
This is a simple Turing Machine simulator, based in Busy Beaver Turing Machine model. Implemented in Squeak 6.0 programming language. Destined to developers interested in the theme. -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
Autograd
Efficiently computes derivatives of numpy code
Autograd can automatically differentiate native Python and Numpy code. It can handle a large subset of Python's features, including loops, ifs, recursion and closures, and it can even take derivatives of derivatives of derivatives. It supports reverse-mode differentiation (a.k.a. backpropagation), which means it can efficiently take gradients of scalar-valued functions with respect to array-valued arguments, as well as forward-mode differentiation, and the two can be composed arbitrarily.... -
6
WeAct Studio System Monitor
Open source system monitor
Open source system monitor,photo album https://github.com/WeActStudio/WeActStudio.SystemMonitor, Modified from https://github.com/mathoudebine/turing-smart-screen-python. Only Support WeAct Stduio Display Module. -
7
pyexpander
A powerful macro processor based on python
Pyexpander is a powerful macro processor based on python. Instead of simple macro replacement it offers evaluation of arbitrary python expressions and execution of python code. Pyexpander is Turing Complete. -
8
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... -
9
nars2000
NARS2000: An Experimental APL Interpreter
APL is an arrary-oriented language initially conceived in the 1960s by Kenneth E. Iverson, IBM Fellow and 1979 ACM Turing Award recipient. It is ideally suited to computer programming because it subsumes the tedious aspects of the job allowing the programmer to concentrate on the heart of the project. NARS2000 is a Free Open Source implementation of APL. For more details on this project, visit the NARS2000.org website. -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
10
Aurae
Distributed systems runtime daemon written in Rust
Aurae is on a mission to be the most loved and effective way of managing workloads on a node. Our hope is that by bringing a better set of controls to a node, we can unlock brilliant higher-order distributed systems in the future. Aurae deploys a memory-safe 1 runtime daemon, process manager, and PID-1 initialization system to remotely schedule processes, containers, and virtual machines as well as set node configurations (e.g., networking storage). Through system proportioning and... -
11
Soss
Probabilistic programming via source rewriting
Soss is a library for probabilistic programming. Soss and DynamicPPL are both maturing and becoming more complete, so the above will change over time. It's also worth noting that we (the Turing team and I) hope to move toward a natural way of using these systems together to arrive at the best of both. -
12
Not Another Markup Language
Convert Kubernetes YAML to Golang
NAML is a Go library and command line tool that can be used as a framework to develop and deploy Kubernetes applications. Kubernetes applications are complicated, so let's use a proper Turing complete language to reason about them. -
13
WaykiChain
Public Blockchain as a Decentralized Finance Infrastructure Service
WaykiChain is a high-performance, Turing-complete blockchain platform optimized for decentralized applications and smart contracts. It offers a delegated proof-of-stake (DPoS) consensus mechanism for faster transactions and energy efficiency, and it includes support for DeFi, stablecoins, and governance tools. Designed for commercial-grade use, WaykiChain enables developers to build scalable dApps while offering low-latency transaction processing and customizable consensus rules. ... -
14
Arduino IO Simulator Drag & Draw
Simulate your IO with the Arduino Simulator
You bought an Arduino, What now? This Arduino Simulator is different than all the other simulators. If you don’t have components like sensors, Leds..., then this program will simulate the components for you. You need a real Arduino board for testing your programs with your computer. You can drag and drop the components in a worksheet and you can draw everything you want around it. It is also possible to load a background into the worksheet. You can also combine simulated... -
15
XWizard
XWizard Online Informatics Toolbox
XWizard is a free (web) tool for the automatic visualization, manipulation and PDF generation of many types of objects from theoretical computer science (such as Turing machines, push-down and finite automata, Chomsky grammars etc.). A broad range of algorithms can be applied to the objects, producing intuitive and customizable views. XWizard is well-suited for students’ self-studies, and it is powerfull in aiding teachers at the creation of course material such as exercises (the X in XWizard stands for “eXercise” – and also for “anything”). -
16
HMMBase.jl
Hidden Markov Models for Julia
HMMBase is not maintained anymore. It will keep being available as a Julia package but we encourage existing and new users to migrate to HiddenMarkovModels.jl which offers a similar interface. For more information see HiddenMarkovModels.jl: when did HMMs get so fast?. HMMBase provides a lightweight and efficient abstraction for hidden Markov models in Julia. Most HMMs libraries only support discrete (e.g. categorical) or Normal distributions. In contrast HMMBase builds upon Distributions.jl... -
17
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. -
18
OpenSeq2Seq
Toolkit for efficient experimentation with Speech Recognition
...It supports multi-GPU and multi-node data-parallel training, and integrates with Horovod to scale out across large GPU clusters. Mixed-precision support (float16) is optimized for NVIDIA Volta and Turing GPUs, allowing significant speedups and memory savings without sacrificing model quality. The project comes with configuration-driven training scripts, documentation, and examples that demonstrate how to set up pipelines for tasks. -
19
Xidel
Command line tool to download and extract data from HTML/XML pages
Xidel is a command line tool to download and extract data from HTML/XML pages as well as JSON APIs. -
20
turing-s-machine
Attempt to make a Turing's machine emulator
-
21
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. -
22
AutoSim
A free automata simulator that simulates DFA/NFA/DPDA/NPDA/STM
...With AutoSim, you can not only determine the final state or stack/tape contents, you can also trace through the execution states as well, from the initial to the final states. The latest version of AutoSim is 1.0, and it currently supports DFAs, NFAs, DPDAs, NPDAs, as well as Standard Turing Machines. -
23
Speakable Programming for Every Language
Your language to speak with all.
This project has the language data for spel, the main new codebase is at: https://gitlab.com/liberit/pyac A computer programming language using human language syntax for human-to-human and human-to-computer communication with high precision, supporting many languages. Currently has alpha prototype support for analytic versions of the UN languages English, Mandarin Chinese, Spanish, Arabic, Russian... -
24
-
25
Huffman codes on a Turing Machine
Computing Huffman codes on a Turing Machine
Computing Huffman codes on a Turing Machine
