cmusatyalab / codaView external linksLinks
Coda is an advanced networked filesystem. It has been developed at CMU since 1987 by the systems group of M. Satyanarayanan in the SCS department.
☆142Jun 4, 2025Updated 8 months ago
Alternatives and similar repositories for coda
Users that are interested in coda are comparing it to the libraries listed below
Sorting:
- A slimmed down gentoo linux livecd/liveusb iso that allows to load different boot options and runs from RAM upon boot. A VCTLabs project.☆11Feb 18, 2020Updated 5 years ago
- Lobsters NNTP gateway☆20Feb 17, 2021Updated 5 years ago
- A way to visualize nginx config files☆10Nov 21, 2022Updated 3 years ago
- Flatline is a server prototype to which Signal-compatible clients can connect.☆18Feb 6, 2026Updated last week
- ☆11Nov 18, 2020Updated 5 years ago
- network block device over 9P transport☆24Jul 24, 2015Updated 10 years ago
- Hardware emulation layer for the GRiSP runtime☆15Apr 16, 2025Updated 10 months ago
- GNAT Components Collection – Bindings to C libraries☆16Updated this week
- Unbound data structures in Ada-Spark.☆13Feb 6, 2022Updated 4 years ago
- Open-Source Font☆14Nov 10, 2025Updated 3 months ago
- Script for doing Slurm Calculations☆12Mar 21, 2025Updated 10 months ago
- This is the replacement for the Java-based Host Identity Protocol implementation.☆12Dec 13, 2025Updated 2 months ago
- OpenSRF☆17Nov 11, 2025Updated 3 months ago
- Client API for Dat pinning services☆14Apr 2, 2019Updated 6 years ago
- C Foundation Library☆15May 1, 2025Updated 9 months ago
- Convert Elixir expressions into Erlang☆14Jul 29, 2019Updated 6 years ago
- Lens Article Browser☆12Jun 11, 2015Updated 10 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 4 years ago
- Attempt at a desktop shell and stuff; abandoned in favor of https://github.com/DankBSD/waysmoke☆16Jun 16, 2020Updated 5 years ago
- The Filesystem Tools project is a place where the Apple filesystem teams will be publishing some of the tools we use to test the filesyst…☆67Sep 14, 2016Updated 9 years ago
- A vectorclock library for Erlang.☆14May 27, 2022Updated 3 years ago
- The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted …☆22Aug 19, 2022Updated 3 years ago
- SCTP wrapper for golang☆14Mar 12, 2017Updated 8 years ago
- 9P protocol implementation in Go☆18Oct 28, 2020Updated 5 years ago
- personal pimp for plan9's great acme editor☆16Jun 20, 2016Updated 9 years ago
- An Erlang INI parser☆21May 4, 2021Updated 4 years ago
- Global Load Balancing Services for Kubernetes☆23Feb 5, 2026Updated last week
- Package for implementing clients and servers of the 9P and 9P2000 distributed resource protocols in Go.☆40Jun 3, 2022Updated 3 years ago
- simple way to change colors☆20May 22, 2020Updated 5 years ago
- Python script that generates HAProxy config for connection to standby stolon replicas☆19Mar 9, 2025Updated 11 months ago
- Validation and analysis of ‘MP4’ family media files☆43Sep 11, 2019Updated 6 years ago
- A JMAP parser/generator in Rust☆14Aug 17, 2022Updated 3 years ago
- Package for implementing clients and servers of the 9P and 9P2000 distributed resource protocols in Go.☆19Jan 26, 2016Updated 10 years ago
- Mirror of https://gitlab.nic.cz/turris/reforis/reforis☆20Nov 23, 2021Updated 4 years ago
- Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes☆20Dec 16, 2025Updated 2 months ago
- Erlang GTPv1/GTPv2 library☆22Sep 16, 2025Updated 5 months ago
- A clean-room clone of the Fever RSS aggregator, focusing on the API☆60Mar 10, 2022Updated 3 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- SSH distribution for erlang☆47Dec 28, 2017Updated 8 years ago