- Venice, Italy
Block or Report
Block or report chritchens
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: F*
All languages
ATS
Agda
C
C++
CSS
Clojure
CoffeeScript
Common Lisp
Coq
Crystal
Cuda
D
Elixir
Emacs Lisp
Erlang
F*
Go
HCL
HTML
Handlebars
Haskell
Idris
Java
JavaScript
Julia
Jupyter Notebook
Lean
MDX
Makefile
Nim
OCaml
Objective-C
Odin
PHP
Python
R
ReScript
Ruby
Rust
SCSS
Scala
Scheme
Shell
TLA
TeX
TypeScript
Vim Script
Zig
Nothing to show
Sort by: Most stars
3
stars
written in F*
Clear filter
HACL*, a formally verified cryptographic library written in F*
Verified implementation of TLS 1.3 in F*