GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → bamboo → idris2dart

bamboo / idris2dart

Licence: other
The Dart backend for Idris 2.

Programming Languages

Idris
72 projects
Makefile
30231 projects
dart
5743 projects

Labels

flutteridris2idris2-ecosystem

Projects that are alternatives of or similar to idris2dart

idris2-tls
A portable idris2 implementation of TLS
Stars: ✭ 25 (-45.65%)
Mutual labels:  idris2, idris2-ecosystem
Idris2-Lua
Lua backend for Idris 2
Stars: ✭ 24 (-47.83%)
Mutual labels:  idris2
Idris2-Grin
GRIN backend for Idris2
Stars: ✭ 26 (-43.48%)
Mutual labels:  idris2
idris2-pkgs
An unofficial Idris2 package repository for Nix
Stars: ✭ 32 (-30.43%)
Mutual labels:  idris2

idris2dart

An Idris 2 code generator that outputs Dart code.

Why

To explore what cross-platform app development with Idris 2 powered by Flutter can look like and maybe build something beautiful along the way.

Status

  • data types, pattern matching, etc
  • basic Char, String and numeric primitives
  • bidirectional FFI
  • delay/force
  • remaining cast primitives
  • bounded int operations on Bits* values
  • remaining IO primitives
  • IOArray primitives

Building

  1. Install the latest Idris 2 (must include the idris2api package)
  2. make all
  3. Add ./build/exec/idris2dart to your PATH or create an alias

Using

idris2dart is a fully functional Idris 2 environment except it comes with a single code generator, dart.

For example, to compile an Idris module to Dart, use:

$ idris2dart Main.idr -o main.dart
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].