IdrisScript

BSD-2-ClauseIdris

FFI bindings for Idris to safely interact with JavaScript, enabling web and Node.js development.

94 stars11 forks0 contributors

Overview

FFI Bindings to interact with the unsafe world of JavaScript

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

7 years ago

CreatedSince 2014

Auto-fetched 18 hours ago

Programming language agnostic type construction language based on polynomials.

formally verified category theory library

Parser combinators for Idris

xmonad with the X11 abstracted and configured with Idris