LaTeX package for drawing π-calculus formulas and SODG graphs
β11Oct 16, 2026Updated last week
Alternatives and similar repositories for eolang.sty
Users that are interested in eolang.sty are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LaTeX paper on how to reduce programs to EO objectsβ15Updated this week
- Our Official Blog: we write about the development of EOLANG and π-calculusβ16Updated this week
- Experimental implementation of Conway's Game of Life in C++ and EO: works from the command lineβ14Updated this week
- Syntax Highlighting Intellij IDEA Plugin for EO Programming Languageβ18Oct 20, 2026Updated last week
- Replaces all GOTO objects in EO program with semantically equivalent ones but without GOTOβ11Aug 31, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Experimental virtual dataflow machine for EO programs, based on SODGβ12Updated this week
- EO Objects for Manipulating with Lists, Maps, Sets, Stacks, Vectors, etc.β12Aug 7, 2024Updated 2 years ago
- Hamcrest Matchers for EO Programming Languageβ17Jun 27, 2024Updated 2 years ago
- Book about EO programming languageβ14Sep 2, 2025Updated last year
- Experimental Emulator of a Machine that Understands π-calculusβ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
- Abstract Object inference for EO Programsβ12Oct 7, 2026Updated 3 weeks ago
- EO Objects for Manipulations with Stringsβ12Aug 7, 2024Updated 2 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 collection of style checkers for XMIR: they don't predict runtime errors, but prevent compilation mistakesβ14Updated this week
- Ruby object, which you can pass to other objects, where they will use it as a loggerβ12Updated this week
- Experimental Translator of C/C++ Programs to EO Programsβ12Updated this week
- A simple Ruby decorator to make all methods of your object thread-safeβ11Updated this week
- Command-Line Normalizer, Rewriter, and Dataizer of π-Calculus Expressionsβ19Updated this week
- Command Line Tool to Help You Send Newsletters by Emailβ13Updated this week
- Simple Telegram posting Ruby gemβ15Updated this week
- Test Dynamicsβ10Sep 24, 2022Updated 4 years ago
- A few convenient Hamcrest matchers, mostly for XPath vs XHTML and fields in JAXBβ19Updated this week
- 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.
- Login/logout via GitHub OAuth for your Ruby web appβ13Updated this week
- This Maven plugin converts Java Bytecode binary files to EOLANG programs that use the "opcode" atomβ23Updated 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β17Oct 18, 2026Updated last week
- Command Line Style Checker of XML Documents: to make sure they are always formatted nicelyβ31Updated this week
- Proxy of Npm Repositoryβ10May 19, 2021Updated 5 years ago
- File-based Ruby Mutexβ15Aug 11, 2026Updated 2 months ago
- Centralized curated storage of all EO objects together with their unit testsβ35Updated 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.
- A Ruby gem to reserve a random TCP port, with a guarantee that it's not busy at the momentβ17Updated this week
- Spell checking for LaTeX documents with the help of GNU aspellβ18Updated this week
- SLF4J Binding for Apache Mavenβ17Updated this week
- EOLANG to JavaScript transpiler and runtimeβ15Apr 28, 2026Updated 6 months ago
- Online interactive parser and translator of EO and π-calculusβ14Sep 2, 2025Updated last year
- Zold Java APIβ22Oct 19, 2026Updated last week
- GitHub API Server Stub. Fully functional fake version of a GitHub API that supports all the features and works locally, with no connectioβ¦β11Sep 7, 2026Updated last month