alucard

A common lisp DSL for writing zero knowledge circuits (by anoma)

Alucard Alternatives

Similar projects and alternatives to alucard based on common topics and language

  • coalton

    84 alucard VS coalton

    Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

  • Nova

    Nova: High-speed recursive arguments from folding schemes (by microsoft)

  • 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
  • lurk-rs

    Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

  • pact

    3 alucard VS pact

    The Pact Smart Contract Language

  • ZeroSync

    A STARK proof to sync a Bitcoin full node in an instant.

  • zexe

    Rust library for decentralized private computation

  • legochain

    1 alucard VS legochain

    Simple educational blockchain in Common LIsp

  • 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
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better alucard alternative or higher similarity.

alucard reviews and mentions

Posts with mentions or reviews of alucard. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-07-05.

Stats

Basic alucard repo stats
1
18
0.0
over 1 year ago

The primary programming language of alucard is Common Lisp.


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