플랫폼
프로그래밍 언어
TypeScript
C++
C
Go
Rust
C#
Shell
Java
HTML
Lua
PHP
Jupyter Notebook
Ruby
Kotlin
Swift
CSS
Dart
Emacs Lisp
Vim Script
SCSS
Vue
Haskell
Makefile
Scala
Svelte
Perl
Clojure
Batchfile
Dockerfile
Objective-C
Nix
GDScript
Assembly
TeX
Common Lisp
R
Elixir
Solidity
Nim
Markdown
Zig
HCL
Logos
AutoHotkey
Jinja
Julia
Pascal
OCaml
Scheme
JavaScript
KO
RU
DE
ZH
ES
PT
MS
FR
FA
KO
TR
PL
CS
SV
SK
BG
SL
DA
HR
AR
HU
NL
IND
IT
EL
VI
TH
HE
Home
F* 로 작성된 라이브러리
FStar
증명 지향 프로그래밍 언어.
2.5k
Apache License 2.0
hacl-star
F*로 작성된 공식적으로 검증된 암호화 라이브러리인 HACL*.
1.5k
Apache License 2.0
mitls-fstar
F*에서 TLS 1.3의 검증된 구현.
169
GNU General Public License v3.0