A tool for editing files according to the rules of a provided Turing Machine
☆31Aug 6, 2025Updated last year
Alternatives and similar repositories for ted
Users that are interested in ted are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Aug 13, 2026Updated 2 months ago
- ☆33Oct 19, 2026Updated 2 weeks ago
- Math textbook. Trial for social textbook writing.☆21Feb 8, 2015Updated 11 years ago
- ☆16Dec 20, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- TEIガイドラインへの準拠の仕方を日本語で解説します。☆12Feb 15, 2021Updated 5 years ago
- Emacs Lisp Reference Manual 日本語版☆11Apr 25, 2015Updated 11 years ago
- Toy distributed PostgreSQL by implementing SQL over KV☆12Jan 14, 2026Updated 9 months ago
- A collection of type-based library search algorithms☆12Sep 8, 2026Updated last month
- For Publishing ScalaJS Package to npm☆14Sep 25, 2026Updated last month
- An example of how to implement a basic notepad with wxHaskell☆12Jul 19, 2010Updated 16 years ago
- SATySFi parser writtern in Rust.☆14Apr 14, 2022Updated 4 years ago
- Support for linguistics-style examples in Org mode☆10Dec 9, 2022Updated 3 years ago
- A class file easy to customize with SATySFi☆11May 22, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A wrapper Vim plugin for OCamlSpotter written in pure Vim Script.☆12May 2, 2017Updated 9 years ago
- GitHub Action for the OCaml programming language☆18May 25, 2021Updated 5 years ago
- Citation in SATySFi like BibTeX☆12Oct 5, 2019Updated 7 years ago
- Python data types for the Apache Kafka® Protocol.☆25Updated this week
- The io_uring library for Mojo☆24Mar 9, 2025Updated last year
- Terminal Filter Framework: Provides basic interfaces for terminal I/O filter applications, and exports some default implementations such …☆19Apr 25, 2014Updated 12 years ago
- A CLI that shows attribute-level diffs between Terraform modules with clean, diff-like output☆24Oct 24, 2026Updated last week
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- ☆12Jan 2, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Distributed Synchronization Library for Golang Built On Top of Object Storage.☆14Apr 18, 2024Updated 2 years ago
- An Emacs major mode for SATySFi☆18Aug 10, 2024Updated 2 years ago
- おれの正規表現エンジン oregexp☆11Nov 21, 2023Updated 2 years ago
- Program analysis playground for a simple, imperative language☆38Jun 6, 2022Updated 4 years ago
- ☆13Apr 23, 2021Updated 5 years ago
- a basic net/http rate limiter middleware☆13Sep 24, 2024Updated 2 years ago
- 2つのPNGファイルを copy /b image1.png+image2.png combined_image.png として結合し、1枚目の画像にマウスカーソルを合わせると、2枚目の画像の値を参照して表示します。☆10Dec 22, 2024Updated last year
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12May 12, 2020Updated 6 years ago
- Find mutex deadlocks in Go code.☆37Feb 10, 2026Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- rp is a reverse proxy package for multiple domains and multiple upstreams.☆13Sep 9, 2024Updated 2 years ago
- A mdbook backend for generating SATySFi documents.☆19Feb 5, 2023Updated 3 years ago
- An TUI based elf analyzer☆10Apr 2, 2021Updated 5 years ago
- Go bindings for libkrun☆57Feb 10, 2026Updated 8 months ago
- A tries module for Redis☆16Jun 6, 2018Updated 8 years ago
- Node.js bindings for Tantivy. Provides indexing, querying, and advanced search features with TypeScript support.☆15Updated this week
- Identity Server that supports SCIM, LDAP, SAMLv2 and OpenIDConnect☆11Oct 5, 2022Updated 4 years ago