Skip to content
@objectionary

Objectionary

EO Programming Language, Its Objects, and πœ‘-Calculus
README.md

License Zerocracy vitals Stars Telegram

Here are the components around the EO programming language and the πœ‘-calculus it's based on:

  • /eo is the canonical transpiler of EO programs to Java (start here!)
  • /lints is a collection of linting rules for EO
  • /eoc is a command line toolkit for compiling and running EO programs
  • /eo-lsp-server is an LSP server for EO
  • /eo-vscode is an EO plugin for VS Code
  • /eo-intellij-plugin is an EO plugin for JetBrains IDEs
  • /home is where we keep EO sources of all "canonical" objects

Our blog with recent news is here: news.eolang.org. Read our academic papers. Read the book about EO.

Our Twitter tag is #eolang. This is what Hacker News thinks about us.

If you want to discuss, join our Slack workspace and Telegram chat.

By the way, here is the list of things we still haven't had time to implement. You can help!

Pinned Loading

  1. eo eo Public

    EOLANG, an Experimental Pure Object-Oriented Programming Language Based on πœ‘-Calculus

    Java 1.5k 251

  2. home home Public

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

    Shell 35 12

  3. eo-intellij-plugin eo-intellij-plugin Public

    Syntax Highlighting Intellij IDEA Plugin for EO Programming Language

    Java 18 11

  4. eoc eoc Public

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

    JavaScript 36 63

Repositories

Showing 10 of 68 repositories
  • eo Public

    EOLANG, an Experimental Pure Object-Oriented Programming Language Based on πœ‘-Calculus

    objectionary/eo's past year of commit activity
    Java 1,473 MIT 251 201 (15 issues need help) 111 Updated Oct 20, 2026
  • eo-intellij-plugin Public

    Syntax Highlighting Intellij IDEA Plugin for EO Programming Language

    objectionary/eo-intellij-plugin's past year of commit activity
    Java 18 MIT 11 26 (6 issues need help) 10 Updated Oct 20, 2026
  • phino Public

    Command-Line Normalizer, Rewriter, and Dataizer of πœ‘-Calculus Expressions

    objectionary/phino's past year of commit activity
    Haskell 19 14 36 (1 issue needs help) 4 Updated Oct 20, 2026
  • lints Public

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

    objectionary/lints's past year of commit activity
    Java 14 MIT 39 157 (22 issues need help) 36 Updated Oct 20, 2026
  • eo-vscode Public

    VSCode Extension for the EO Language with a Language Server

    objectionary/eo-vscode's past year of commit activity
    TypeScript 9 MIT 5 11 (1 issue needs help) 10 Updated Oct 20, 2026
  • xax Public

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

    objectionary/xax's past year of commit activity
    Java 10 MIT 3 12 3 Updated Oct 20, 2026
  • calculus-paper Public

    The original paper introducing the πœ‘-calculus, on which the EO programming language is based

    objectionary/calculus-paper's past year of commit activity
    TeX 11 MIT 4 3 (1 issue needs help) 3 Updated Oct 20, 2026
  • eo-lsp-server Public

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

    objectionary/eo-lsp-server's past year of commit activity
    TypeScript 6 MIT 13 47 (6 issues need help) 15 Updated Oct 20, 2026
  • jeo-maven-plugin Public

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

    objectionary/jeo-maven-plugin's past year of commit activity
    Java 23 MIT 20 73 (1 issue needs help) 58 Updated Oct 20, 2026
  • proof Public

    Automated proof of πœ‘-calculus confluence, written in Lean4

    objectionary/proof's past year of commit activity
    Lean 8 MIT 2 1 0 Updated Oct 20, 2026
View all repositories
Developer Program Member