https://github.com/anoma/juvix-stdlib

The Juvix standard library
https://github.com/anoma/juvix-stdlib

juvix library

Last synced: 5 months ago
JSON representation

The Juvix standard library

• Host: GitHub
• URL: https://github.com/anoma/juvix-stdlib
• Owner: anoma
• Created: 2022-02-03T17:04:59.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2026-01-19T04:04:24.000Z (5 months ago)
• Last Synced: 2026-01-19T13:27:59.674Z (5 months ago)
• Topics: juvix, library
• Language: Makefile
• Homepage: https://anoma.github.io/juvix-stdlib/
• Size: 6.25 MB
• Stars: 27
• Watchers: 9
• Forks: 3
• Open Issues: 11
• Metadata Files:
  • Readme: readme.md

Awesome Lists containing this project

README

          
# The Juvix Standard Library

[![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://github.com/codespaces/new?hide_repo_select=true&ref=main&repo=455254004)