ivory

The Ivory EDSL (by GaloisInc)

Ivory Alternatives

Similar projects and alternatives to ivory

  1. oils

    272 ivory VS oils

    Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!

  2. Stream

    Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

    Stream logo
  3. stb

    173 ivory VS stb

    stb single-file public domain libraries for C/C++

  4. wuffs

    Wrangling Untrusted File Formats Safely

  5. Halide

    49 ivory VS Halide

    a language for fast, portable data-parallel computation

  6. smhasher

    Hash function quality and speed tests (by rurban)

  7. alga

    0 ivory VS alga
  8. language-thrift

    Haskell parser for the Thrift IDL format.

  9. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  10. lens-toml-parser

    Lenses for toml-parser

  11. jvm-parser

    0 ivory VS jvm-parser

    A Haskell parser for JVM bytecode files

  12. hexpr

    0 ivory VS hexpr

    A framework for building symbolic, homoiconic languages.

  13. png-decoder

    A pure-Rust, no_std compatible PNG decoder

  14. haskell-src

    0 ivory VS haskell-src

    Library for manipulating Haskell source code

  15. ableC

    Attribute grammar Based Language Extensions for C

  16. snaplet-lss

    Lexical Style Sheets - a language for writing styles that is focused around lexical (ie, static) scoping and re-use of large components.

  17. XmlHtmlWriter

    A web framework a bit like GWT but for Haskell

  18. 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 ivory alternative or higher similarity.

ivory discussion

Log in or Post with

ivory reviews and mentions

Posts with mentions or reviews of ivory. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-04-06.

Stats

Basic ivory repo stats
3
398
0.0
over 5 years ago

Sponsored
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
getstream.io