Objectionary

eo

EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-Calculus

home

Centralized curated storage of all EO objects together with their unit tests

eoc

Command-line toolkit for parsing, compiling, transpiling, optimizing, linking, dataizing, and running EOLANG programs

eo-intellij-plugin

Syntax Highlighting Intellij IDEA Plugin for EO Programming Language

jeo-maven-plugin

This Maven plugin converts Java Bytecode binary files to EOLANG programs that use the "opcode" atom

eo-graphs

A few classic graph algorithms implemented in C++, Java, and EOLANG

news.eolang.org

Our Official Blog: we write about the development of EOLANG and 𝜑-calculus

sodg.rs

Rust implementation of Surging Object DiGraph (SODG): it automatically collects garbage removing unnecessary nodes

game-of-life

Experimental implementation of Conway's Game of Life in C++ and EO

reducing-programs-to-objects

LaTeX paper on how to reduce programs to EO objects

phie

Experimental Emulator of a Machine that Understands 𝜑-calculus

phino

Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions

on-the-origin-of-objects

On the Origin of Objects by Means of Careful Selection, LaTeX paper

eolang.sty

LaTeX package for drawing 𝜑-calculus formulas and SODG graphs

aoi

Abstract Object inference for EO Programs

eo2js

EOLANG to JavaScript transpiler and runtime

eo-vim

Syntax Highlighting Vim Plugin for EO Programming Language

eo-vscode

VSCode Extension for the EO Language with a Language Server

jucs

JUnit Classpath Sources: a simple framework for using classpath resources as JUnit sources

lints

A collection of style checkers for XMIR: they don't predict runtime errors, but prevent compilation mistakes

opeo-maven-plugin

Maven plugin to remove Bytecode opcodes from XMIR as much as possible

hone-maven-plugin

Maven plugin that applies a number of optimizations to your Bytecode, using EOLANG and 𝜑-calculus, trying to make it work faster

eo-json

eolang-paper

The Original Paper on the EO Programming Language and the Underlying 𝜑-Calculus

proof

Proof of 𝜑-calculus confluence

eo-lsp-server

LSP server for the EOLANG programming language: works with VS Code, Sublime Text, IntelliJ IDEA and other IDEs

sodg-maven-plugin

XMIR to SODG generator, as a Maven plugin

xax

Java library for testing XSL stylesheets with XML samples and XPath assertions

eo-http

HTTP Request/Response Parsing Objects for EO Programming Language

eo.tmbundle

TextMate Plugin for Syntax Highlighting in EO Programs