elle

Black-box transactional safety checker based on cycle detection (by jepsen-io)

Elle Alternatives

Similar projects and alternatives to elle

  • kit

    34 elle VS kit

    Lightweight, modular framework for scalable web development in Clojure (by kit-clj)

  • biff

    29 elle VS biff

    A Clojure web framework for solo developers.

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo
  • honeysql

    16 elle VS honeysql

    Turn Clojure data structures into SQL

  • clojure-graph-resources

    A curated list of Clojure resources for dealing with graph-like data.

  • dom-top

    1 elle VS dom-top

    Unorthodox control flow, for Clojurists with masochistic sensibilities.

  • Korma

    1 elle VS Korma

    Tasty SQL for Clojure.

  • history

    Support library for working with Jepsen histories (by jepsen-io)

  • 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 elle alternative or higher similarity.

elle reviews and mentions

Posts with mentions or reviews of elle. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-12-06.
  • Why Is Jepsen Written in Clojure?
    8 projects | news.ycombinator.com | 6 Dec 2023
    Speaking very loosely, primitives on the JVM are values which are represented directly in memory, instead of as pointers to objects on the heap. Clojure generally treats everything as a pointer to a heap object. There is no specialized equivalent for, say, a vector of shorts, or a map where values are floats. The compiler can emit specialized function signatures for... IIRC longs and doubles, but other types (e.g. byte, float) aren't directly accessible--they go through widening conversion. It's also easy for the compiler to quietly fail to recognize it can preserve primitives in some kinds of loops, so you wind up with what Java calls "autoboxing": wrapping a primitive in a corresponding Object type.

    Here's a recent example of some code in a hot path inside Elle, one of Jepsen's safety checkers. It does a lot in primitive, packed structs and bitmasks to avoid pointer chasing.

    https://github.com/jepsen-io/elle/blob/main/src/elle/BFSPath...

    There was actually a Clojure version of this earlier that got pretty close perf-wise, but I wound up dropping to Java for it instead:

    https://github.com/jepsen-io/elle/blob/913cbff5ebb19ba850c0a...

  • Black-box transactional safety checker based on cycle detection
    1 project | /r/Database | 9 Aug 2021
    1 project | /r/Clojure | 9 Aug 2021
    1 project | /r/isabelle | 9 Aug 2021
  • Elle, the New Tool from Aphyr
    1 project | news.ycombinator.com | 9 Aug 2021
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 25 Apr 2024
    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. Learn more →

Stats

Basic elle repo stats
5
608
8.5
3 months ago

jepsen-io/elle is an open source project licensed under Eclipse Public License 2.0 which is an OSI approved license.

The primary programming language of elle is Isabelle.

Popular Comparisons


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