Popularity

4.9

Growing

Activity

6.7

Stars 3

Watchers 5

Forks 2

Last Commit 3 months ago

Monthly Downloads: 78

Programming language: Haskell

License: MIT License

Tags: Language

Latest version: v0.2.1.0

call-alloy alternatives and similar packages

Based on the "Language" category.
Alternatively, view call-alloy alternatives based on common mentions on social networks and blogs.

purescript

10.0 6.6 call-alloy VS purescript

A strongly-typed language that compiles to JavaScript
elm-compiler

10.0 5.4 call-alloy VS elm-compiler

Compiler for Elm, a functional language for reliable webapps.

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.

Promo workos.com

brittany

9.9 0.0 call-alloy VS brittany

haskell source code formatter
polysemy

9.9 5.5 call-alloy VS polysemy

:gemini: higher-order, no-boilerplate monads
liquidhaskell

9.9 9.3 call-alloy VS liquidhaskell

Liquid Types For Haskell
cryptol

9.9 9.2 call-alloy VS cryptol

Cryptol: The Language of Cryptography
stylish-haskell

9.9 6.4 call-alloy VS stylish-haskell

Haskell code prettifier [Moved to: https://github.com/haskell/stylish-haskell]
elm-server

9.8 0.0 call-alloy VS elm-server

Server for developing Elm projects
ivory

9.8 0.0 call-alloy VS ivory

The Ivory EDSL
elm-reactor

9.8 0.0 call-alloy VS elm-reactor

Interactive development tool for Elm programs
elm-package

9.7 0.0 call-alloy VS elm-package

Package manager for Elm libraries
haskell-src-exts

9.7 0.0 call-alloy VS haskell-src-exts

Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
elm-get

9.7 0.0 call-alloy VS elm-get

Tool for sharing and using Elm libraries
haskell-tools-ast-gen

9.6 0.0 call-alloy VS haskell-tools-ast-gen

Developer tools for Haskell
haskell-tools-ast-fromghc

9.6 0.0 call-alloy VS haskell-tools-ast-fromghc

Developer tools for Haskell
frp-arduino

9.6 0.0 call-alloy VS frp-arduino

Arduino programming without the hassle of C.
haskell-tools-ast

9.6 0.0 call-alloy VS haskell-tools-ast

Developer tools for Haskell
language-javascript

9.6 0.0 call-alloy VS language-javascript

Parser for JavaScript, in Haskell
language-python

9.5 2.7 call-alloy VS language-python

A parser for Python 2.x and 3.x written in Haskell
axel

9.5 0.0 call-alloy VS axel

Haskell + Lisp
liquid-fixpoint

9.5 8.9 call-alloy VS liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
nirum

9.4 0.0 call-alloy VS nirum

Nirum: IDL compiler and RPC/distributed object framework for microservices
elm-export

9.4 0.0 call-alloy VS elm-export

Create Elm types and JSON decoders from Haskell source.
elsa

9.4 2.9 call-alloy VS elsa

Elsa is a lambda calculus evaluator
language-java

9.3 0.0 call-alloy VS language-java

Java parser and printer for haskell
shentong

9.3 0.0 call-alloy VS shentong

A Haskell implementation of the Shen programming language.
tal

9.3 0.0 call-alloy VS tal

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
elm-bridge

9.2 4.7 call-alloy VS elm-bridge

Haskell: Derive Elm types from Haskell types
camfort

9.2 5.7 call-alloy VS camfort

Light-weight verification and transformation tools for Fortran
hfmt

9.2 0.0 call-alloy VS hfmt

Format Haskell programs. Inspired by the gofmt utility.
clang-pure

9.1 0.0 call-alloy VS clang-pure

Easy C++ code analysis with pure Haskell
jvm-parser

9.1 3.5 call-alloy VS jvm-parser

A Haskell parser for JVM bytecode files
type-of-html

9.1 0.0 call-alloy VS type-of-html

High performance type safe html generation
hgrep

9.1 0.8 call-alloy VS hgrep

Search Haskell source code from the command line
ghc-justdoit

9.1 0.0 call-alloy VS ghc-justdoit

A magic typeclass that just does it
peggy

9.1 0.0 call-alloy VS peggy

The Parser Generator for Haskell
exference

9.0 0.0 call-alloy VS exference

Haskell tool to generate expressions from types
language-c-quote

9.0 3.7 call-alloy VS language-c-quote

C/CUDA/OpenCL/Objective-C quasiquoting library.
language-rust

9.0 0.0 call-alloy VS language-rust

Parser and pretty-printer for the Rust language
language-ecmascript

8.9 4.5 call-alloy VS language-ecmascript

Haskell library: ECMAScript parser, pretty-printer and additional tools
why3

8.8 0.0 call-alloy VS why3

Haskell support for the Why3 input format
fortran-src

8.8 5.8 call-alloy VS fortran-src

Fortran parsing and static analysis infrastructure
formura

8.8 0.0 L3 call-alloy VS formura

Describe stencil formurae without even translating them
aterm-utils

8.8 3.2 call-alloy VS aterm-utils

Utility functions for working with aterms as generated by Minitermite
nomyx-library

8.8 4.3 call-alloy VS nomyx-library

The Nomyx game
imprevu

8.8 4.3 call-alloy VS imprevu

The Nomyx game
haskell-names

8.7 0.0 call-alloy VS haskell-names

Haskell suite library for name resolution
homplexity

8.7 0.0 call-alloy VS homplexity

Haskell code complexity and quality measurement
purescript-tsd-gen

8.7 5.5 call-alloy VS purescript-tsd-gen

TypeScript Declaration File (.d.ts) generator for PureScript
ministg

8.7 0.0 call-alloy VS ministg

Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest.

Do you think we are missing an alternative of call-alloy or a related project?

Add another 'Language' Package

Popular Comparisons

README

`call-alloy`

This is a simple library to call Alloy given a specification. This package includes a simple Java Library to make an API call to the Alloy Library. Alloy is included (as JAR file) within this library as well.

Requriements

Java Runtime Environment: There is currently no warning if you have not set up any Java Runtime Environment. However, you will get runtime errors if it is not available when a call to Alloy happens. If you want to force a check, perform the test cases.

Please note

The Java interface to get Alloy instances as well as the Alloy Jar file are backed into this library.

On every call the application checks the XdgDirectory if the libraries exist in a current version. If not they are placed there together with a version identifier.

call-alloy

A simple library to call Alloy given a specification