Objectionary

All

65 repositories

eo
Public
EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-Calculus
java language programming-language oop object-oriented eolang object-oriented-programming object-oriented-language
Java
•
MIT License
•175•1.3k•75•17•Updated Nov 7, 2025Nov 7, 2025
eoc
Public
Command-line toolkit for parsing, compiling, transpiling, optimizing, linking, dataizing, and running EOLANG programs
javascript java command-line maven toolkit eolang
JavaScript
•
MIT License
•39•30•21•16•Updated Nov 7, 2025Nov 7, 2025
eo2js
Public
EOLANG to JavaScript transpiler and runtime
javascript oop eolang
JavaScript
•
MIT License
•8•10•20•5•Updated Nov 6, 2025Nov 6, 2025
eolang.sty
Public
LaTeX package for drawing 𝜑-calculus formulas and SODG graphs
latex oop eolang latex-package latex-style sodg
TeX
•
MIT License
•1•11•3•1•Updated Nov 6, 2025Nov 6, 2025
phino
Public
Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions
haskell code-analysis formalization command-line-tool eolang normalization phi-calculus
Haskell
•5•13•19•1•Updated Nov 6, 2025Nov 6, 2025
eo-vscode
Public
VSCode Extension for the EO Language with a Language Server
typescript vscode eolang vscode-plugin
TypeScript
•
MIT License
•4•9•4•0•Updated Nov 5, 2025Nov 5, 2025
eo-lsp-server
Public
LSP server for the EOLANG programming language: works with VS Code, Sublime Text, IntelliJ IDEA and other IDEs
oop eolang lsp lsp-server
TypeScript
•
MIT License
•6•6•5•2•Updated Nov 5, 2025Nov 5, 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
java maven-plugin eolang code-optimization bytecode-manipulation
Java
•
MIT License
•3•8•7•4•Updated Nov 5, 2025Nov 5, 2025
jeo-maven-plugin
Public
This Maven plugin converts Java Bytecode binary files to EOLANG programs that use the "opcode" atom
java bytecode maven-plugin code-generation eolang code-optimization bytecode-interpreter
Java
•
MIT License
•6•18•18•5•Updated Nov 4, 2025Nov 4, 2025
reducing-programs-to-objects
Public
LaTeX paper on how to reduce programs to EO objects
latex paper oop eolang
TeX
•
MIT License
•6•14•2•6•Updated Nov 4, 2025Nov 4, 2025
home
Public
Centralized curated storage of all EO objects together with their unit tests
library repository objects eolang object-oriented-programming
Rust
•
MIT License
•12•33•6•4•Updated Nov 4, 2025Nov 4, 2025
proof
Public
Proof of 𝜑-calculus confluence
eolang lean4
Lean
•
MIT License
•1•7•8•6•Updated Nov 4, 2025Nov 4, 2025
phie
Public
Experimental Emulator of a Machine that Understands 𝜑-calculus
rust compiler eolang
Rust
•7•13•5•5•Updated Nov 4, 2025Nov 4, 2025
lints
Public
A collection of style checkers for XMIR: they don't predict runtime errors, but prevent compilation mistakes
java linter style-checker
Java
•
MIT License
•17•9•78•25•Updated Nov 3, 2025Nov 3, 2025
xax
Public
Java library for testing XSL stylesheets with XML samples and XPath assertions
java xml xslt xsl jcabi hamcrest-matchers
Java
•
MIT License
•1•6•1•10•Updated Nov 3, 2025Nov 3, 2025
sodg.rs
Public
Rust implementation of Surging Object DiGraph (SODG): it automatically collects garbage removing unnecessary nodes
rust oop rust-lang rust-library eolang rust-crate
Rust
•
MIT License
•8•16•9•12•Updated Nov 3, 2025Nov 3, 2025
eo.tmbundle
Public
TextMate Plugin for Syntax Highlighting in EO Programs
textmate eolang textmate-bundle textmate-grammar textmate-language
MIT License
•2•5•1•0•Updated Nov 3, 2025Nov 3, 2025
eo-vim
Public
Syntax Highlighting Vim Plugin for EO Programming Language
vim vim-plugin eolang vimscript
Vim Script
•
MIT License
•2•9•2•2•Updated Nov 2, 2025Nov 2, 2025
aoi
Public
Abstract Object inference for EO Programs
eolang
Java
•
MIT License
•3•10•8•1•Updated Nov 1, 2025Nov 1, 2025
sodg-maven-plugin
Public
XMIR to SODG generator, as a Maven plugin
Java
•
MIT License
•2•6•9•1•Updated Oct 31, 2025Oct 31, 2025
eo-json
Public
MIT License
•3•7•3•8•Updated Oct 31, 2025Oct 31, 2025
eo-intellij-plugin
Public
Syntax Highlighting Intellij IDEA Plugin for EO Programming Language
java parser intellij oop intellij-plugin eolang
Java
•
MIT License
•7•18•17•14•Updated Oct 31, 2025Oct 31, 2025
eo-graphs
Public
A few classic graph algorithms implemented in C++, Java, and EOLANG
java algorithm cpp graph graph-algorithms eolang
Java
•
MIT License
•5•16•3•4•Updated Oct 31, 2025Oct 31, 2025
jucs
Public
JUnit Classpath Sources: a simple framework for using classpath resources as JUnit sources
java unit-testing oop junit5 junit5-extension
Java
•
MIT License
•1•9•2•5•Updated Oct 31, 2025Oct 31, 2025
news.eolang.org
Public
Our Official Blog: we write about the development of EOLANG and 𝜑-calculus
blog jekyll language programming-language oop formal-methods eolang
HTML
•
MIT License
•8•15•13•1•Updated Oct 31, 2025Oct 31, 2025
game-of-life
Public
Experimental implementation of Conway's Game of Life in C++ and EO
cpp eolang
C++
•
MIT License
•3•14•4•3•Updated Oct 31, 2025Oct 31, 2025
eolang-paper
Public
The Original Paper on the EO Programming Language and the Underlying 𝜑-Calculus
latex oop oop-principles eolang research-paper
TeX
•
MIT License
•1•7•3•2•Updated Oct 31, 2025Oct 31, 2025
on-the-origin-of-objects
Public
On the Origin of Objects by Means of Careful Selection, LaTeX paper
latex paper oop oop-principles eolang latex-paper
TeX
•
MIT License
•7•12•2•3•Updated Oct 31, 2025Oct 31, 2025
eo-http
Public
HTTP Request/Response Parsing Objects for EO Programming Language
http eolang
Java
•
MIT License
•3•5•1•10•Updated Oct 31, 2025Oct 31, 2025
opeo-maven-plugin
Public
Maven plugin to remove Bytecode opcodes from XMIR as much as possible
bytecode compiler optimization oop transpiler eolang optimization-algorithms
Java
•
MIT License
•3•9•53•10•Updated Oct 31, 2025Oct 31, 2025