kvetak/RINA external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

kvetak/RINA

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/kvetak/RINA)

Close

kvetak / RINAView on GitHubMore

• External links
• Readme badge

RINA Simulator

☆29Sep 16, 2020Updated 5 years ago

Alternatives and similar repositories for RINA

Users that are interested in RINA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• IRATI / stack

  View on GitHub
  RINA implementation for OS/Linux
  ☆78Sep 29, 2023Updated 2 years ago
• rlite / rlite

  View on GitHub
  A light RINA implementation. Documentation is available in REAME.md (see below).
  ☆56Sep 25, 2023Updated 2 years ago
• chrishrb / hoval-gateway

  View on GitHub
  Hoval Gateway
  ☆15Aug 25, 2025Updated 9 months ago
• dmatveev / libinotify-kqueue

  View on GitHub
  NetBSD Google Summer of Code 2011 project (#2)
  ☆36Feb 28, 2018Updated 8 years ago
• deklaus / OpenValveControl

  View on GitHub
  Low cost smart control for 3V motorized floor heating actuators (like VdMOT and others)
  ☆18Nov 1, 2024Updated last year
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• commonprefix / ancestry-prover

  View on GitHub
  An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.
  ☆18Sep 10, 2024Updated last year
• mollyim / flatline-platform

  View on GitHub
  Flatline is a server prototype to which Signal-compatible clients can connect.
  ☆39Feb 12, 2026Updated 4 months ago
• quilt / simulation

  View on GitHub
  A tool to simulate Ethereum 2.0 execution
  ☆13Mar 13, 2020Updated 6 years ago
• travispaul / dreamcast-slides

  View on GitHub
  Slide deck on running NetBSD on the SEGA Dreamcast
  ☆11Apr 18, 2016Updated 10 years ago
• mstksg / lens-typelevel

  View on GitHub
  Type-level lenses using singletons because why not
  ☆15Dec 19, 2018Updated 7 years ago
• quipper / ReactNativeCodePushExample

  View on GitHub
  ☆10Feb 13, 2018Updated 8 years ago
• cvickery / IEEE-754

  View on GitHub
  Web page to analyze IEEE-754 floating point values.
  ☆19Oct 25, 2024Updated last year
• GregorR / musl-pkgsrc-patches

  View on GitHub
  A collection of patches to NetBSD pkgsrc for musl libc.
  ☆18Mar 19, 2015Updated 11 years ago
• XQuartz / xquartz-old-tickets

  View on GitHub
  Old Trac tickets
  ☆14Dec 12, 2018Updated 7 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• aliceisjustplaying / at-wormhole-webextension

  View on GitHub
  ☆22Nov 22, 2025Updated 6 months ago
• numtide / nix-fleet

  View on GitHub
  Nix(OS) fleet management
  ☆45Feb 16, 2026Updated 4 months ago
• andreaspirklbauer / Oberon-building-tools

  View on GitHub
  System building tools for the Project Oberon 2013 and Extended Oberon operating systems
  ☆29Dec 1, 2024Updated last year
• hsluv / hsluv-emacs

  View on GitHub
  HSLuv implementation for Emacs ELisp (revision 4)
  ☆13Nov 30, 2018Updated 7 years ago
• nikivazou / thesis

  View on GitHub
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Dec 6, 2016Updated 9 years ago
• Rogach / piano-pedal-driver

  View on GitHub
  pseudo-driver to make yamaha suspension pedal function as additional Ctrl
  ☆13Apr 28, 2016Updated 10 years ago
• wlav / CPyCppyy

  View on GitHub
  ☆25Jan 7, 2026Updated 5 months ago
• TheNeikos / bevy_squares

  View on GitHub
  ☆13Sep 27, 2020Updated 5 years ago
• Lattica-ai / lattica_fhe_core

  View on GitHub
  ☆17Aug 11, 2025Updated 10 months ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• dmlap / llvm-js-backend

  View on GitHub
  A javascript backend for llvm. Currently in the process of joining forces with Emscripten (http://code.google.com/p/emscripten/).
  ☆18Dec 18, 2010Updated 15 years ago
• worleydl / hdr-switcher

  View on GitHub
  A utility to turn on HDR rendering for a display using NVAPI
  ☆12Jun 27, 2021Updated 4 years ago
• coralproject / atoll

  View on GitHub
  Data analysis pipelines
  ☆10Mar 19, 2021Updated 5 years ago
• conda-forge / gdb-feedstock

  View on GitHub
  A conda-smithy repository for gdb.
  ☆19May 11, 2026Updated last month
• ethereum / eth2.0-tests

  View on GitHub
  [DEPRECATED] Common tests for all Eth2.0 implementations
  ☆20Apr 29, 2019Updated 7 years ago
• XamlBrewer / UWP-Composition-API-Clock

  View on GitHub
  Demonstrates using the Composition API in a UWP control.
  ☆12Jan 6, 2016Updated 10 years ago
• eyss / elemental-chess

  View on GitHub
  ☆11Jul 13, 2022Updated 3 years ago
• falstro / rest.bash

  View on GitHub
  a REST client inside the GNU Bourne-Again SHell.
  ☆10Aug 17, 2022Updated 3 years ago
• markburgess / SemanticSpaceTime

  View on GitHub
  ☆16Sep 16, 2025Updated 9 months ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• ContentMine / FutureTDM

  View on GitHub
  Materials of FutureTDM project
  ☆11Aug 22, 2017Updated 8 years ago
• Lattica-ai / heal

  View on GitHub
  ☆20Dec 30, 2025Updated 5 months ago
• goldsamantha / today_machine

  View on GitHub
  This is an interface for todoist, the raspberry pi, and a thermal receipt printer
  ☆17Apr 26, 2020Updated 6 years ago
• usethesource / flybytes

  View on GitHub
  Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.
  ☆20May 17, 2026Updated last month
• holochain / kitsune2

  View on GitHub
  p2p / dht communication framework
  ☆21Jun 10, 2026Updated last week
• xerographer / multicoloure-font

  View on GitHub
  Multicoloure, a SVGinOT/OpenType-SVG color font TTF & WOFF based on Multicolore Vector Typeface
  ☆17Jun 7, 2016Updated 10 years ago
• th-ch / yamux-js

  View on GitHub
  Node.js (TypeScript/JavaScript) port of the multiplexing library for Golang made by HashiCorp: https://github.com/hashicorp/yamux
  ☆30Apr 20, 2026Updated last month