Experimental Emulator of a Machine that Understands π-calculus
β15Oct 15, 2026Updated this week
Alternatives and similar repositories for phie
Users that are interested in phie are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- EO Objects for Manipulations with Stringsβ12Aug 7, 2024Updated 2 years ago
- EO Objects for Manipulating with Lists, Maps, Sets, Stacks, Vectors, etc.β12Aug 7, 2024Updated 2 years ago
- Hamcrest Matchers for EO Programming Languageβ17Jun 27, 2024Updated 2 years ago
- Our Official Blog: we write about the development of EOLANG and π-calculusβ16Updated this week
- LaTeX paper on how to reduce programs to EO objectsβ15Updated this week
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Experimental virtual dataflow machine for EO programs, based on SODGβ12Updated this week
- Replaces all GOTO objects in EO program with semantically equivalent ones but without GOTOβ11Aug 31, 2025Updated last year
- Syntax Highlighting Intellij IDEA Plugin for EO Programming Languageβ18Oct 7, 2026Updated last week
- Rust implementation of Surging Object DiGraph (SODG): it automatically collects garbage removing unnecessary nodesβ19Updated this week
- Experimental implementation of Conway's Game of Life in C++ and EO: works from the command lineβ14Updated this week
- Experimental Translator of C/C++ Programs to EO Programsβ12Updated this week
- A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzersβ16Dec 10, 2025Updated 10 months ago
- A collection of style checkers for XMIR: they don't predict runtime errors, but prevent compilation mistakesβ14Updated this week
- Ruby object, which you can pass to other objects, where they will use it as a loggerβ12Oct 13, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Book about EO programming languageβ14Sep 2, 2025Updated last year
- Experimental Transpiler of Java Programs to EO Programming Languageβ12Updated 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β¦β11Sep 7, 2026Updated last month
- Centralized curated storage of all EO objects together with their unit testsβ35Updated this week
- Ruby Gem to get total memory size in the systemβ18Updated this week
- Jsmith, a random generator of Java programsβ18Oct 3, 2026Updated 2 weeks ago
- Online interactive parser and translator of EO and π-calculusβ14Sep 2, 2025Updated last year
- GitHub Action that generates HTML report from a Factbaseβ15Updated this week
- Command-Line Normalizer, Rewriter, and Dataizer of π-Calculus Expressionsβ19Updated this week
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Maven Plugin for checking tests in Java projectsβ26Updated this week
- This Maven plugin converts Java Bytecode binary files to EOLANG programs that use the "opcode" atomβ23Oct 12, 2026Updated last week
- Simple Telegram posting Ruby gemβ15Updated this week
- Command-line toolkit for parsing, compiling, transpiling, optimizing, linking, dataizing, and running EOLANG programsβ36Updated this week
- Spell checking for LaTeX documents with the help of GNU aspellβ18Updated this week
- A simple Ruby decorator to make all methods of your object thread-safeβ11Updated this week
- A few convenient Hamcrest matchers, mostly for XPath vs XHTML and fields in JAXBβ19Updated this week
- Command Line Tool to Help You Send Newsletters by Emailβ13Oct 13, 2026Updated last week
- Declarative and Immutable Java Chain of XSL Transformationsβ15Updated this week
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Zold website and JavaScript assetsβ17Updated this week
- A convenient parent Maven POM artifact, which we recommend using in all Maven projectsβ49Oct 13, 2026Updated last week
- Login/logout via GitHub OAuth for your Ruby web appβ13Updated this week
- Abstract Object inference for EO Programsβ12Oct 7, 2026Updated 2 weeks ago
- Test Dynamicsβ10Sep 24, 2022Updated 4 years ago
- π The fastest map possible in Rust, where keys are integers and the capacity is fixed (faster than Vec!)β18Updated this week
- Primitive execution of command line commands from Java (mostly useful for tests)β14Updated this week