Repositories list

• eo-vscode

  Public
  VSCode Extension for the EO Language with a Language Server

  typescriptvscodeeolang+ 1

  typescriptvscodeeolangvscode-plugin

  TypeScript

  •

  MIT License

  •66 forks in objectionary/eo-vscode•99 stars in objectionary/eo-vscode•99 issues in objectionary/eo-vscode•44 pull requests in objectionary/eo-vscode•Updated Nov 12, 2026Nov 12, 2026

• wpa

  Public
  Whole Program Analysis (WPA) linters for EO code

  javastatic-analysiscode-analysis+ 2

  javastatic-analysiscode-analysiseolangcodeanalysis

  Java

  •

  MIT License

  •33 forks in objectionary/wpa•44 stars in objectionary/wpa•99 issues in objectionary/wpa•55 pull requests in objectionary/wpa•Updated Nov 11, 2026Nov 11, 2026

• eo

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

  javalanguageprogramming-language+ 5

  javalanguageprogramming-languageoopobject-orientedeolangobject-oriented-programmingobject-oriented-language

  Java

  •

  MIT License

  •274274 forks in objectionary/eo•1.5k1.5k stars in objectionary/eo•103103 issues in objectionary/eo•8484 pull requests in objectionary/eo•Updated Nov 11, 2026Nov 11, 2026

• eo-graphs

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

  javaalgorithmcpp+ 3

  javaalgorithmcppgraphgraph-algorithmseolang

  Java

  •

  MIT License

  •88 forks in objectionary/eo-graphs•1717 stars in objectionary/eo-graphs•3030 issues in objectionary/eo-graphs•33 pull requests in objectionary/eo-graphs•Updated Nov 11, 2026Nov 11, 2026

• sodg-maven-plugin

  Public
  XMIR to SODG generator, as a Maven plugin

  Java

  •

  MIT License

  •88 forks in objectionary/sodg-maven-plugin•77 stars in objectionary/sodg-maven-plugin•1717 issues in objectionary/sodg-maven-plugin•1515 pull requests in objectionary/sodg-maven-plugin•Updated Nov 11, 2026Nov 11, 2026

• phino

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

  haskellcode-analysisformalization+ 4

  haskellcode-analysisformalizationcommand-line-tooleolangnormalizationphi-calculus

  Haskell

  •1717 forks in objectionary/phino•1919 stars in objectionary/phino•5252 issues in objectionary/phino•5050 pull requests in objectionary/phino•Updated Nov 11, 2026Nov 11, 2026

• eoc

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

  javascriptjavacommand-line+ 3

  javascriptjavacommand-linemaventoolkiteolang

  JavaScript

  •

  MIT License

  •6666 forks in objectionary/eoc•3636 stars in objectionary/eoc•4747 issues in objectionary/eoc•5252 pull requests in objectionary/eoc•Updated Nov 11, 2026Nov 11, 2026

• lints

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

  javalinterstyle-checker

  javalinterstyle-checker

  Java

  •

  MIT License

  •4141 forks in objectionary/lints•1414 stars in objectionary/lints•6363 issues in objectionary/lints•2222 pull requests in objectionary/lints•Updated Nov 11, 2026Nov 11, 2026

• eo-lsp-server

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

  oopeolanglsp+ 1

  oopeolanglsplsp-server

  TypeScript

  •

  MIT License

  •1414 forks in objectionary/eo-lsp-server•66 stars in objectionary/eo-lsp-server•4444 issues in objectionary/eo-lsp-server•88 pull requests in objectionary/eo-lsp-server•Updated Nov 11, 2026Nov 11, 2026

• jeo-maven-plugin

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

  javabytecodemaven-plugin+ 4

  javabytecodemaven-plugincode-generationeolangcode-optimizationbytecode-interpreter

  Java

  •

  MIT License

  •2222 forks in objectionary/jeo-maven-plugin•2323 stars in objectionary/jeo-maven-plugin•6464 issues in objectionary/jeo-maven-plugin•3838 pull requests in objectionary/jeo-maven-plugin•Updated Nov 11, 2026Nov 11, 2026

• xax

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

  javaxmlxslt+ 3

  javaxmlxsltxsljcabihamcrest-matchers

  Java

  •

  MIT License

  •33 forks in objectionary/xax•1010 stars in objectionary/xax•1010 issues in objectionary/xax•22 pull requests in objectionary/xax•Updated Nov 11, 2026Nov 11, 2026

• eolang-paper

  Public
  EO Language Specification and Reference

  eolangeo

  eolangeo

  TeX

  •

  MIT License

  •00 forks in objectionary/eolang-paper•22 stars in objectionary/eolang-paper•55 issues in objectionary/eolang-paper•44 pull requests in objectionary/eolang-paper•Updated Nov 11, 2026Nov 11, 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

  javamaven-plugineolang+ 2

  javamaven-plugineolangcode-optimizationbytecode-manipulation

  Java

  •

  MIT License

  •1919 forks in objectionary/hone-maven-plugin•1515 stars in objectionary/hone-maven-plugin•4343 issues in objectionary/hone-maven-plugin•2222 pull requests in objectionary/hone-maven-plugin•Updated Nov 11, 2026Nov 11, 2026

• game-of-life

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

  experimentalgame-of-lifecpp+ 2

  experimentalgame-of-lifecppoopeolang

  C++

  •

  MIT License

  •22 forks in objectionary/game-of-life•1414 stars in objectionary/game-of-life•1212 issues in objectionary/game-of-life•00 pull requests in objectionary/game-of-life•Updated Nov 11, 2026Nov 11, 2026

• jucs

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

  javaunit-testingoop+ 2

  javaunit-testingoopjunit5junit5-extension

  Java

  •

  MIT License

  •66 forks in objectionary/jucs•1010 stars in objectionary/jucs•1111 issues in objectionary/jucs•00 pull requests in objectionary/jucs•Updated Nov 11, 2026Nov 11, 2026

• eolang.sty

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

  latexoopeolang+ 3

  latexoopeolanglatex-packagelatex-stylesodg

  TeX

  •

  MIT License

  •22 forks in objectionary/eolang.sty•1111 stars in objectionary/eolang.sty•1212 issues in objectionary/eolang.sty•00 pull requests in objectionary/eolang.sty•Updated Nov 11, 2026Nov 11, 2026

• home

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

  libraryrepositoryobjects+ 2

  libraryrepositoryobjectseolangobject-oriented-programming

  Shell

  •

  MIT License

  •1212 forks in objectionary/home•3535 stars in objectionary/home•99 issues in objectionary/home•33 pull requests in objectionary/home•Updated Nov 11, 2026Nov 11, 2026

• news.eolang.org

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

  blogjekylllanguage+ 4

  blogjekylllanguageprogramming-languageoopformal-methodseolang

  HTML

  •

  MIT License

  •99 forks in objectionary/news.eolang.org•1616 stars in objectionary/news.eolang.org•66 issues in objectionary/news.eolang.org•11 pull request in objectionary/news.eolang.org•Updated Nov 11, 2026Nov 11, 2026

• calculus-paper

  Public
  The original paper introducing the 𝜑-calculus, on which the EO programming language is based

  latexoopoop-principles+ 2

  latexoopoop-principleseolangresearch-paper

  TeX

  •

  MIT License

  •44 forks in objectionary/calculus-paper•1111 stars in objectionary/calculus-paper•44 issues in objectionary/calculus-paper•22 pull requests in objectionary/calculus-paper•Updated Nov 11, 2026Nov 11, 2026

• reducing-programs-to-objects

  Public
  LaTeX paper on how to reduce programs to EO objects

  latexpaperoop+ 1

  latexpaperoopeolang

  TeX

  •

  MIT License

  •66 forks in objectionary/reducing-programs-to-objects•1515 stars in objectionary/reducing-programs-to-objects•33 issues in objectionary/reducing-programs-to-objects•11 pull request in objectionary/reducing-programs-to-objects•Updated Nov 11, 2026Nov 11, 2026

• sabj25

  Public
  Full-coverage JMH benchmarks for the Java 25 Stream API, run across six JDK vendors

  javabenchmarkstream+ 1

  javabenchmarkstreamstream-processing

  Java

  •

  MIT License

  •00 forks in objectionary/sabj25•55 stars in objectionary/sabj25•33 issues in objectionary/sabj25•22 pull requests in objectionary/sabj25•Updated Nov 11, 2026Nov 11, 2026

• eo-intellij-plugin

  Public
  Syntax Highlighting Intellij IDEA Plugin for EO Programming Language

  javaparserintellij+ 3

  javaparserintellijoopintellij-plugineolang

  Java

  •

  MIT License

  •1111 forks in objectionary/eo-intellij-plugin•1818 stars in objectionary/eo-intellij-plugin•2222 issues in objectionary/eo-intellij-plugin•00 pull requests in objectionary/eo-intellij-plugin•Updated Nov 11, 2026Nov 11, 2026

• eo-vim

  Public
  Syntax Highlighting Vim Plugin for EO Programming Language

  vimvim-plugineolang+ 1

  vimvim-plugineolangvimscript

  Vim Script

  •

  MIT License

  •11 fork in objectionary/eo-vim•99 stars in objectionary/eo-vim•88 issues in objectionary/eo-vim•33 pull requests in objectionary/eo-vim•Updated Nov 11, 2026Nov 11, 2026

• eo.tmbundle

  Public
  TextMate Plugin for Syntax Highlighting in EO Programs

  textmateeolangtextmate-bundle+ 2

  textmateeolangtextmate-bundletextmate-grammartextmate-language

  MIT License

  •11 fork in objectionary/eo.tmbundle•55 stars in objectionary/eo.tmbundle•88 issues in objectionary/eo.tmbundle•33 pull requests in objectionary/eo.tmbundle•Updated Nov 11, 2026Nov 11, 2026

• on-the-origin-of-objects

  Public
  On the Origin of Objects by Means of Careful Selection, LaTeX paper

  latexpaperoop+ 3

  latexpaperoopoop-principleseolanglatex-paper

  TeX

  •

  MIT License

  •77 forks in objectionary/on-the-origin-of-objects•1212 stars in objectionary/on-the-origin-of-objects•44 issues in objectionary/on-the-origin-of-objects•11 pull request in objectionary/on-the-origin-of-objects•Updated Nov 11, 2026Nov 11, 2026

• eo-time

  Public archive
  EO Objects for Date and Time Parsing and Printing

  datetimeoopeolang

  datetimeoopeolang

  22 forks in objectionary/eo-time•88 stars in objectionary/eo-time•44 issues in objectionary/eo-time•44 pull requests in objectionary/eo-time•Updated Nov 7, 2026Nov 7, 2026

• speedment

  Public archive
  Speedment is a Stream ORM Java Toolkit and Runtime

  Java

  •

  Apache License 2.0

  •230230 forks in objectionary/speedment•00 stars in objectionary/speedment•00 issues in objectionary/speedment•2020 pull requests in objectionary/speedment•Updated Nov 7, 2026Nov 7, 2026

• proof

  Public
  Automated proof of 𝜑-calculus confluence, written in Lean4

  calculusoopproof+ 5

  calculusoopproofeolanglean4automated-proofphi-calculusautomated-proving

  Lean

  •

  MIT License

  •22 forks in objectionary/proof•88 stars in objectionary/proof•44 issues in objectionary/proof•00 pull requests in objectionary/proof•Updated Nov 6, 2026Nov 6, 2026

• objectionary.github.io

  Public
  Our public web site

  static-siteeolang

  static-siteeolang

  HTML

  •

  MIT License

  •22 forks in objectionary/objectionary.github.io•44 stars in objectionary/objectionary.github.io•11 issue in objectionary/objectionary.github.io•00 pull requests in objectionary/objectionary.github.io•Updated Nov 6, 2026Nov 6, 2026

• .github

  Public
  Meta repository with information about us

  11 fork in objectionary/.github•33 stars in objectionary/.github•00 issues in objectionary/.github•00 pull requests in objectionary/.github•Updated Nov 5, 2026Nov 5, 2026