ProtoRINA / usersLinks
☆16Updated 11 years ago
Alternatives and similar repositories for users
Users that are interested in users are comparing it to the libraries listed below
Sorting:
- RINA Simulator☆29Updated 5 years ago
- A Haskell library implementing the Noise protocol.☆100Updated 9 months ago
- A concurrency framework for the Ivory language☆44Updated 6 years ago
- Ur/Web part of BazQux Reader sources☆84Updated 4 years ago
- Haskell Tox protocol implementation☆42Updated 6 months ago
- Buildsome: The awesome build system☆54Updated 2 years ago
- A program that mounts a NAR (Nix Archive) archive as a filesystem using FUSE. This repo is written in C++; it has now been rewritten in H…☆23Updated 9 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 14 years ago
- RINA implementation for OS/Linux☆77Updated 2 years ago
- Tool to simplify managing a consistent set of Haskell packages for distributions.☆39Updated 7 years ago
- DEPRECATED Haskell bindings for the Wayland library☆32Updated 9 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- ☆21Updated 10 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆49Updated 5 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- An **OUTDATED** mirror of Snowdrift.coop codebase. The active development is now at https://codeberg.org/snowdrift/snowdrift☆91Updated 8 months ago
- Distributed programming language that desugars to Morte☆92Updated 3 years ago
- ATS programing on Arduino☆57Updated 9 years ago
- A tiny 32 bit kernel written in ATS☆26Updated 11 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 6 years ago
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆43Updated this week
- A light RINA implementation. Documentation is available in REAME.md (see below).☆52Updated 2 years ago
- Visualizing the activity of many concurrent processes☆59Updated 5 years ago
- Haskell User's Operating System and Environment -- with Lightweight Concurrency. (I, Ericson2314 did not write this at all)☆30Updated 12 years ago
- Mirror a Hydra jobset using IPFS or plain rsync☆44Updated 7 years ago
- A DSL for describing and implementing communication protocols☆84Updated 10 years ago
- Noether programming language☆127Updated 8 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago