ivory

The Ivory EDSL (by GaloisInc)
Review Language Ivory
Source Code
ivorylang.org
ivory Reviews
Suggest alternative
Edit details
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
featured

Ivory Alternatives

Similar projects and alternatives to ivory

GaloisInc
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

    95 ivory VS wuffs

    Wrangling Untrusted File Formats Safely

  5. Halide

    49 ivory VS Halide

    a language for fast, portable data-parallel computation

  6. smhasher

    36 ivory VS smhasher

    Hash function quality and speed tests (by rurban)

  7. alga

    0 ivory VS alga

  8. language-thrift

    0 ivory VS 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

    0 ivory VS 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. z3-encoding

    0 ivory VS z3-encoding

  14. png-decoder

    4 ivory VS png-decoder

    A pure-Rust, no_std compatible PNG decoder

  15. haskell-src

    0 ivory VS haskell-src

    Library for manipulating Haskell source code

  16. ableC

    2 ivory VS ableC

    Attribute grammar Based Language Extensions for C

  17. snaplet-lss

    0 ivory VS snaplet-lss

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

  18. Compiler

    2 ivory VS Compiler

  19. XmlHtmlWriter

    0 ivory VS XmlHtmlWriter

    A web framework a bit like GWT but for Haskell

  20. 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.
Suggest an alternative to ivory

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

GaloisInc/ivory is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.

The primary programming language of ivory is Haskell.

Popular Comparisons

  1. ivory VS alga
  2. ivory VS language-thrift
  3. ivory VS lens-toml-parser
  4. ivory VS jvm-parser
  5. ivory VS hexpr
  6. ivory VS z3-encoding
  7. ivory VS haskell-src
  8. ivory VS snaplet-lss
  9. ivory VS XmlHtmlWriter
  10. ivory VS ableC

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
Loading...