Highlights
- Pro
Lists (18)
Sort Name ascending (A-Z)
- All languages
- Astro
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Cuda
- D
- DIGITAL Command Language
- Dart
- Dockerfile
- Emacs Lisp
- Fortran
- FreeMarker
- GDScript
- Go
- Groff
- HCL
- HTML
- Handlebars
- Haskell
- J
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mathematica
- Mojo
- Mustache
- Nim
- Nix
- Nushell
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Pascal
- Perl
- Polar
- PostScript
- PowerShell
- Prolog
- Python
- QML
- R
- RMarkdown
- Rez
- Ruby
- Rust
- SCSS
- SQL
- Scala
- Scheme
- Shell
- Solidity
- Stan
- Stata
- Svelte
- Swift
- TeX
- TypeScript
- Typst
- V
- Vala
- Vim Script
- Vue
- Xtend
- Zig
Starred repositories
0
results
for sponsorable starred repositories
written in Lean
Clear filter