lura

🍞 | IDE focused programming language study (by aripiprazole)
Add to my DEV experience crate Lsp programming-language Rust type-theory
Source Code
lura.gabx.io
Suggest alternative
Edit details
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.
www.influxdata.com
featured

Lura Alternatives

Similar projects and alternatives to lura

  • Rust_Search

    5 lura VS Rust_Search

    Blazingly fast file search library built in Rust

  • wuffs

    80 lura VS wuffs

    Wrangling Untrusted File Formats Safely

  • 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

  • ponyc

    61 lura VS ponyc

    Pony is an open-source, actor-model, capabilities-secure, high performance programming language

  • CSpydr

    6 lura VS CSpydr

    A static typed low-level compiled programming language inspired by Rust and C

  • gravity

    4 lura VS gravity

    Gravity Programming Language

  • Lua

    118 lura VS Lua

    Lua is a powerful, efficient, lightweight, embeddable scripting language. It supports procedural programming, object-oriented programming, functional programming, data-driven programming, and data description.

  • helm-ls

    1 lura VS helm-ls

    ⎈ Language server for Helm ⎈

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub 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 lura alternative or higher similarity.
Suggest an alternative to lura

lura reviews and mentions

Posts with mentions or reviews of lura. We have used some of these posts to build our list of alternatives and similar projects.
  • GADT-like types in Rust
    1 project | dev.to | 11 Aug 2023
    HOAS can be very useful when we are building type systems, an example is Lura's type system, that defines two states, one state for HOAS, and another state for the Quoted types.

Stats

Basic lura repo stats
1
31
9.3
about 2 months ago

aripiprazole/lura is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of lura is C.

Popular Comparisons

  1. lura VS Rust_Search
  2. lura VS wuffs
  3. lura VS ponyc
  4. lura VS CSpydr
  5. lura VS gravity
  6. lura VS Lua
  7. lura VS helm-ls

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