ProtoRINA / users
☆16Updated 11 years ago
Alternatives and similar repositories for users:
Users that are interested in users are comparing it to the libraries listed below
- RINA Simulator☆29Updated 4 years ago
- RINA implementation for OS/Linux☆76Updated last year
- A light RINA implementation. Documentation is available in REAME.md (see below).☆51Updated last year
- A Haskell library implementing the Noise protocol.☆98Updated 4 months ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- Buildsome: The awesome build system☆53Updated 2 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- DEPRECATED Haskell bindings for the Wayland library☆32Updated 9 years ago
- Cogent Project☆164Updated last month
- Haskell Tox protocol implementation☆42Updated last month
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 13 years ago
- A tiny 32 bit kernel written in ATS☆26Updated 11 years ago
- A multi-method simulation library☆80Updated 10 months ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- Extended Kalman filtering in Haskell☆23Updated 6 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆77Updated 4 years ago
- ☆137Updated 3 years ago
- Use X display managers and window managers with Xwayland and weston☆39Updated 10 years ago
- ATS programing on Arduino☆57Updated 9 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 7 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- A Haskell implementation of crit-bit trees.☆138Updated 3 years ago
- NixOS configuration for the Snabb Lab☆59Updated 10 months ago
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆41Updated last week
- Shell Integration Library [Haskell]☆53Updated last month
- Build a custom nixos installation iso from any os with the help of vagrant☆14Updated 3 years ago
- Certificate and Key Reader/Writer in haskell☆60Updated last year