Search Results for "turing"
Sort By:
Showing 75 open source projects for "turing"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
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
DLSSG for SM86
Here is a dlssg for RTX30 Series GPU
DLSSG for SM86 is a Windows proxy that enables NVIDIA DLSS Frame Generation on RTX 30-series Ampere and RTX 20-series Turing GPUs. It works with Direct3D 12 games by loading a proxy DLL beside the rendering executable. The package embeds a matched DLSS-G runtime and custom GPU kernels rather than requiring users to align separate runtime files. It supports multiple generated frames per rendered frame, including higher multipliers when the game’s own plugin permits them. -
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.
-
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
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”). -
8
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. -
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. -
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
10
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... -
11
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... -
12
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. -
13
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. -
14
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. ... -
15
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... -
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
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. -
18
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. -
19
turing-s-machine
Attempt to make a Turing's machine emulator
-
20
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. -
21
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. -
22
-
23
Huffman codes on a Turing Machine
Computing Huffman codes on a Turing Machine
Computing Huffman codes on a Turing Machine -
24
Fibonacci numbers on a Turing Machine
Computing Fibonacci numbers on a Turing Machine
Computing Fibonacci numbers on a Turing Machine https://arxiv.org/abs/cs/0601050 -
25
CQU
Decision solver for Counting Quantifiers over Unary Predicates
...The implemented method employs dual Simplex Algorithm with Column Generation. At each iteration, a SAT instance is generated and a SAT Solver (minisat) decides its satisfiability. Details about CQUSAT, its normal form and this turing reduction can be found in the paper "CQUSAT.pdf" that comes with this package. For more information, see the README file.
