Owner

objectionary

登录后关注

已索引 30 个仓库 · 在 GitHub 查看

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

Java · 1475 个 star
eoc
Command-line toolkit for parsing, compiling, transpiling, optimizing, linking, dataizing, and running EOLANG programs

JavaScript · 36 个 star
home
Centralized curated storage of all EO objects together with their unit tests

Shell · 35 个 star
jeo-maven-plugin
This Maven plugin converts Java Bytecode binary files to EOLANG programs that use the "opcode" atom

Java · 23 个 star
sodg.rs
Rust implementation of Surging Object DiGraph (SODG): it automatically collects garbage removing unnecessary nodes

Rust · 19 个 star
phino
Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions

Haskell · 19 个 star
eo-intellij-plugin
Syntax Highlighting Intellij IDEA Plugin for EO Programming Language

Java · 18 个 star
eo-graphs
A few classic graph algorithms implemented in C++, Java, and EOLANG

Java · 17 个 star
news.eolang.org
Our Official Blog: we write about the development of EOLANG and 𝜑-calculus

HTML · 16 个 star
phie
Experimental Emulator of a Machine that Understands 𝜑-calculus

Rust · 15 个 star
reducing-programs-to-objects
LaTeX paper on how to reduce programs to EO objects

TeX · 15 个 star
hone-maven-plugin
Maven plugin that applies a number of optimizations to your Bytecode, using EOLANG and 𝜑-calculus, trying to make it work faster

Java · 15 个 star
game-of-life
Experimental implementation of Conway's Game of Life in C++ and EO: works from the command line

C++ · 14 个 star
lints
A collection of style checkers for XMIR: they don't predict runtime errors, but prevent compilation mistakes

Java · 14 个 star
on-the-origin-of-objects
On the Origin of Objects by Means of Careful Selection, LaTeX paper

TeX · 12 个 star
reo
Experimental virtual dataflow machine for EO programs, based on SODG

Rust · 12 个 star
aoi
Abstract Object inference for EO Programs

Java · 12 个 star
eolang.sty
LaTeX package for drawing 𝜑-calculus formulas and SODG graphs

TeX · 11 个 star
calculus-paper
The original paper introducing the 𝜑-calculus, on which the EO programming language is based

TeX · 11 个 star
jucs
JUnit Classpath Sources: a simple framework for using classpath resources as JUnit sources

Java · 10 个 star
还有 10 个仓库在在 GitHub 查看

适合新手全部

未关闭全部

可能已有人在做的 issue 排在最后。全部按时间排序

The inference report marks only two of the three closing quotes of a text block, and nothing on the opener
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 85/100

objectionary/eo#9761 · 2026年10月31日创建

维护者通常 2 天内回复
`number.as-scientific` rounds an exact tie down, while `as-fixed` rounds it up
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 70/100

objectionary/eo#9760 · 2026年10月31日创建

维护者通常 2 天内回复
`i8.div`, `i16.div` and `i32.div` of the smallest value by minus one return the smallest value, while `i64.div` refuses
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 70/100

objectionary/eo#9757 · 2026年10月31日创建

维护者通常 2 天内回复
`Q.a.b.c` is not found when `a.eo` exists and `a/b.eo` does not
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 70/100

objectionary/eo#9756 · 2026年10月31日创建

维护者通常 2 天内回复
`1.as-u64` gives the bits of the double, so `1.as-u64.as-number` is 4.6e18
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 70/100

objectionary/eo#9755 · 2026年10月31日创建

维护者通常 2 天内回复
A byte that is not valid UTF-8 in a source silently becomes `EF-BF-BD`
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 70/100

objectionary/eo#9728 · 2026年10月31日创建

维护者通常 2 天内回复
`true.if` without arguments reports `a🌵14-6` instead of the void `left`
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 70/100

objectionary/eo#9726 · 2026年10月31日创建

维护者通常 2 天内回复
`i64.as-i32` prints 2147483648 as `2.147484e9` in its out-of-bounds message
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 85/100

objectionary/eo#9725 · 2026年10月31日创建

维护者通常 2 天内回复
Printer drops `$` from an unread handle `$.x >> h6`, so its base changes from `ξ.x` to `Φ.x`
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 65/100

objectionary/eo#9722 · 2026年10月31日创建

维护者通常 2 天内回复
Const formation with a pipe inside a star tuple is printed with a dangling `v6_6`
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 65/100

objectionary/eo#9721 · 2026年10月31日创建

维护者通常 2 天内回复
Parser accepts a label on a star tuple element, and then `eo:inference` fails the build on it
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 70/100

objectionary/eo#9719 · 2026年10月31日创建

维护者通常 2 天内回复
`eo:format -Deo.autoFix` swaps two sibling const formations on every run, because printing them never settles
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 70/100

objectionary/eo#9717 · 2026年10月31日创建

维护者通常 2 天内回复
Makefile:4-6: Drop the --blind option and lint the...
未关闭
- 哪里不对？
难度 1/5 1 小时以内新手友好度 85/100

objectionary/game-of-life#74 · 2026年10月31日创建
Dependency Dashboard
未关闭
- 哪里不对？
难度 5/5 一周以上新手友好度 10/100

objectionary/sabj25#38 · 2026年10月31日创建

维护者通常 1 天内回复
PDD check fails on every run because the `g4s8/pdd-action` Docker image no longer builds
未关闭
- 哪里不对？
bug

难度 2/5 1-3 小时新手友好度 85/100

objectionary/eo-http#62 · 1 条评论 · 2026年10月31日创建
xcop rejects license comment formatting in pom.xml on master
未关闭
- 哪里不对？
bug

难度 1/5 1 小时以内新手友好度 85/100

objectionary/aoi#201 · 2026年10月31日创建
`-->` tests pass when their object is dataized without an error
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 70/100

objectionary/eo#9693 · 2026年10月31日创建

维护者通常 2 天内回复
No public way to list the names of the lints, so a caller cannot tell a typo from a real name
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 70/100

objectionary/lints#1614 · 2026年10月30日创建

维护者通常 2 天内回复
The README tells to run `mvn jeo:disassemble`, which fails with `No plugin found for prefix 'jeo'`
未关闭
- 哪里不对？
难度 1/5 1 小时以内新手友好度 82/100

objectionary/jeo-maven-plugin#1938 · 2026年10月30日创建

维护者通常 2 天内回复
The `ms` attribute of every XMIR changes from run to run, so making `time` configurable is not enough for reproducible output
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 68/100

objectionary/jeo-maven-plugin#1937 · 2026年10月30日创建

维护者通常 2 天内回复
Class `modifiers` say `mandated` for every `module-info`, and fields never get a `modifiers` object
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 68/100

objectionary/jeo-maven-plugin#1936 · 2026年10月30日创建

维护者通常 2 天内回复
`Total N files were disassembled` counts the files that were taken from the cache
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 68/100

objectionary/jeo-maven-plugin#1935 · 2026年10月30日创建

维护者通常 2 天内回复
A `sourcesDir` that is a symbolic link is treated as empty, so `disassemble` and `assemble` silently do nothing
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 78/100

objectionary/jeo-maven-plugin#1934 · 2026年10月30日创建

维护者通常 2 天内回复
With `omitListings=false`, a control character in a source file name, a signature or a local variable name crashes `disassemble`
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 77/100

objectionary/jeo-maven-plugin#1933 · 2026年10月30日创建

维护者通常 2 天内回复
`Assembler` still closes the summary stream as a plain statement, the case #1672 fixed only in `Disassembler`
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 85/100

objectionary/jeo-maven-plugin#1932 · 2026年10月30日创建

维护者通常 2 天内回复
`XmlMaxs` serializes its XML node on every read, which makes `assemble` several times slower
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 76/100

objectionary/jeo-maven-plugin#1931 · 2026年10月30日创建

维护者通常 2 天内回复
Class attributes other than `ScalaSig`, `Scala`, `TASTY` and `ModuleTarget` are dropped without a warning, including `ModuleResolution` of incubator modules
未关闭
- 哪里不对？
难度 4/5 3-5 天新手友好度 48/100

objectionary/jeo-maven-plugin#1929 · 2026年10月30日创建

维护者通常 2 天内回复
`prettyXmir`, which is on by default, squeezes the whole `<listing>` into one line
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 78/100

objectionary/jeo-maven-plugin#1928 · 2026年10月30日创建

维护者通常 2 天内回复
A failed `xmirVerification` names no file and dumps the whole XMIR into the Maven log
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 78/100

objectionary/jeo-maven-plugin#1926 · 2026年10月30日创建

维护者通常 2 天内回复
Type annotations inside method bodies (casts, `new`, locals, catch parameters) are lost by a round trip
未关闭
- 哪里不对？
难度 4/5 3-5 天新手友好度 58/100

objectionary/jeo-maven-plugin#1925 · 2026年10月30日创建

维护者通常 2 天内回复
A file in `sourcesDir` that is not a class file either fails with a bare `Index 6 out of bounds for length 6` or is disassembled as if it were one
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 78/100

objectionary/jeo-maven-plugin#1924 · 2026年10月30日创建

维护者通常 2 天内回复
`disassemble` crashes with `StringIndexOutOfBoundsException: Range [0, -6)` when `sourcesDir` points at a single class file
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 68/100

objectionary/jeo-maven-plugin#1923 · 2026年10月30日创建

维护者通常 2 天内回复
Bytecode verification in `assemble` never reads the `StackMapTable`, so a class the JVM rejects passes the build
未关闭
- 哪里不对？
难度 4/5 1-2 天新手友好度 54/100

objectionary/jeo-maven-plugin#1922 · 2026年10月30日创建

维护者通常 2 天内回复
The nested `mvn` calls of `entry.sh` ignore `--offline`, `-s` and `maven.repo.local` of the outer build
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 72/100

objectionary/hone-maven-plugin#1345 · 2026年10月29日创建

维护者通常 9 天内回复
A second `optimize` execution with `<classes>test-classes</classes>` overwrites `classes-before-hone` and `hone-statistics.csv` of the first one
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 72/100

objectionary/hone-maven-plugin#1344 · 2026年10月29日创建

维护者通常 9 天内回复
A class that `grep-in` skips is still reassembled by jeo and loses its type annotations
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 69/100

objectionary/hone-maven-plugin#1343 · 2026年10月29日创建

维护者通常 9 天内回复
The host path is chosen when `phino` matches, but it also needs `mvn` and GNU Parallel, and fails the build when either is missing
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 78/100

objectionary/hone-maven-plugin#1341 · 2026年10月29日创建

维护者通常 9 天内回复
`hone:optimize` fails on all three Java 17 projects of the coverage run, and `hone-it.sh` runs Maven with `-q`, so the log never says why
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 66/100

objectionary/hone-maven-plugin#1340 · 2026年10月29日创建

维护者通常 9 天内回复
The coverage table in `README.md` shows `0` edits and `0s` of hone for seven of ten projects, because `hone-it.sh` skips every Java 8 module
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 75/100

objectionary/hone-maven-plugin#1339 · 2026年10月29日创建

维护者通常 9 天内回复
The skip-if-fresh check in `rewrite.sh` never fires, because jeo writes a new `time` and new label names into every XMIR
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 72/100

objectionary/hone-maven-plugin#1338 · 2026年10月29日创建

维护者通常 9 天内回复
`Sha` of a lone file whose content is `dir\0` equals `Sha` of an empty directory: the fix of #9015 only moves the collision
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 84/100

objectionary/eo#9652 · 2026年10月29日创建

维护者通常 2 天内回复
`non-kebab-name` does not check a formation name bound with `>>`
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 76/100

objectionary/lints#1613 · 2026年10月29日创建

维护者通常 2 天内回复
`compound-name` does not check a name bound with `>>`
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 76/100

objectionary/lints#1612 · 2026年10月29日创建

维护者通常 2 天内回复
A delayed configuration response overwrites diagnostics computed with newer settings
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 76/100

objectionary/eo-lsp-server#510 · 2026年10月28日创建
Document symbol names come from string contents and truncate valid Unicode identifiers
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 82/100

objectionary/eo-lsp-server#509 · 2026年10月28日创建
Grammar URLs containing a query string fail on Windows because the query becomes part of the filename
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 82/100

objectionary/eo-vscode#209 · 2026年10月28日创建

维护者通常 1 天内回复
Document symbols omit every descendant below a nested object
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 82/100

objectionary/eo-lsp-server#508 · 2026年10月28日创建
Lexer recognition errors are discarded before diagnostics are published
未关闭
- 哪里不对？
难度 3/5 1-2 天新手友好度 72/100

objectionary/eo-lsp-server#507 · 2026年10月28日创建
`OyRemote` asks `api.github.com` without a token, so `fast` fails on the anonymous rate limit
可能已有人在做 @macoladik 今天认领。未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 25/100

objectionary/eo#9769 · 2026年11月1日创建

维护者通常 2 天内回复
regex.eo:76-79: Remove `+unlint...
可能已有人在做 @morphqdd 于 1 天前认领。未关闭
- 哪里不对？
bug pdd

难度 3/5 半天新手友好度 20/100

objectionary/eo#9765 · 2026年10月31日创建

维护者通常 2 天内回复

只显示最新的 100 条

这个页面只列出最近收录的部分。完整清单在高级筛选里，可以按语言、难度和预计耗时筛选。

前往高级筛选

objectionary

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

哪里不对？

只显示最新的 100 条

把新 issue 发到你的邮箱