Abstract Object inference for EO Programs
☆12Jul 1, 2026Updated 3 weeks ago
Alternatives and similar repositories for aoi
Users that are interested in aoi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Replaces all GOTO objects in EO program with semantically equivalent ones but without GOTO☆11Aug 31, 2025Updated 10 months ago
- Syntax Highlighting Intellij IDEA Plugin for EO Programming Language☆18Jun 19, 2026Updated last month
- Command-line toolkit for parsing, compiling, transpiling, optimizing, linking, dataizing, and running EOLANG programs☆35Updated this week
- Book about EO programming language☆14Sep 2, 2025Updated 10 months ago
- LaTeX Package, a Style Checker of .bib Files: it emits warnings in the TeX log if any issues are found☆17Jul 16, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Hamcrest Matchers for EO Programming Language☆17Jun 27, 2024Updated 2 years ago
- LaTeX paper on how to reduce programs to EO objects☆15Updated this week
- EO Objects for Manipulations with Strings☆12Aug 7, 2024Updated last year
- Rust implementation of Surging Object DiGraph (SODG): it automatically collects garbage removing unnecessary nodes☆19Updated this week
- Experimental virtual dataflow machine for EO programs, based on SODG☆12Updated this week
- A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers☆16Dec 10, 2025Updated 7 months ago
- Text Object Java Objects (TOJOs): an object representation of a multi-line structured text file like CSV, YAML, or JSON☆24Updated this week
- Simple Telegram posting Ruby gem☆15Updated this week
- Object Dependency Inspector☆10Updated this week
- 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.
- Primitive execution of command line commands from Java (mostly useful for tests)☆13Updated this week
- Ruby object, which you can pass to other objects, where they will use it as a logger☆12Updated this week
- Experimental implementation of Conway's Game of Life in C++ and EO: works from the command line☆14Updated this week
- EO Objects for Manipulating with Lists, Maps, Sets, Stacks, Vectors, etc.☆12Aug 7, 2024Updated last year
- A simple Ruby decorator to make all methods of your object thread-safe☆11Updated this week
- Command Line Tool to Help You Send Newsletters by Email☆13Updated this week
- Login/logout via GitHub OAuth for your Ruby web app☆13Updated this week
- Test Dynamics☆10Sep 24, 2022Updated 3 years ago
- Experimental Transpiler of Java Programs to EO Programming Language☆11Jun 23, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- GitHub API Server Stub. Fully functional fake version of a GitHub API that supports all the features and works locally, with no connectio…☆11Jul 13, 2026Updated last week
- File-based Ruby Mutex☆15Updated this week
- Centralized curated storage of all EO objects together with their unit tests☆33Updated this week
- Artipie central files and configurations☆10May 4, 2023Updated 3 years ago
- Ruby Gem to get total memory size in the system☆18Updated this week
- Artipie HTTP Server Based on Vert.x☆12Aug 23, 2022Updated 3 years ago
- Experimental Translator of C/C++ Programs to EO Programs☆12Updated this week
- A few classic graph algorithms implemented in C++, Java, and EOLANG☆16Updated this week
- Proxy of Npm Repository☆10May 19, 2021Updated 5 years 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.
- Zold Java API☆22Updated this week
- A Ruby gem to reserve a random TCP port, with a guarantee that it's not busy at the moment☆17Updated this week
- Primitive CSS classes to replace most commonly used CSS styles☆11Updated this week
- Command Line Style Checker of XML Documents: to make sure they are always formatted nicely☆31Updated this week
- SLF4J Binding for Apache Maven☆16Updated this week
- Jsmith, a random generator of Java programs☆17Updated this week
- Our Official Blog: we write about the development of EOLANG and 𝜑-calculus☆16Updated this week