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 254

  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 66

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,474 MIT 254 203 (15 issues need help) 152 Updated Oct 27, 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) 4 Updated Oct 27, 2026
  • phino Public

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

    objectionary/phino's past year of commit activity
    Haskell 19 19 64 (1 issue needs help) 19 Updated Oct 27, 2026
  • hone-maven-plugin Public

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

    objectionary/hone-maven-plugin's past year of commit activity
    Java 15 MIT 19 48 (2 issues need help) 19 Updated Oct 27, 2026
  • eo-graphs Public

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

    objectionary/eo-graphs's past year of commit activity
    Java 17 MIT 7 33 9 Updated Oct 27, 2026
  • game-of-life Public

    Experimental implementation of Conway's Game of Life in C++ and EO: works from the command line

    objectionary/game-of-life's past year of commit activity
    C++ 14 MIT 3 13 (2 issues need help) 8 Updated Oct 27, 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 40 171 (22 issues need help) 37 Updated Oct 27, 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 27, 2026
  • home Public

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

    objectionary/home's past year of commit activity
    Shell 35 MIT 12 9 8 Updated Oct 27, 2026
  • eoc Public

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

    objectionary/eoc's past year of commit activity
    JavaScript 36 MIT 66 65 (7 issues need help) 67 Updated Oct 27, 2026
View all repositories
Developer Program Member