- Raleigh/Durham, NC
Highlights
- Pro
Stars
- All languages
- ActionScript
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- D
- Dart
- Dockerfile
- Elm
- Emacs Lisp
- F*
- Frege
- GSC
- Go
- HTML
- Hack
- Handlebars
- Haskell
- HyPhy
- JSON
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- LLVM
- LilyPond
- LiveScript
- Lua
- M4
- MATLAB
- Makefile
- Markdown
- Nim
- Nunjucks
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Perl
- PowerShell
- Python
- QML
- Racket
- ReScript
- Reason
- Red
- Riot
- Roff
- Ruby
- Rust
- SCSS
- SVG
- Scheme
- Shell
- Standard ML
- Starlark
- Svelte
- Swift
- TeX
- TypeScript
- V
- VBA
- Vala
- Vim Script
- Visual Basic
- Visual Basic .NET
- Vue
- Zig
- hoon
2
stars
written in F*
Clear filter
HACL*, a formally verified cryptographic library written in F*