Stars
Language: TypeScript
All languages
Agda
C
C#
C++
Cuda
Go
HTML
JavaScript
Lean
Python
Rust
Shell
TeX
TypeScript
WebAssembly
Nothing to show
Sort by: Most stars
3
stars
written in TypeScript
Clear filter
Lean theorem proving interface which feels like pen-and-paper proofs.
Self-hosted GitHub Actions cache server implementation. Compatible with official 'actions/cache' action