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
Jun 15, 2024 - TeX
VSCode Extension for the EO Language with a Language Server
-
Updated
Aug 26, 2024 - TypeScript
LaTeX package for drawing 𝜑-calculus formulas and SODG graphs
-
Updated
Jul 5, 2024 - TeX
Symbolic Execution engine for finding bugs in EO programs
-
Updated
Dec 15, 2023 - Java
Maven plugin that applies a number of optimizations to your Bytecode, using EOLANG and 𝜑-calculus, trying to make it work faster
-
Updated
Aug 27, 2024 - Java
Syntax Highlighting Vim Plugin for EO Programming Language
-
Updated
Jul 28, 2024 - Vim Script
A command line tool for DeMutabilization of EO programs
-
Updated
Aug 14, 2024 - Java
EO programs to Call Flow Graph (CFG) transformator
-
Updated
Dec 15, 2023
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."