hubris

A dependently typed programming language, and verification tool (by hubris-lang)

Hubris Alternatives

Similar projects and alternatives to hubris

  • fontdue

    The fastest font renderer in the world, written in pure rust.

  • oxide-and-friends

    Show notes from Oxide and Friends recordings

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better hubris alternative or higher similarity.

hubris reviews and mentions

Posts with mentions or reviews of hubris. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-10-08.
  • Rust, Wright's Law, and the Future of Low-Latency Systems
    3 projects | news.ycombinator.com | 8 Oct 2021
    We also had a great chat about Hubris in the Speaker's Lounge at the event. Brian was definitely on fire about the topic!

    The one thing I wanted to point out is that there's already a "namespace collision" when you search on "Rust" and "Hubris" — a language called Hubris written in Rust:

    https://github.com/hubris-lang/hubris

Stats

Basic hubris repo stats
1
25
10.0
about 8 years ago

hubris-lang/hubris is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of hubris is Rust.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com