eolang
Here are 61 public repositories matching this topic...
A command-line tool for detecting the "unjustified assumption in subclasses" defect in EO programs.
-
Updated
Oct 5, 2022 - Scala
The original paper about EOLANG and phi-calculus
-
Updated
May 9, 2024 - TeX
VSCode Extension for the EO Language with a Language Server
-
Updated
Jun 6, 2024 - TypeScript
Maven plugin that can normalize 𝜑-calculus expressions, with the help of Normalizer
-
Updated
May 31, 2024 - Java
Symbolic Execution engine for finding bugs in EO programs
-
Updated
Dec 15, 2023 - Java
LaTeX package for drawing 𝜑-calculus formulas and SODG graphs
-
Updated
May 18, 2024 - TeX
Syntax Highlighting Vim Plugin for EO Programming Language
-
Updated
May 17, 2024 - Vim Script
A command line tool for DeMutabilization of EO programs
-
Updated
Jun 6, 2024 - Java
Maven plugin to remove Bytecode opcodes from XMIR as much as possible
-
Updated
Jun 11, 2024 - Java
Improve this page
Add a description, image, and links to the eolang topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the eolang topic, visit your repo's landing page and select "manage topics."