objectionary / phie
Experimental Emulator of a Machine that Understands π-calculus
β10Updated this week
Alternatives and similar repositories for phie:
Users that are interested in phie are comparing it to the libraries listed below
- Rust implementation of Surging Object DiGraph (SODG)β11Updated this week
- EO Objects for Manipulations with Stringsβ11Updated 7 months ago
- EO Objects for Manipulating with Lists, Maps, Sets, Stacks, Vectors, etc.β11Updated 7 months ago
- Hamcrest Matchers for EO Programming Languageβ15Updated 9 months ago
- Replaces all GOTO objects in EO program with semantically equivalent ones but without GOTOβ10Updated this week
- This Maven plugin converts Java Bytecode binary files to EOLANG programs that use the "opcode" atomβ12Updated this week
- Experimental virtual machine for EO programsβ8Updated this week
- LaTeX paper on how to reduce programs to EO objectsβ13Updated 2 weeks ago
- Bug Reports (GitHub Issues) Quality Checkerβ10Updated this week
- It's a wrapper over the telegram bots api, but in the style of EO.β14Updated 2 weeks ago
- Command-line toolkit for parsing, compiling, transpiling, optimizing, linking, dataizing, and running EOLANG programsβ23Updated this week
- GitHub API Server Stub. Fully functional fake version of a GitHub API that supports all the features and works locally, with no connectioβ¦β10Updated last week
- Declarative and Immutable Java Chain of XSL Transformationsβ12Updated last week
- An experimental REST API Server for Real Estate deals.β7Updated last year
- A GitHub Action that scans the entire repository and generates a Factbase for Zerocracyβ13Updated this week
- Executes Java lambda in multiple threads and collects their results (useful for testing for thread-safety)β15Updated last week
- Parent POM for all Maven projectsβ12Updated last year
- A few classic graph algorithms implemented in C++, Java, and EOLANGβ13Updated 2 weeks ago
- Experimental Transpiler of Java Programs to EO Programming Languageβ11Updated 2 weeks ago
- Artipie central files and configurationsβ10Updated last year
- Maven Plugin for checking tests in Java projectsβ22Updated this week
- Artipie HTTP Server Based on Vert.xβ12Updated 2 years ago
- Experimental Translator of C/C++ Programs to EO Programsβ12Updated this week
- Translates EOLANG to Pythonβ8Updated last month
- Default Docker image for Rultorβ11Updated 2 weeks ago
- Cactoos JSON libraryβ11Updated 6 years ago
- The Blog We Write About Artipieβ9Updated last year
- Text Object Java Objects (TOJOs): an object representation of a multi-line structured text file like CSV, YAML, or JSONβ20Updated last week
- Library for seamless navigation and querying of XML documentsβ22Updated last week
- Maven Plugin for jPeekβ9Updated last year