Repositories list

• eo

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

  javalanguageprogramming-language+ 5oopobject-orientedeolangobject-oriented-programmingobject-oriented-language

  Java

  •

  MIT License

  •165•1.3k•66•15•Updated Aug 16, 2025Aug 16, 2025

• eoc

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

  javascriptcommand-linemaven+ 3toolkiteolangjava

  JavaScript

  •

  MIT License

  •33•28•25•15•Updated Aug 16, 2025Aug 16, 2025

• eo-vscode

  Public
  VSCode Extension for the EO Language with a Language Server

  eolangvscode-plugintypescript+ 1vscode

  TypeScript

  •

  MIT License

  •2•7•4•11•Updated Aug 15, 2025Aug 15, 2025

• eo-lsp-server

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

  oopeolanglsp+ 1lsp-server

  TypeScript

  •

  MIT License

  •2•6•6•2•Updated Aug 15, 2025Aug 15, 2025

• aoi

  Public
  Abstract Object inference for EO Programs

  eolang

  Java

  •

  MIT License

  •3•9•8•2•Updated Aug 15, 2025Aug 15, 2025

• lints

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

  javalinterstyle-checker

  Java

  •

  MIT License

  •10•9•72•19•Updated Aug 15, 2025Aug 15, 2025

• opeo-maven-plugin

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

  bytecodecompileroptimization+ 4ooptranspilereolangoptimization-algorithms

  Java

  •

  MIT License

  •3•9•53•10•Updated Aug 15, 2025Aug 15, 2025

• game-of-life

  Public
  Experimental implementation of Conway's Game of Life in C++ and EO

  cppeolang

  C++

  •

  MIT License

  •3•13•4•4•Updated Aug 15, 2025Aug 15, 2025

• jeo-maven-plugin

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

  javabytecodemaven-plugin+ 4code-generationeolangcode-optimizationbytecode-interpreter

  Java

  •

  MIT License

  •5•18•28•5•Updated Aug 15, 2025Aug 15, 2025

• home

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

  libraryrepositoryobjects+ 2eolangobject-oriented-programming

  Rust

  •

  MIT License

  •12•31•6•1•Updated Aug 15, 2025Aug 15, 2025

• try-phi

  Public
  Online interactive parser and translator of EO and 𝜑-calculus

  eolangelm

  Haskell

  •4•14•5•11•Updated Aug 15, 2025Aug 15, 2025

• sodg-maven-plugin

  Public
  XMIR to SODG generator, as a Maven plugin

  Java

  •

  MIT License

  •2•6•9•0•Updated Aug 15, 2025Aug 15, 2025

• eo-http

  Public
  HTTP Request/Response Parsing Objects for EO Programming Language

  httpeolang

  Java

  •

  MIT License

  •3•5•1•10•Updated Aug 14, 2025Aug 14, 2025

• eo-json

  Public
  MIT License

  •3•7•3•6•Updated Aug 14, 2025Aug 14, 2025

• xax

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

  xsltxsljcabi+ 3hamcrest-matchersjavaxml

  Java

  •

  MIT License

  •1•6•1•7•Updated Aug 14, 2025Aug 14, 2025

• dejump

  Public
  Replaces all GOTO objects in EO program with semantically equivalent ones but without GOTO

  eolangjava

  XSLT

  •

  MIT License

  •3•11•10•10•Updated Aug 14, 2025Aug 14, 2025

• speco

  Public
  Object Specialization for EO Programs

  oopeolangspecialization+ 1java

  Java

  •

  MIT License

  •5•7•13•11•Updated Aug 14, 2025Aug 14, 2025

• eo-threads

  Public
  EO Objects for Managing Execution Threads

  oopthreadseolang

  Java

  •

  MIT License

  •5•14•2•9•Updated Aug 14, 2025Aug 14, 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

  javamaven-plugineolang+ 2code-optimizationbytecode-manipulation

  Java

  •

  MIT License

  •2•6•6•4•Updated Aug 14, 2025Aug 14, 2025

• jucs

  Public
  JUnit Classpath Sources: a simple framework for using classpath resources as JUnit sources

  javaunit-testingoop+ 2junit5junit5-extension

  Java

  •

  MIT License

  •1•8•2•2•Updated Aug 13, 2025Aug 13, 2025

• eolang.sty

  Public
  LaTeX package for drawing 𝜑-calculus formulas and SODG graphs

  oopeolanglatex-package+ 3latex-stylesodglatex

  TeX

  •

  MIT License

  •1•10•2•3•Updated Aug 12, 2025Aug 12, 2025

• eo2js

  Public
  EOLANG to JavaScript transpiler and runtime

  javascriptoopeolang

  JavaScript

  •

  MIT License

  •6•10•21•14•Updated Aug 12, 2025Aug 12, 2025

• eo-graphs

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

  cppeolangjava+ 3algorithmgraphgraph-algorithms

  Java

  •

  MIT License

  •5•16•3•3•Updated Aug 12, 2025Aug 12, 2025

• eolang-paper

  Public
  The original paper about EOLANG and phi-calculus

  latexoopoop-principles+ 2eolangresearch-paper

  TeX

  •

  MIT License

  •1•6•1•2•Updated Aug 12, 2025Aug 12, 2025

• reducing-programs-to-objects

  Public
  LaTeX paper on how to reduce programs to EO objects

  latexpaperoop+ 1eolang

  TeX

  •

  MIT License

  •6•14•2•3•Updated Aug 12, 2025Aug 12, 2025

• phino

  Public
  Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions

  haskellcode-analysisformalization+ 4command-line-tooleolangnormalizationphi-calculus

  Haskell

  •2•12•34•1•Updated Aug 12, 2025Aug 12, 2025

• eo-book

  Public
  Book about EO programming language

  latexeolanglatex-book+ 2pdfbook

  TeX

  •

  MIT License

  •4•14•17•2•Updated Aug 12, 2025Aug 12, 2025

• benchmark

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

  benchmarkoptimizationoptimizer+ 2eolangoptimization-algorithms

  Java

  •

  MIT License

  •3•7•1•2•Updated Aug 12, 2025Aug 12, 2025

• proof

  Public
  Proof of 𝜑-calculus confluence

  eolanglean4

  Lean

  •

  MIT License

  •1•7•8•4•Updated Aug 12, 2025Aug 12, 2025

• news.eolang.org

  Public
  Our Official Blog: we write about the development of EOLANG and 𝜑-calculus

  bloglanguageprogramming-language+ 4oopformal-methodseolangjekyll

  HTML

  •

  MIT License

  •7•15•13•4•Updated Aug 12, 2025Aug 12, 2025