jasmin-lang/jasmin

Language for high-assurance and high-speed cryptography

GitHub repository with 356 stars and 77 forks.

Language: Rocq Prover

Topics: compiler, coq, language

Open provider repository

24h trend summary

Trending score 0.53, activity score 1.40, stars gained +1, forks gained +0.

Latest metric snapshot

2026-06-05: 356 stars and 77 forks.

Similar repositories

  1. 1. jasmin-lang/jasmin

    Language for high-assurance and high-speed cryptography

    GitHub repository with 356 stars and 77 forks.

    Trending score: 0.53; stars gained: +1; forks gained: +0.

    Language: Rocq Prover

    Topics: compiler, coq, language

Trending in Rocq Prover

  1. 1. jasmin-lang/jasmin

    Language for high-assurance and high-speed cryptography

    GitHub repository with 356 stars and 77 forks.

    Trending score: 0.53; stars gained: +1; forks gained: +0.

    Language: Rocq Prover

    Topics: compiler, coq, language

  2. 2. SkyLabsAI/BRiCk

    Formalization of C++ for verification purposes.

    GitHub repository with 92 stars and 16 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

    Topics: coq, coq-formalization, coq-library, cplusplus, cplusplus-11, cplusplus-14

  3. 3. uds-psl/MPCTT

    Modeling and Proving in Computational Type Theory

    GitHub repository with 123 stars and 13 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

  4. 4. takanuva/tarski-rocq

    Shrinking induction-recursion... sometimes you just wanna be small!

    GitHub repository with 10 stars and 0 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Rocq Prover

Trending topic: compiler

  1. 1. rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    GitHub repository with 113,444 stars and 15,078 forks.

    Trending score: 3.01; stars gained: +45; forks gained: +2.

    Language: Rust

    Topics: compiler, language, rust

  2. 2. vercel/next.js

    The React Framework

    GitHub repository with 139,831 stars and 31,201 forks.

    Trending score: 2.67; stars gained: +28; forks gained: -1.

    Language: JavaScript

    Topics: blog, browser, compiler, components, hybrid, nextjs

  3. 3. oxc-project/oxc

    ⚓ A collection of high-performance JavaScript tools.

    GitHub repository with 21,425 stars and 1,060 forks.

    Trending score: 2.67; stars gained: +43; forks gained: +4.

    Language: Rust

    Topics: compiler, javascript, linter, minifier, parser, transpiler

  4. 4. JetBrains/kotlin

    The Kotlin Programming Language.

    GitHub repository with 52,811 stars and 6,325 forks.

    Trending score: 2.08; stars gained: +9; forks gained: +6.

    Language: Kotlin

    Topics: compiler, gradle-plugin, intellij-plugin, kotlin, kotlin-library, maven-plugin

  5. 5. ubugeeei-prod/vize

    Unofficial High-Performance Vue.js Toolchain in Rust

    GitHub repository with 727 stars and 30 forks.

    Trending score: 2.08; stars gained: +5; forks gained: +1.

    Language: Rust

    Topics: compiler, linter, lsp, parser, performance, semantic-analysis

  6. 6. odin-lang/Odin

    Odin Programming Language

    GitHub repository with 10,575 stars and 973 forks.

    Trending score: 1.68; stars gained: +30; forks gained: +5.

    Language: Odin

    Topics: compiler, language, odin, odin-lang, odin-programming-language, programming-language