Deno to npm package build tool.
Repository Index
68,760 visible repositories in the index
1–4 of 4 · Most stars
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
transpiler written in bash: painless shellscript, indentbased, coffee for the shell with hipster-sparkles v1 BETA LANDED 🎉🎉🎉🎉 thanks fcard!
- coffeescript
- bash
- transpiler
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.