A higher-order computing system
☆31May 5, 2026Updated 2 weeks ago
Alternatives and similar repositories for mytilus
Users that are interested in mytilus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code from the getting started guide☆10Aug 31, 2016Updated 9 years ago
- Password manager written using Babashka☆32Mar 29, 2022Updated 4 years ago
- Code Narrator - an inverse literate programming tool.☆24Nov 30, 2012Updated 13 years ago
- Free Your Self - A simple Jekyll-powered website to receive donations☆15Oct 21, 2011Updated 14 years ago
- 📺 Chromecast API within your local network☆12Feb 2, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Policy Iteration for Continuous Dynamics☆23May 3, 2026Updated 2 weeks ago
- An extension of GeoJSON that encodes topology. Based on the JavaScript project☆11Nov 10, 2025Updated 6 months ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆15Aug 22, 2019Updated 6 years ago
- libyaml rap group, it's a hit in lyon☆13Jan 19, 2021Updated 5 years ago
- Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python☆13Mar 29, 2021Updated 5 years ago
- YAML parser for Dyalog APL☆13Oct 30, 2023Updated 2 years ago
- ☆24Jun 13, 2020Updated 5 years ago
- Datasets file for hypergraphs☆19Nov 27, 2025Updated 5 months ago
- An implementation of interaction nets as a forth-like language.☆45Nov 16, 2025Updated 6 months ago
- 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.
- Build YAML in Gleam!☆20Mar 9, 2026Updated 2 months ago
- An open source project of a low-cost quadruped robot developed with Jetson Nano.☆21Jul 22, 2023Updated 2 years ago
- C harness for running TAP-compliant tests☆37Mar 12, 2023Updated 3 years ago
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- RKQC is a compiler for reversible logic circuitry. The framework has been developed to compile high level circuit descriptions down to "Q…☆17Jul 22, 2016Updated 9 years ago
- Fix your damn commit message grammar!☆14Nov 6, 2021Updated 4 years ago
- String diagram visualiser☆17May 10, 2026Updated last week
- A toolkit for higher-dimensional diagram rewriting.☆21Sep 15, 2022Updated 3 years ago
- ROS 2 package for PMW3901 and PAA5100 (short-range) optical flow sensors☆23Jan 3, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Scala solutions for hackerrank☆11Nov 20, 2016Updated 9 years ago
- Send commands or data to other terminals☆34Jul 25, 2016Updated 9 years ago
- [EMNLP 2024] HyperBERT: Mixing Hypergraph-Aware Layers with Language Models for Node Classification on Text-Attributed Hypergraphs☆24Apr 6, 2025Updated last year
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated 2 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆164Updated this week
- An interactive Agda tutorial☆21Updated this week
- ☆43Aug 5, 2023Updated 2 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆39Updated this week
- Minimalistic example of using Laminar and Scala.js to publish static Github Pages website☆14Jan 29, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Hypergraph Interchange Format (HIF) Schema Definition and Tutorials☆32Mar 19, 2026Updated 2 months ago
- A benchmark tool for lakehouses.☆14Mar 12, 2023Updated 3 years ago
- yet another plumbing utility for UNIX☆11Jul 14, 2023Updated 2 years ago
- Plugin for mkdocs which enables easier linking between pages☆42Jul 25, 2024Updated last year
- Gren's core package☆48May 9, 2026Updated last week
- Demo running web assembly apps a terminal with blocking stdin/stdout/stderr☆27Oct 3, 2022Updated 3 years ago
- Call python code from Scala Native!☆19Aug 1, 2021Updated 4 years ago