Skip to content
@objectionary

Objectionary

EO Programming Language, Its Objects, and 𝜑-calculus
README.md

License Stars Telegram

Here are the components around EO programming language and the 𝜑-calculus it's based on, including:

  • /eo is a canonical transpiler of EO programs to Java (start here!)
  • /sandbox is where you can play with a ready-to-use simple EO program
  • /eo-intellij-plugin is EO plugin for JetBrains IDEs
  • /eoc is a command line toolkit for compiling and running EO programs
  • /home is where we keep EO sources of all "canonical" objects
  • /try-phi is an online interpreter of 𝜑-calculus expressions
  • /eo-vscode is EO plugin for Visual Studio

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 don't have 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.1k 146

  2. home home Public

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

    Python 30 10

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

    Syntax Highlighting Intellij IDEA Plugin for EO Programming Language

    Java 14 4

  4. eoc eoc Public

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

    JavaScript 19 22

Repositories

Showing 10 of 61 repositories
  • eo Public

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

    objectionary/eo’s past year of commit activity
    Java 1,102 MIT 146 95 (40 issues need help) 13 Updated Jan 23, 2025
  • 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 19 MIT 22 15 (10 issues need help) 13 Updated Jan 23, 2025
  • eo-vscode Public

    VSCode Extension for the EO Language with a Language Server

    objectionary/eo-vscode’s past year of commit activity
    TypeScript 6 MIT 0 3 10 Updated Jan 23, 2025
  • aoi Public

    Abstract Object inference for EO Programs

    objectionary/aoi’s past year of commit activity
    Kotlin 8 MIT 1 8 7 Updated Jan 23, 2025
  • 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 5 MIT 4 45 (30 issues need help) 8 Updated Jan 23, 2025
  • 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 11 MIT 4 27 (2 issues need help) 4 Updated Jan 23, 2025
  • benchmark Public

    Java compilation and optimization benchmark that integrates EO, JEO, and Normalizer

    objectionary/benchmark’s past year of commit activity
    Java 4 MIT 2 2 2 Updated Jan 23, 2025
  • 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 3 MIT 0 3 (1 issue needs help) 2 Updated Jan 23, 2025
  • proof Public

    Proof of 𝜑-calculus confluence

    objectionary/proof’s past year of commit activity
    Lean 5 0 8 2 Updated Jan 23, 2025
  • home Public

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

    objectionary/home’s past year of commit activity
    Python 30 MIT 10 4 0 Updated Jan 23, 2025
View all repositories

Top languages

Loading…
Developer Program Member