karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code (by FStarLang)
Review Verification proofs Cryptography c-language f-star
Source Code
karamel Reviews
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Karamel Alternatives

Similar projects and alternatives to karamel

FStarLang
karamel

  1. CPython

    1,520 karamel VS CPython

    The Python programming language

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

    115 karamel VS HVM

    A massively parallel, optimal functional runtime in Rust

  4. spaCy

    112 karamel VS spaCy

    💫 Industrial-strength Natural Language Processing (NLP) in Python

  5. langchain

    72 karamel VS langchain

    🦜🔗 Build context-aware reasoning applications

  6. Vale

    67 karamel VS Vale

    Compiler for the Vale programming language - http://vale.dev/ (by ValeLang)

  7. ponyc

    66 karamel VS ponyc

    Pony is an open-source, actor-model, capabilities-secure, high performance programming language

  8. hylo

    60 karamel VS hylo

    The Hylo programming language

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

    58 karamel VS futhark

    :boom::computer::boom: A data-parallel functional programming language

  11. FStar

    48 karamel VS FStar

    A Proof-oriented Programming Language

  12. koka

    33 karamel VS koka

    Koka language compiler and interpreter

  13. refined-github

    25 karamel VS refined-github

    :octocat: Browser extension that simplifies the GitHub interface and adds useful features

  14. hacl-star

    10 karamel VS hacl-star

    HACL*, a formally verified cryptographic library written in F*

  15. cogent

    4 karamel VS cogent

    Cogent Project

  16. effekt

    13 karamel VS effekt

    A language with lexical effect handlers and lightweight effect polymorphism

  17. jasmin

    3 karamel VS jasmin

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

  18. awesome-programming-languages

    10 karamel VS awesome-programming-languages

    The list of awesome programming languages that you might be interested in.

  19. koika

    2 karamel VS koika

    A core language for rule-based hardware design 🦑

  20. datafun

    4 karamel VS datafun

    Research on integrating datalog & lambda calculus via monotonicity types

  21. cubicaltt

    3 karamel VS cubicaltt

    Experimental implementation of Cubical Type Theory

  22. usuba

    1 karamel VS usuba

    A programming language to write bitsliced ciphers

  23. 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 karamel alternative or higher similarity.
Suggest an alternative to karamel

karamel discussion

Log in or Post with

karamel reviews and mentions

Posts with mentions or reviews of karamel. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2025-04-18.
  • 15,000 lines of verified cryptography now in Python
    9 projects | news.ycombinator.com | 18 Apr 2025
    The 15k lines of C are generated. The implementations are written in (and formally verified using) F, and then the C is generated from the F code using KaRaMeL.

    One should be able to trust the proofs of correctness and never look at (or maintain) the generated C directly.

    - https://fstar-lang.org

    - https://github.com/FStarLang/karamel

    - https://github.com/hacl-star/hacl-star

  • Let's collect relatively new research programming languages in this thread
    19 projects | /r/ProgrammingLanguages | 15 Nov 2022
    Jasmin and F* don't have similar goals, Jasmin is a language designed to precisely express low-level code, while F* is a generalist language for verified programming. There is a subsystem of F* that performs extraction to "readable C code", Karamel (used to be called Kremlin), but you get the usual limitations of C code as a high-level assembler, and also an embedded assembly layer built on Vale. Project Everest therefore generates artifacts that are a mix of C and assembly, rather than a new low-level language design as Jasmin.

Stats

Basic karamel repo stats
2
456
9.5
6 days ago

FStarLang/karamel is an open source project licensed under Apache License 2.0 which is an OSI approved license.

The primary programming language of karamel is OCaml.

Popular Comparisons

  1. karamel VS cogent
  2. karamel VS hacl-star
  3. karamel VS jasmin
  4. karamel VS koika
  5. karamel VS usuba
  6. karamel VS cubicaltt
  7. karamel VS datafun
  8. karamel VS scilla
  9. karamel VS stellogen
  10. karamel VS futhark

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

Did you know that OCaml is
the 41st most popular programming language
based on number of references?

Loading...