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 10

  4. eoc eoc Public

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

    JavaScript 36 64

Repositories

Showing 10 of 68 repositories
  • phino Public

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

    objectionary/phino's past year of commit activity
    Haskell 18 13 39 (2 issues need help) 25 Updated Sep 23, 2026
  • proof Public

    Proof of πœ‘-calculus confluence in Lean4

    objectionary/proof's past year of commit activity
    Lean 8 MIT 2 2 0 Updated Sep 23, 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 17 36 (2 issues need help) 9 Updated Sep 23, 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 132 (22 issues need help) 36 Updated Sep 23, 2026
  • eo Public

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

    objectionary/eo's past year of commit activity
    Java 1,463 MIT 251 145 (20 issues need help) 90 Updated Sep 23, 2026
  • news.eolang.org Public

    Our Official Blog: we write about the development of EOLANG and πœ‘-calculus

    objectionary/news.eolang.org's past year of commit activity
    HTML 16 MIT 8 13 5 Updated Sep 23, 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 10 3 Updated Sep 23, 2026
  • reo Public

    Experimental virtual dataflow machine for EO programs, based on SODG

    objectionary/reo's past year of commit activity
    Rust 12 MIT 7 20 5 Updated Sep 23, 2026
  • phie Public

    Experimental Emulator of a Machine that Understands πœ‘-calculus

    objectionary/phie's past year of commit activity
    Rust 15 9 19 14 Updated Sep 23, 2026
  • sodg.rs Public

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

    objectionary/sodg.rs's past year of commit activity
    Rust 19 MIT 13 14 (1 issue needs help) 13 Updated Sep 23, 2026
View all repositories
Developer Program Member