Get my public keys here: https://sk.tl/7CPRo8kn
Sponsors
Block or Report
Block or report jedisct1
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: F*
All languages
ActionScript
Ada
ApacheConf
AppleScript
Arduino
Assembly
Batchfile
Bikeshed
Bro
C
C#
C++
CMake
CSS
Clojure
CoffeeScript
Coq
Crystal
Cuda
D
Dart
Dockerfile
Elixir
Emacs Lisp
Erlang
F#
F*
Fortran
G-code
Go
HTML
Handlebars
Haskell
Haxe
Java
JavaScript
JetBrains MPS
Julia
Jupyter Notebook
LLVM
Lua
M4
MATLAB
MDX
Makefile
Max
Monkey C
Nim
OCaml
Objective-C
Objective-C++
PHP
PLpgSQL
Perl
Pony
PowerShell
Processing
Python
R
REALbasic
Roff
Ruby
Rust
Sage
Scala
Scheme
Shell
Starlark
Swift
Tcl
TeX
TypeScript
VBA
VHDL
Visual Basic
Vue
WebAssembly
Zig
eC
Nothing to show
Sort by: Most stars
2
stars
written in F*
Clear filter
HACL*, a formally verified cryptographic library written in F*