Language for high-assurance and high-speed cryptography (by jasmin-lang)

Jasmin Alternatives

Similar projects and alternatives to jasmin

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better jasmin alternative or higher similarity.

jasmin discussion

Log in or Post with

jasmin reviews and mentions

Posts with mentions or reviews of jasmin. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-11-15.
  • Let's collect relatively new research programming languages in this thread
    19 projects | /r/ProgrammingLanguages | 15 Nov 2022
    Jasmin, late 2010s, a language designed to be lower-level than C and provide good low-level control for cryptographic code. Basically a new take on "C as a high-level assembly language", with formal semantics etc. I suspect that this design space is rather close to "a good language to use as a compiler backend", but I think this would require changes to Jasmin and no one is working on that as far as I know.


Basic jasmin repo stats
6 days ago

jasmin-lang/jasmin is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of jasmin is Coq.

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.