Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
SLIME configuration with some extensions pre-installed.
- lisp
- common-lisp
- slime
- tools
Install `wasm-pack` by downloading the executable
- wasm-pack
- wasm
- webassembly
- github-action
Install `Trunk` by downloading the executable
- trunk
- yew
- seed
- webassembly
Install `wasm-bindgen` by downloading the executable
- rust
- wasm-bindgen
- wasm
- yew