Abstract Object inference for EO Programs
☆12Oct 7, 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:
- Book about EO programming language☆14Sep 2, 2025Updated last year
- Replaces all GOTO objects in EO program with semantically equivalent ones but without GOTO☆11Aug 31, 2025Updated last year
- Syntax Highlighting Intellij IDEA Plugin for EO Programming Language☆18Oct 26, 2026Updated last week
- LaTeX package for drawing 𝜑-calculus formulas and SODG graphs☆11Updated this week
- Experimental implementation of Conway's Game of Life in C++ and EO: works from the command line☆14Updated this week
- 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.
- LaTeX paper on how to reduce programs to EO objects☆15Updated this week
- Command-line toolkit for parsing, compiling, transpiling, optimizing, linking, dataizing, and running EOLANG programs☆36Updated this week
- Rust implementation of Surging Object DiGraph (SODG): it automatically collects garbage removing unnecessary nodes☆19Updated this week
- Ruby object, which you can pass to other objects, where they will use it as a logger☆12Updated this week
- 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
- Simple Telegram posting Ruby gem☆15Updated this week
- Experimental virtual dataflow machine for EO programs, based on SODG☆12Updated this week
- Test Dynamics☆10Sep 24, 2022Updated 4 years ago
- 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.
- Login/logout via GitHub OAuth for your Ruby web app☆13Updated this week
- Artipie central files and configurations☆10May 4, 2023Updated 3 years ago
- Artipie HTTP Server Based on Vert.x☆12Aug 23, 2022Updated 4 years ago
- A few classic graph algorithms implemented in C++, Java, and EOLANG☆17Updated this week
- LaTeX Package, a Style Checker of .bib Files: it emits warnings in the TeX log if any issues are found☆17Updated this week
- Proxy of Npm Repository☆10May 19, 2021Updated 5 years ago
- EO Objects for Managing Execution Threads☆14Aug 21, 2025Updated last year
- File-based Ruby Mutex☆15Aug 11, 2026Updated 2 months ago
- EO Objects for Manipulations with Strings☆12Aug 7, 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 collection of style checkers for XMIR: they don't predict runtime errors, but prevent compilation mistakes☆14Updated this week
- Hamcrest Matchers for EO Programming Language☆17Jun 27, 2024Updated 2 years ago
- A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers☆16Dec 10, 2025Updated 10 months ago
- Our Official Blog: we write about the development of EOLANG and 𝜑-calculus☆16Updated this week
- SLF4J Binding for Apache Maven☆17Oct 26, 2026Updated last week
- A Ruby gem to reserve a random TCP port, with a guarantee that it's not busy at the moment☆17Updated this week
- Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions☆19Updated this week
- Ruby Gem to get total memory size in the system☆18Updated this week
- Ruby gem to print exception backtrace nicely☆16Updated this week
- 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.
- W3C Validators in Java☆22Oct 26, 2026Updated last week
- Parent POM for all Maven projects☆12Oct 20, 2023Updated 3 years ago
- Zold Java API☆22Updated this week
- Centralized curated storage of all EO objects together with their unit tests☆35Updated this week
- GitHub Action that generates HTML report from a Factbase☆15Updated this week
- This Maven plugin converts Java Bytecode binary files to EOLANG programs that use the "opcode" atom☆23Oct 26, 2026Updated last week
- Abstract Storage for All Artipie Slices☆20Dec 22, 2023Updated 2 years ago