8000 eponier (Jean-Christophe Léchenet) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View eponier's full-sized avatar
7 followers · 0 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report eponier

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography

Rocq Prover 296 63 Updated Jul 4, 2025

formosa-crypto / libjade

Crypto library

C 60 18 Updated Jun 25, 2025

rocq-community / rocq-tricks

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Coq 522 23 Updated May 28, 2025

camlspotter / ocamloscope.2

OCamlOScope 2 : OCaml API search

OCaml 43 1 Updated Oct 12, 2017

yallop / ocaml-ctypes

Library for binding to C libraries using pure OCaml

OCaml 393 98 Updated Jun 10, 2025

Frama-C / Frama-C-snapshot

Release snapshots of the Frama-C platform for source code analysis

OCaml 172 39 Updated Oct 21, 2020
0