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 Telegram chat: @eolang_org.

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 934 122

  2. home home Public

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

    Shell 28 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 16 12

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 934 MIT 122 75 (13 issues need help) 12 Updated Jun 26, 2024
  • try-phi Public

    Online interactive parser and translator of EO and 𝜑-calculus

    objectionary/try-phi’s past year of commit activity
    Haskell 13 3 5 11 Updated Jun 26, 2024
  • opeo-maven-plugin Public

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

    objectionary/opeo-maven-plugin’s past year of commit activity
    Java 6 MIT 1 48 6 Updated Jun 25, 2024
  • eo2js Public

    EOLANG to JavaScript transpiler and runtime

    objectionary/eo2js’s past year of commit activity
    JavaScript 6 MIT 1 15 (5 issues need help) 1 Updated Jun 25, 2024
  • 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 16 MIT 12 15 (6 issues need help) 7 Updated Jun 25, 2024
  • ineo-maven-plugin Public

    Maven plugin that inlines and specializes objects in EO programs

    objectionary/ineo-maven-plugin’s past year of commit activity
    Java 4 MIT 2 7 10 Updated Jun 24, 2024
  • normalizer Public

    Command Line Normalizer of 𝜑-calculus Expressions

    objectionary/normalizer’s past year of commit activity
    Haskell 6 2 104 8 Updated Jun 24, 2024
  • 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 Jun 22, 2024
  • proof Public

    Proof of 𝜑-calculus confluence

    objectionary/proof’s past year of commit activity
    Lean 5 0 7 2 Updated Jun 22, 2024
  • reo Public

    Experimental virtual machine for EO programs

    objectionary/reo’s past year of commit activity
    Rust 8 MIT 0 4 8 Updated Jun 22, 2024
View all repositories
Developer Program Member