juvix

There are 5 repositories under juvix topic.

anoma/juvix-stdlib
The Juvix standard library
Language:Makefile9 7 171
anoma/juvix-docs
Juvix Official Documentation
Language:Makefile3 4 266
anoma/vscode-juvix
VSCode extension for Juvix
Language:TypeScript3 21 832
anoma/juvix-mode
The Juvix Emacs mode
Language:Emacs Lisp1 6 41
anoma/juvix-mkdocs
Highlight Juvix codeblocks in Mkdocs websites
Language:Python3 42